| 2010 | An Analysis of Formal Languages for Dynamic Adaptation. | Jorge Fox, Siobhn Clarke |
| 2010 | Requirements Elicitation with Adapted CUTA Cards: First Experiences with Business Process Analysis. | Ivonne Erfurth, Kathrin Kirchner |
| 2010 | A Model for Requirements Traceability in a Heterogeneous Model-Based Design Process: Application to Automotive Embedded Systems. | Hubert Dubois, Marie-Agns Peraldi-Frati, Fadoi Lakhal |
| 2010 | Severe Punishment for Those Who Were Caught. | Kuiying Deng, Zhuozheng Li, Tianguang Chu |
| 2010 | An MDE-Based Process for the Design, Implementation and Validation of Safety-Critical Systems. | Julien Delange, Laurent Pautet, Jrme Hugues, Dionisio de Niz |
| 2010 | QVT Based Model Transformation from Sequence Diagram to CSP. | Li Dan |
| 2010 | Performance Antipatterns as Logical Predicates. | Vittorio Cortellessa, Antinisca Di Marco, Catia Trubiani |
| 2010 | Supporting the Design of Safety Critical Systems Using AADL. | T. Correa, Leandro Buss Becker, Jean-Marie Farines, Jean-Paul Bodeveix, Mamoun Filali, Franois Vernadat |
| 2010 | A Tile-Based Approach for Self-Assembling Service Compositions. | Luca Cavallaro, Elisabetta Di Nitto, Carlo A. Furia, Matteo Pradella |
| 2010 | Patterns for Modelling Time and Consistency in Business Information Systems. | Jeremy W. Bryans, John S. Fitzgerald, Alexander B. Romanovsky, Andreas Roth |
| 2010 | Using Compositionality to Formally Model and Analyze Systems Built of a High Number of Components. | Silvia Bindelli, Elisabetta Di Nitto, Carlo A. Furia, Matteo Rossi |
| 2010 | Implementing and Evaluating a Model Checker for Transactional Memory Systems. | Woongki Baek, Nathan Grasso Bronson, Christos Kozyrakis, Kunle Olukotun |
| 2010 | Towards a Principled Design of Bio-inspired Solutions to Adaptive Information Filtering. | Nurulhuda Firdaus Mohd Azmi, Jon Timmis, Fiona Polack |
| 2010 | Model Checking Round-Based Distributed Algorithms. | Xin An, Jun Pang |
| 2010 | Representing Plankton Functional Types in Ocean General Circulation Models: Competition, Tradeoffs and Self-Organizing Architecture. | Thomas R. Anderson, Michael J. Follows |
| 2010 | Engineering Dynamic Adaptation for Achieving Cost-Efficient Resilience in Software-Intensive Embedded Systems. | Rasmus Adler, Daniel Schneider, Mario Trapp |
| 2009 | Towards OpenWorld Software Architectures with Semantic Architectural Styles, Components and Connectors. | Weishan Zhang, Klaus Marius Hansen, Joo Fernandes |
| 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 | A Rigorous Approach to Uncovering Security Policy Violations in UML Designs. | Lijun Yu, Robert B. France, Indrakshi Ray, Sudipto Ghosh |
| 2009 | Formal Specification and Code Generation of Programable Logic Controllers. | Rui Wang, Ming Gu, Xiaoyu Song, Hai Wan |
| 2009 | Analysis and Code Model Extraction for C/C++ Source Code. | Christian Wagner, Tiziana Margaria, Hans-Georg Pagendarm |
| 2009 | AADL Simulation and Performance Analysis in SystemC. | Roberto Varona-Gomez, Eugenio Villar |
| 2009 | SBAC: Service Based Access Control. | Udaya Kiran Tupakula, Vijay Varadharajan, Sunil Kumar Vuppala |
| 2009 | On the Applicability of Compressive Sampling in Fine Grained Processor Performance Monitoring. | Tomas Tuma, Sean Rooney, Paul Hurley |
| 2009 | Some Observations on a Maturity Model for CBSE. | Anil Kumar Tripathi, Ratneshwer Gupta |