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