| 2012 | A "Hybrid" Approach for Synthesizing Optimal Controllers of Hybrid Systems: A Case Study of the Oil Pump Industrial Example. Hengjun Zhao, Naijun Zhan, Deepak Kapur, Kim G. Larsen |
| 2012 | A Certified Constraint Solver over Finite Domains. Matthieu Carlier, Catherine Dubois, Arnaud Gotlieb |
| 2012 | A Formal Approach to Autonomous Vehicle Coordination. Mikael Asplund, Atif Manzoor, Mélanie Bouroche, Siobhán Clarke, Vinny Cahill |
| 2012 | A Formal Framework for Modelling Coercion Resistance and Receipt Freeness. James Heather, Steve A. Schneider |
| 2012 | A Verification Toolkit for Numerical Transition Systems - Tool Paper. Hossein Hojjat, Filip Konecný, Florent Garnier, Radu Iosif, Viktor Kuncak, Philipp Rümmer |
| 2012 | Applying Software Model Checking Techniques for Behavioral UML Models. Orna Grumberg, Yael Meller, Karen Yorav |
| 2012 | Automata Learning through Counterexample Guided Abstraction Refinement. Fides Aarts, Faranak Heidarian, Harco Kuppens, Petur Olsen, Frits W. Vaandrager |
| 2012 | Automatic Compositional Verification of Timed Systems. Shang-Wei Lin, Yang Liu, Jun Sun, Jin Song Dong, Étienne André |
| 2012 | Automatic Dimensional Analysis of Cyber-Physical Systems. Sam Owre, Indranil Saha, Natarajan Shankar |
| 2012 | Collaborative Verification and Testing with Explicit Assumptions. Maria Christakis, Peter Müller, Valentin Wüstholz |
| 2012 | Correctness of Pointer Manipulating Algorithms Illustrated by a Verified BDD Construction. Mathieu Giorgino, Martin Strecker |
| 2012 | Decentralised LTL Monitoring. Andreas Klaus Bauer, Yliès Falcone |
| 2012 | Distribution of Modal Transition Systems. German E. Sibay, Sebastián Uchitel, Víctor A. Braberman, Jeff Kramer |
| 2012 | Efficient Malware Detection Using Model-Checking. Fu Song, Tayssir Touili |
| 2012 | Error Invariants. Evren Ermis, Martin Schäf, Thomas Wies |
| 2012 | Executing Formal Semantics with the K Tool. David Lazar, Andrei Arusoaie, Traian-Florin Serbanuta, Chucky Ellison, Radu Mereuta, Dorel Lucanu, Grigore Rosu |
| 2012 | Experience Report on Designing and Developing Control Components Using Formal Methods. Ammar Osaiweran, Tom Fransen, Jan Friso Groote, Bart J. van Rijnsoever |
| 2012 | FM 2012: Formal Methods - 18th International Symposium, Paris, France, August 27-31, 2012. Proceedings Dimitra Giannakopoulou, Dominique Méry |
| 2012 | Formal Methods in the Wild: Trains, Planes, & Automobile. Asaf Degani |
| 2012 | Formalization of Incremental Simplex Algorithm by Stepwise Refinement. Mirko Spasic, Filip Maric |
| 2012 | From Hoare Logic to Matching Logic Reachability. Grigore Rosu, Andrei Stefanescu |
| 2012 | IMITATOR 2.5: A Tool for Analyzing Robustness in Scheduling Problems. Étienne André, Laurent Fribourg, Ulrich Kühne, Romain Soulat |
| 2012 | Improved BDD-Based Discrete Analysis of Timed Systems. Truong Khanh Nguyen, Jun Sun, Yang Liu, Jin Song Dong, Yan Liu |
| 2012 | Julienne: A Trace Slicer for Conditional Rewrite Theories. María Alpuente, Demis Ballis, Francisco Frechina, Daniel Romero |
| 2012 | Maximal and Compositional Pattern-Based Loop Invariants. Maria-Virginia Aponte, Pierre Courtieu, Yannick Moy, Marc Sango |
| 2012 | Measles Epidemics and PEPA: An Exploration of Historic Disease Dynamics Using Process Algebra. Soufiene Benkirane, Rachel Norman, Erin Scott, Carron Shankland |
| 2012 | Quantified Event Automata: Towards Expressive and Efficient Runtime Monitors. Howard Barringer, Yliès Falcone, Klaus Havelund, Giles Reger, David E. Rydeheard |
| 2012 | Reachability Analysis of the HTML5 Parser Specification and Its Application to Compatibility Testing. Yasuhiko Minamide, Shunsuke Mori |
| 2012 | Satellite Rendezvous and Conjunction Avoidance: Case Studies in Verification of Nonlinear Hybrid Systems. Taylor T. Johnson, Jeremy Green, Sayan Mitra, Rachel F. Dudley, Richard Scott Erwin |
| 2012 | Software Security: A Formal Perspective - (Notes for a Talk). Martín Abadi |
| 2012 | Specification-Based Test Repair Using a Lightweight Formal Method. Guowei Yang, Sarfraz Khurshid, Miryung Kim |
| 2012 | TLA + Proofs. Denis Cousineau, Damien Doligez, Leslie Lamport, Stephan Merz, Daniel Ricketts, Hernán Vanzetto |
| 2012 | The Modal Transition System Control Problem. Nicolás D'Ippolito, Víctor A. Braberman, Nir Piterman, Sebastián Uchitel |
| 2012 | Theory and Techniques for Synthesizing Efficient Breadth-First Search Algorithms. Srinivas Nedunuri, Douglas R. Smith, William R. Cook |
| 2012 | Using Time to Add Order to Distributed Testing. Robert M. Hierons, Mercedes G. Merayo, Manuel Núñez |
| 2012 | VMC: A Tool for Product Variability Analysis. Maurice H. ter Beek, Franco Mazzanti, Aldi Sulova |
| 2012 | Validating B, Z and TLA + Using ProB and Kodkod. Daniel Plagge, Michael Leuschel |
| 2012 | When Structural Refinement of Components Keeps Temporal Properties over Reconfigurations. Julien Dormoy, Olga Kouchnarenko, Arnaud Lanoix |
| 2012 | Who Are We, and What Are We Doing Here? Alan Wassyng |