| 2013 | Complex Digital System Design: A Methodology and Its Application to Medical Implants. | Hlne Leroux, Karen Godary-Dejean, David Andreu |
| 2013 | Formal Analysis of the ACE Specification for Cache Coherent Systems-on-Chip. | Abderahman Kriouile, Wendelin Serwe |
| 2013 | Formal Reliability Analysis of Protective Relays in Power Distribution Systems. | Adil Khurram, Haider Ali, Arham Tariq, Osman Hasan |
| 2013 | Auditing User-Provided Axioms in Software Verification Conditions. | Paul B. Jackson, Florian Schanda, Angela Wallenburg |
| 2013 | HyRev: A Tool for the Automatic Generation of Real-Time Routines for Enabling Fail-Safe Control in a Class of Safety-Critical Embedded Systems Using Backwards Reachability Analysis. | Hallstein Asheim Hansen |
| 2013 | Study on the Barriers to the Industrial Adoption of Formal Methods. | Jennifer A. Davis, Matthew A. Clark, Darren D. Cofer, Aaron Fifarek, Jacob Hinchman, Jonathan A. Hoffman, Brian W. Hulbert, Steven P. Miller, Lucas G. Wagner |
| 2013 | Formal Methods for the Analysis of Critical Control Systems Models: Combining Non-linear and Linear Analyses. | Adrien Champion, Rmi Delmas, Michael Dierkes, Pierre-Loc Garoche, Romain Jobredeaux, Pierre Roux |
| 2013 | Predicate Abstraction for Programmable Logic Controllers. | Sebastian Biallas, Mirco Giacobbe, Stefan Kowalewski |
| 2012 | Checking Properties Described by State Machines: On Synergy of Instrumentation, Slicing, and Symbolic Execution. | Jiri Slaby, Jan Strejcek, Marek Trtk |
| 2012 | A Formal Design of a Tool for Static Analysis of Upper Bounds on Object Calls in Java. | Konrad Siek, Pawel T. Wojciechowski |
| 2012 | Optimizing the Robustness of Software against Communication Latencies in Distributed Reactive Embedded Systems. | Vlad Popa, Wolfgang Schwitzer |
| 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 | Model-Based Risk Assessment Supporting Development of HSE Plans for Safe Offshore Operations. | Rainer Droste, Christoph Lsche, Cilli Sobiech, Eckard Bde, Axel Hahn |
| 2012 | Model Checking the FlexRay Startup Phase. | Sjoerd Cranen |
| 2012 | Combining Analyses for C Program Verification. | Loc Correnson, Julien Signoles |
| 2012 | Range Analysis of Binaries with Minimal Effort. | Edd Barrett, Andy King |
| 2012 | Tool Chain to Support Automated Formal Verification of Avionics Simulink Designs. | Jiri Barnat, Jan Beran, Lubos Brim, Tomas Kratochvila, Petr Rockai |
| 2012 | Microcontroller Assembly Synthesis from Timed Automaton Task Specifications. | Victor Bandur, Wolfram Kahl, Alan Wassyng |
| 2012 | Waiting for Locks: How Long Does It Usually Take? | Christel Baier, Marcus Daum, Benjamin Engel, Hermann Hrtig, Joachim Klein, Sascha Klppelholz, Steffen Mrcker, Hendrik Tews, Marcus Vlp |
| 2012 | Certifying and Reasoning on Cost Annotations in C Programs. | Nicholas Ayache, Roberto M. Amadio, Yann Rgis-Gianas |
| 2012 | Automated Extraction of Abstract Behavioural Models from JMS Applications. | Elvira Albert, Bjarte M. stvold, Jos Miguel Rojas |
| 2012 | Real-Time Specification Patterns and Tools. | Nouha Abid, Silvano Dal-Zilio, Didier Le Botlan |
| 2011 | Transforming SOS Specifications to Linear Processes. | Frank P. M. Stappers, Michel A. Reniers, Sven Weber |
| 2011 | Experiences with Formal Engineering: Model-Based Specification, Implementation and Testing of a Software Bus at Neopost. | Marten Sijtema, Marille Stoelinga, Axel Belinfante, Lawrence Marinelli |
| 2011 | Past Time LTL Runtime Verification for Microcontroller Binary Code. | Thomas Reinbacher, Jrg Brauer, Martin Horauer, Andreas Steininger, Stefan Kowalewski |