| 2011 | Leveraging Service-Orientation for Combining Code Generation Frameworks. | Sven Jrges, Bernhard Steffen |
| 2011 | On the Impact of Kanban on Software Project Work: An Empirical Case Study Investigation. | Marko Ikonen, Elena Pirinen, Fabian Fagerholm, Petri Kettunen, Pekka Abrahamsson |
| 2011 | A Tool Set for Integrated Software and Hardware Dependability Analysis Using the Architecture Analysis and Design Language (AADL) and Error Model Annex. | Myron Hecht, Alexander Lam, Chris Vogl |
| 2011 | Model-Based Simulation of SOAP Web Services from Temporal Logic Specifications. | Sylvain Hall |
| 2011 | A Software Requirements Specification Framework for Objective Pattern Recognition: A Set-Theoretic Classification Approach. | Arbi Ghazarian, Mehdi Sagheb-Tehrani, Arin Ghazarian |
| 2011 | A Model-Driven Framework for the Development of Portable Real-Time Embedded Systems. | Wassim El Hajj Chehade, Ansgar Radermacher, Franois Terrier, Bran Selic, Sbastien Grard |
| 2011 | ABV - A Verifier for the Architecture Analysis and Design Language (AADL). | Stefan Bjrnander, Cristina Cerschi Seceleanu, Kristina Lundqvist, Paul Pettersson |
| 2011 | WCET Analysis of Component-Based Systems Using Timing Traces. | Adam Betts, Amine Marref |
| 2011 | Temporal Abstract Domains. | Julien Bertrane |
| 2011 | Tighter Schedulability Analysis of Synchronization Protocols Based on Overrun without Payback for Hierarchical Scheduling Frameworks. | Moris Behnam, Thomas Nolte, Reinder J. Bril |
| 2011 | A Component-Oriented Metamodel for the Modernization of Software Applications. | Luciano Baresi, Matteo Miraz |
| 2011 | A Formal Approach to Model Composition Applied to VUML. | Adil Anwar, Taoufiq Dkaki, Sophie Ebersold, Bernard Coulette, Mahmoud Nassar |
| 2011 | Requirements Exchange: From Specification Documents to Models. | Morayo Adedjouma, Hubert Dubois, Franois Terrier |
| 2011 | Modeling Variability from Requirements to Runtime. | Mathieu Acher, Philippe Collet, Philippe Lahire, Sabine Moisan, Jean-Paul Rigault |
| 2010 | Knowledge Models to Reduce the Gap between Heterogeneous Models: Application to Aircraft Systems Engineering. | David Simon Zayas, Anne Monceaux, Yamine At Ameur |
| 2010 | McC++/Java: Enabling Multi-core Based Monitoring and Fault Tolerance in C++/Java. | Lu Yang, Liqian Yu, Jianwen Tang, Linzhang Wang, Jianhua Zhao, Xuandong Li |
| 2010 | Development of Autonomic Management Solutions for the Military Application Domain. | Ewoud Werkman, Bas van Schoonhoven, Marc de Jonge, Edwin Matthijssen |
| 2010 | AADS+: AADL Simulation Including the Behavioral Annex. | Roberto Varona-Gomez, Eugenio Villar |
| 2010 | Automated Formal Verification of the DHCP Failover Protocol Using Timeout Order Abstraction. | Shinya Umeno, Nancy A. Lynch |
| 2010 | Service-Based Development of Context-Aware Automotive Telematics Systems. | Minh H. Tran, Alan W. Colman, Jun Han |
| 2010 | A Model-Based Architecture Supporting Virtual Organizations in Pervasive Systems. | Michael Thonhauser, Christian Kreiner, Andrea Leitner |
| 2010 | An Approach to Verifying Security and Timing Properties in UML Models. | Vidhi Thapa, Eunjee Song, Hanil Kim |
| 2010 | Maintaining Stable Node Populations in Long-Lifetime Sensornets. | Jonathan Tate, Iain Bate |
| 2010 | On Immunological Memory as a Function of a Recursive Proliferation Process. | Thomas Stibor, Anastasio Salazar-Bauelos |
| 2010 | Effects of Component-Subscription Network Topology on Large-Scale Data Centre Performance Scaling. | Ilango Sriram, Dave Cliff |