14. ICECCS 2009: Potsdam, Germany

• Bernhard Steffen:
  Keynote: Continuous Model Driven Engineering.
  
• Thomas Magedanz:
  Keynote: On the Increasing Complexity of Multimedia Service Provision in Next Generation Networks and the Future Internet.
  
• Idir Aït-Sadoune, Yamine Aït Ameur:
  A Proof Based Approach for Modelling and VerifyingWeb Services Compositions. 1-10
  
• Min-Young Nam, Rodolfo Pellizzoni, Lui Sha, Richard M. Bradford:
  ASIIST: Application Specific I/O Integration Support Tool for Real-Time Bus Architecture Designs. 11-22
  
• Tsong Yueh Chen, Fei-Ching Kuo, Robert G. Merkel, W. K. Tam:
  Testing an Open Source Suite for Open Queuing Network Modelling Using Metamorphic Testing Technique. 23-29
  
• Xiaofeng Cui, Yanchun Sun, Sai Xiao, Hong Mei:
  Architecture Design for the Large-Scale Software-Intensive Systems: A Decision-Oriented Approach and the Experience. 30-39
  
• Weishan Zhang, Klaus Marius Hansen, João Fernandes:
  Towards OpenWorld Software Architectures with Semantic Architectural Styles, Components and Connectors. 40-49
  
• Andrey Sadovykh, Lionel Vigier, Andreas Hoffmann, Jürgen Großmann, Tom Ritter, Eduardo Gomez, Oleg Estekhin:
  Architecture Driven Modernization in Practice - Study Results. 50-57
  
• Jonathan Tate, Iain Bate:
  Energy Efficient Duty Allocation Protocols for Wireless Sensor Networks. 58-67
  
• Jeremy Bryans, John Fitzgerald, Alexander Romanovsky, Andreas Roth:
  Formal Modelling and Analysis of Business Information Applications with Fault Tolerant Middleware. 68-77
  
• Kleinner S. F. Oliveira, Karin Breitman, Toacy Cavalcante de Oliveira:
  Ontology Aided Model Comparison. 78-83
  
• Cristina Cerschi Seceleanu, Aneta Vulgarakis, Paul Pettersson:
  REMES: A Resource Model for Embedded Systems. 84-94
  
• Anna-Lena Lamprecht, Tiziana Margaria, Bernhard Steffen:
  From Bio-jETI Process Models to Native Code. 95-101
  
• Rui Wang, Ming Gu, Xiaoyu Song, Hai Wan:
  Formal Specification and Code Generation of Programable Logic Controllers. 102-109
  
• Christian Wagner, Tiziana Margaria, Hans-Georg Pagendarm:
  Analysis and Code Model Extraction for C/C++ Source Code. 110-119
  
• Aleksandra Karimaa:
  Security Aspect of the Complexity of Modern Surveillance Systems - An Experience Report. 120-125
  
• Lijun Yu, Robert B. France, Indrakshi Ray, Sudipto Ghosh:
  A Rigorous Approach to Uncovering Security Policy Violations in UML Designs. 126-135
  
• Christine Gertosio:
  Computational Trust to Insure the Quality of Assistance Given to Human Actors. 136-145
  
• Yuhui Chen, Alexander Romanovsky, Anatoliy Gorbenko, Vyacheslav S. Kharchenko, Seyran Mamutov, Olga Tarasyuk:
  Benchmarking Dependability of a System Biology Application. 146-153
  
• Valérie Issarny, Bernhard Steffen, Bengt Jonsson, Gordon S. Blair, Paul Grace, Marta Z. Kwiatkowska, Radu Calinescu, Paola Inverardi, Massimo Tivoli, Antonia Bertolino, Antonino Sabetta:
  CONNECT Challenges: Towards Emergent Connectors for Eternal Networked Systems. 154-161
  
• Richard F. Paige, Dimitrios S. Kolovos, Louis M. Rose, Nicholaos Drivalos, Fiona A. C. Polack:
  The Design of a Conceptual Framework and Technical Infrastructure for Model Management Language Engineering. 162-171
  
• Marco Bakera, Sven Jörges, Tiziana Margaria:
  Test your Strategy: Graphical Construction of Strategies for Connect-Four. 172-181
  
• Ali Nasrat Haidar, Ali E. Abdallah:
  Abstractions of Web Services. 182-191
  
• Weishan Zhang, Klaus Marius Hansen:
  An Evaluation of the NSGA-II and MOCell Genetic Algorithms for Self-Management Planning in a Pervasive Service Middleware. 192-201
  
