| 2011 | Simplified Validation of Emergent Systems through Automata Learning-Based Testing. | Bernhard Steffen, Johannes Neubauer |
| 2011 | Constraint-oriented Variability Modeling. | Ina Schaefer, Anna-Lena Lamprecht, Tiziana Margaria |
| 2011 | Language for Use Case Specification. | Dusan Savic, Ilija Antovic, Sinisa Vlajic, Vojislav Stanojevic, Milos Milic |
| 2011 | Special Session on "Simplification through Change of Perspective". | Tiziana Margaria, Bernhard Steffen |
| 2011 | Availability Assessment of Embedded Systems with Security Vulnerabilities. | Andrew J. Kornecki, Janusz Zalewski, Wendy F. Stevenson |
| 2011 | Energy Efficiency with Runtime Models for Energy-aware Embedded Systems. | Zdravko Karakehayov, Emil Vassev |
| 2011 | An Approach to Synchronize UML-Based Design Components for Model-Driven Protocol Development. | Prabhu Shankar Kaliappan, Hartmut Knig |
| 2011 | A Change of Perspective Yields Formal Analysis. | Radu Grosu, Flavio H. Fenton, Scott A. Smolka, Ezio Bartocci |
| 2011 | Software Maintenance through Supervisory Control. | Benoit Gaudin, Alessandra Bagnato |
| 2011 | Using Modeling and Simulation to Define Information Requirements for Incident Response for Chemical Facilities. | Stephen C. Fortier, Gregory L. Shaw |
| 2011 | Metrics and Antipatterns for Software Quality Evaluation. | Francesca Arcelli Fontana, Stefano Maggioni |
| 2011 | Requirement-Driven Evaluation of Remote ERP-System Solutions: A Service-oriented Perspective. | Markus Doedt, Bernhard Steffen |
| 2011 | Implementing Software Effort Estimation in a Medium-sized Company. | Joo Carlos Cunha, Srgio Cruz, Marco Costa, Ana Rita Rodrigues, Marco Vieira |
| 2011 | Applying the Test Template Framework to Aerospace Software. | Maximiliano Cristi, Pablo Albertengo, Claudia S. Frydman, Brian Plss, Pablo Rodrguez Monetti |
| 2011 | Toward Intelligent Software Defect Detection - Learning Software Defects by Example. | Markland J. Benson |
| 2011 | Variability and Rigour in Service Computing Engineering. | Maurice H. ter Beek, Stefania Gnesi, Alessandro Fantechi, Jos Luiz Fiadeiro |
| 2011 | Architectural Models of Ambient-PRISMA in Channel Ambient Calculus. | Nour Ali, Emilio Tuosto |
| 2011 | Towards a Framework for Weapon Control Systems. | Kevin P. Adams, Denis Gracanin |
| 2009 | Animating the Link Between Operational Semantics and Algebraic Semantics for a Probabilistic Timed Shared-Variable Language. | Huibiao Zhu, Fan Yang, Jifeng He, Jonathan P. Bowen, Jeff W. Sanders |
| 2009 | Complexity Reduction in Developing Autonomic Systems with ASSL. | Emil Vassev, Mike Hinchey |
| 2009 | Autonomous and Autonomic Systems: Paradigm for Engineering Effective Software-Based Systems? | Roy Sterritt |
| 2009 | Evaluating MaSE Methodology in the Requirements Identification. | Raquel Cupolillo Simes Sousa, A. L. F. da Cunha, R. F. A. Martins, Vera Maria Benjamim Werneck, Luiz Marcio Cysneiros |
| 2009 | Towards Specification and Refinement of Contracts with Environment Changes. | Qin Li, Huibiao Zhu |
| 2009 | A Study Case about a Software Project Management Success Metrics. | Rogrio T. O. Lacerda, Leonardo Ensslin, Sandra Rolim Ensslin |
| 2009 | Data Warehousing in an Industrial Software Development Environment. | Methanias Colao Jnior, Manoel Gomes de Mendona Neto, Francisco Rodrigues |