| 2012 | Adaptable and Evolving Software for Eternal Systems - (Track Summary). | Reiner Hhnle, Ina Schaefer |
| 2012 | Algorithmic Improvements on Regular Inference of Software Models and Perspectives for Security Testing. | Roland Groz, Muhammad-Naeem Irfan, Catherine Oriat |
| 2012 | Learning-Based Test Programming for Programmers. | Alex Groce, Alan Fern, Martin Erwig, Jervis Pinto, Tim Bauer, Mohammad Amin Alipour |
| 2012 | Formal Methods in Avionic Software Certification: The DO-178C Perspective. | Gabriella Gigante, Domenico Pascarella |
| 2012 | Formal Specification and Verification of Task Time Constraints for Real-Time Systems. | Ning Ge, Marc Pantel, Xavier Crgut |
| 2012 | Model-Driven V&V Processes for Computer Based Control Systems: A Unifying Perspective. | Francesco Flammini, Stefano Marrone, Nicola Mazzocca, Roberto Nardone, Valeria Vittorini |
| 2012 | Product Line Engineering Applied to CBTC Systems Development. | Alessio Ferrari, Giorgio Oronzo Spagnolo, Giacomo Martelli, Simone Menabeni |
| 2012 | Formal Methods for Intelligent Transportation Systems. | Alessandro Fantechi, Francesco Flammini, Stefania Gnesi |
| 2012 | Distributing the Challenge of Model Checking Interlocking Control Tables. | Alessandro Fantechi |
| 2012 | Runtime Verification: The Application Perspective. | Ylis Falcone, Lenore D. Zuck |
| 2012 | Tracking Behavioral Constraints during Object-Oriented Software Evolution. | Johan Dovland, Einar Broch Johnsen, Ingrid Chieh Yu |
| 2012 | Reha-Sports: The Challenge of Small Margin Healthcare Accounting. | Markus Doedt, Thomas Gke, Jan Pardo, Bernhard Steffen |
| 2012 | Rehasport: The Challenge of Small Margin Healthcare Accounting. | Markus Doedt, Thomas Gke, Jan Pardo, Maik Merten |
| 2012 | Model Learning and Test Generation for Event-B Decomposition. | Ionut Dinca, Florentin Ipate, Alin Stefanescu |
| 2012 | Monitoring Temporal Information Flow. | Rayna Dimitrova, Bernd Finkbeiner, Markus N. Rabe |
| 2012 | A Vision for Behavioural Model-Driven Validation of Software Product Lines. | Xavier Devroey, Maxime Cordy, Gilles Perrouin, Eun-Young Kang, Pierre-Yves Schobbens, Patrick Heymans, Axel Legay, Benoit Baudry |
| 2012 | Runtime Verification of Biological Systems. | Alexandre David, Kim Guldstrand Larsen, Axel Legay, Marius Mikucionis, Danny Bgsted Poulsen, Sean Sedwards |
| 2012 | Schedulability of Herschel-Planck Revisited Using Statistical Model Checking. | Alexandre David, Kim Guldstrand Larsen, Axel Legay, Marius Mikucionis |
| 2012 | Family-Based Analysis of Type Safety for Delta-Oriented Software Product Lines. | Ferruccio Damiani, Ina Schaefer |
| 2012 | Checking Correctness of Services Modeled as Priced Timed Automata. | Aida Causevic, Cristina Cerschi Seceleanu, Paul Pettersson |
| 2012 | Towards the Verification of Adaptable Processes. | Mario Bravetti, Cinzia Di Giusto, Jorge A. Prez, Gianluigi Zavattaro |
| 2012 | An Ontological Pivot Model to Interoperate Heterogeneous User Requirements. | Ilys Boukhari, Ladjel Bellatreche, Stphane Jean |
| 2012 | Eternal Embedded Software: Towards Innovation Experiment Systems. | Jan Bosch, Ulrik Eklund |
| 2012 | Design and Implementation of Data Usability Processor into an Automated Processing Chain for Optical Remote Sensing Data. | Erik Borg, Bernd Fichtelmann, Christian Fischer, Hartmut Asche |
| 2012 | Challenges in Defining a Programming Language for Provably Correct Dynamic Analyses. | Eric Bodden, Andreas Follner, Siegfried Rasthofer |