• Udaya Kiran Tupakula, Vijay Varadharajan, Sunil Kumar Vuppala:
  SBAC: Service Based Access Control. 202-209
  
• Tomas Tuma, Sean Rooney, Paul Hurley:
  On the Applicability of Compressive Sampling in Fine Grained Processor Performance Monitoring. 210-219
  
• Bruno Santana da Silva, Simone Diniz Junqueira Barbosa, Julio Cesar Sampaio do Prado Leite:
  Using Cases in Variability Analysis to Promote the Design of Flexible, Adaptable and Adaptive Systems. 220-229
  
• Francisco Montero, Elena Navarro:
  ATRIUM: Software Architecture Driven by Requirements. 230-239
  
• Niklas Blum, Thomas Magedanz, Jan Kleessen, Tiziana Margaria:
  Enabling eXtreme Model Driven Design of Parlay X-based Communications Services for End-to-End Multiplatform Service Orchestrations. 240-247
  
• Fernando Carvalho, Silvio R. L. Meira:
  Towards an Embedded Software Component Quality Verification Framework. 248-257
  
• Nelson Duarte Filho, Silvia Silva da Costa Botelho, Jonata Tyska Carvalho, Pedro de Botelho Marcos, Renan de Queiroz Maffei, Rodrigo Ruas Oliveira, Vinicius Alves Hax:
  An Automated Platform for Immersive and Collaborative Visualization of Industrial Models. 258-264
  
• Asta Krupaviciute, Jocelyne Fayn, Paul Rubel, Christine Verdier, Eric McAdams, Chris D. Nugent:
  Information System Architecture for Wearable Cardiac Sensors Personalization. 265-272
  
• Anil Kumar Tripathi, Ratneshwer Gupta:
  Some Observations on a Maturity Model for CBSE. 273-281
  
• Vieri Del Bianco, Luigi Lavazza:
  Applying the COSMIC Functional Size Measurement Method to Problem Frames. 282-290
  
• Marius C. Bujorianu, Howard Barringer:
  An Integrated Specification Logic for Cyber-Physical Systems. 291-300
  
• Cristóbal Costa Soria, David Hervas-Muoz, Jennifer Pérez, José A. Carsí:
  A Reflective Approach for Supporting the Dynamic Evolution of Component Types. 301-310
  
• Fateh Boutekkouk, Mohamed Benmohammed:
  UML Modeling and Formal Verification of Control/Data Driven Embedded Systems. 311-316
  
• Marie-Noëlle Terrasse, Marinette Savonnet, Eric Leclercq, Pierre Naubourg, Valery Lopes, Arnaud da Costa, Thierry Grison:
  Constraint Management in Engineering of Complex Information Systems. 317-322
  
• Roberto Varona-Gomez, Eugenio Villar:
  AADL Simulation and Performance Analysis in SystemC. 323-328
  
• Angelika Kusel, Wieland Schwinger, Manuel Wimmer, Werner Retschitzegger:
  Common Pitfalls of Using QVT Relations - Graphical Debugging as Remedy. 329-334
  
• Arne Schipper, Hauke Fuhrmann, Reinhard von Hanxleden:
  Visual Comparison of Graphical Models. 335-340
  
• Ivano Malavolta, Henry Muccini, Patrizio Pelliccione:
  Integrating AADL within a Multi-domain Modeling Framework. 341-346
  
• Lei Pi, Zhibin Yang, Jean-Paul Bodeveix, Mamoun Filali, Kai Hu, Dianfu Ma:
  A Comparative Study of FIACRE and TASM to Define AADL Real Time Concepts. 347-352
  
• Christophe Ponsard, Mathieu Delehaye:
  Towards a Model-Driven Approach for Mapping Requirements on AADL Architectures. 353-358
  
• Isabelle Perseil, Laurent Pautet:
  An Emerging Need for a New Software Engineering Method. 359-364
  
• Dionisio de Niz, Peter H. Feiler:
  Verification of Replication Architectures in AADL. 365-370
  
• Frédéric Mallet, Charles André, Julien DeAntoni:
  Executing AADL Models with UML/MARTE. 371-376
  
• Peter H. Feiler:
  Modeling the Implementation of State-Based System Architectures. 377-382
  
• W. El Hajj Chehade, Ansgar Radermacher, Arnaud Cuccuru, Sebastien Gerard, François Terrier:
  Automating the Generation of Platform Specific Models. 383-388