| 2012 | A Formal Design of a Tool for Static Analysis of Upper Bounds on Object Calls in Java. Konrad Siek, Pawel T. Wojciechowski |
| 2012 | Automated Extraction of Abstract Behavioural Models from JMS Applications. Elvira Albert, Bjarte M. Østvold, José Miguel Rojas |
| 2012 | Certifying and Reasoning on Cost Annotations in C Programs. Nicholas Ayache, Roberto M. Amadio, Yann Régis-Gianas |
| 2012 | Checking Properties Described by State Machines: On Synergy of Instrumentation, Slicing, and Symbolic Execution. Jiri Slaby, Jan Strejcek, Marek Trtík |
| 2012 | Combining Analyses for C Program Verification. Loïc Correnson, Julien Signoles |
| 2012 | Formal Methods for Industrial Critical Systems - 17th International Workshop, FMICS 2012, Paris, France, August 27-28, 2012. Proceedings Mariëlle Stoelinga, Ralf Pinger |
| 2012 | Microcontroller Assembly Synthesis from Timed Automaton Task Specifications. Victor Bandur, Wolfram Kahl, Alan Wassyng |
| 2012 | Model Checking the FlexRay Startup Phase. Sjoerd Cranen |
| 2012 | Model-Based Risk Assessment Supporting Development of HSE Plans for Safe Offshore Operations. Rainer Droste, Christoph Läsche, Cilli Sobiech, Eckard Böde, Axel Hahn |
| 2012 | Modular Automated Verification of Flexible Manufacturing Systems with Metric Temporal Logic and Non-Standard Analysis. Luca Ferrucci, Dino Mandrioli, Angelo Morzenti, Matteo Rossi |
| 2012 | Optimizing the Robustness of Software against Communication Latencies in Distributed Reactive Embedded Systems. Vlad Popa, Wolfgang Schwitzer |
| 2012 | Range Analysis of Binaries with Minimal Effort. Edd Barrett, Andy King |
| 2012 | Real-Time Specification Patterns and Tools. Nouha Abid, Silvano Dal-Zilio, Didier Le Botlan |
| 2012 | Tool Chain to Support Automated Formal Verification of Avionics Simulink Designs. Jiri Barnat, Jan Beran, Lubos Brim, Tomas Kratochvila, Petr Rockai |
| 2012 | Waiting for Locks: How Long Does It Usually Take? Christel Baier, Marcus Daum, Benjamin Engel, Hermann Härtig, Joachim Klein, Sascha Klüppelholz, Steffen Märcker, Hendrik Tews, Marcus Völp |