| 2012 | Improving Verification Process in Driverless Metro Systems: The MBAT Project. | Stefano Marrone, Roberto Nardone, Antonio Orazzo, Ida Petrone, Luigi Velardi |
| 2012 | Simple Modeling of Executable Role-Based Workflows: An Application in the Healthcare Domain. | Tiziana Margaria, Steve Boelmann, Bertold Kujath |
| 2012 | Model-Based Static Code Analysis for MATLAB Models. | Zheng Lu, Supratik Mukhopadhyay |
| 2012 | Parameterized Preorder Relations for Model-Based Testing of Software Product Lines. | Malte Lochau, Jochen Kamischke |
| 2012 | Timing Constraints: Theory Meets Practice. | Bjrn Lisper, Johan Nordlander, Sophie Quinton |
| 2012 | A Simple and Flexible Timing Constraint Logic. | Bjrn Lisper, Johan Nordlander |
| 2012 | Conflict Detection in Delta-Oriented Programming. | Michael Lienhardt, Dave Clarke |
| 2012 | An Object Group-Based Component Model. | Michael Lienhardt, Mario Bravetti, Davide Sangiorgi |
| 2012 | A Formal Approach to Software Product Families. | Martin Leucker, Daniel Thoma |
| 2012 | Learning Minimal Deterministic Automata from Inexperienced Teachers. | Martin Leucker, Daniel Neider |
| 2012 | Scientific Workflows: Eternal Components, Changing Interfaces, Varying Compositions. | Anna-Lena Lamprecht, Tiziana Margaria |
| 2012 | Bioscientific Data Processing and Modeling. | Joost N. Kok, Anna-Lena Lamprecht, Fons J. Verbeek, Mark D. Wilkinson |
| 2012 | Software Aspects of Robotic Systems. | Jens Knoop, Dietmar Schreiner |
| 2012 | Test-Case Design by Feature Trees. | Takashi Kitamura, Thi Bich Ngoc Do, Hitoshi Ohsaki, Ling Fang, Shunsuke Yatabe |
| 2012 | The WCET Analysis Tool CalcWcet167. | Raimund Kirner |
| 2012 | Quantitative Modelling and Analysis. | Joost-Pieter Katoen, Kim Guldstrand Larsen |
| 2012 | Inferring Semantic Interfaces of Data Structures. | Falk Howar, Malte Isberner, Bernhard Steffen, Oliver Bauer, Bengt Jonsson |
| 2012 | The RERS Grey-Box Challenge 2012: Analysis of Event-Condition-Action Systems. | Falk Howar, Malte Isberner, Maik Merten, Bernhard Steffen, Dirk Beyer |
| 2012 | LearnLib Tutorial: From Finite Automata to Register Interface Programs. | Falk Howar, Malte Isberner, Maik Merten, Bernhard Steffen |
| 2012 | Considerations for Healthcare Applications in a Platform as a Service Environment. | Andreas Holubek, Christian Metzger |
| 2012 | Automated Generation of Safety Requirements from Railway Interlocking Tables. | Anne E. Haxthausen |
| 2012 | What Does AI Have to Do with RV? - (Extended Abstract). | Klaus Havelund |
| 2012 | Modelling and Decentralised Runtime Control of Self-stabilising Power Micro Grids. | Arnd Hartmanns, Holger Hermanns |
| 2012 | A Case for "Piggyback" Runtime Monitoring. | Sylvain Hall, Raphal Tremblay-Lessard |
| 2012 | A Liskov Principle for Delta-Oriented Programming. | Reiner Hhnle, Ina Schaefer |