| 2012 | Reachability Analysis of the HTML5 Parser Specification and Its Application to Compatibility Testing. | Yasuhiko Minamide, Shunsuke Mori |
| 2012 | Automatic Compositional Verification of Timed Systems. | Shang-Wei Lin, Yang Liu, Jun Sun, Jin Song Dong, tienne Andr |
| 2012 | Executing Formal Semantics with the K Tool. | David Lazar, Andrei Arusoaie, Traian-Florin Serbanuta, Chucky Ellison, Radu Mereuta, Dorel Lucanu, Grigore Rosu |
| 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 | A Verification Toolkit for Numerical Transition Systems - Tool Paper. | Hossein Hojjat, Filip Konecn, Florent Garnier, Radu Iosif, Viktor Kuncak, Philipp Rmmer |
| 2012 | Using Time to Add Order to Distributed Testing. | Robert M. Hierons, Mercedes G. Merayo, Manuel Nez |
| 2012 | A Formal Framework for Modelling Coercion Resistance and Receipt Freeness. | James Heather, Steve A. Schneider |
| 2012 | Applying Software Model Checking Techniques for Behavioral UML Models. | Orna Grumberg, Yael Meller, Karen Yorav |
| 2012 | Correctness of Pointer Manipulating Algorithms Illustrated by a Verified BDD Construction. | Mathieu Giorgino, Martin Strecker |
| 2012 | Error Invariants. | Evren Ermis, Martin Schf, Thomas Wies |
| 2012 | When Structural Refinement of Components Keeps Temporal Properties over Reconfigurations. | Julien Dormoy, Olga Kouchnarenko, Arnaud Lanoix |
| 2012 | The Modal Transition System Control Problem. | Nicols D'Ippolito, Vctor A. Braberman, Nir Piterman, Sebastin Uchitel |
| 2012 | Formal Methods in the Wild: Trains, Planes, & Automobile. | Asaf Degani |
| 2012 | TLA + Proofs. | Denis Cousineau, Damien Doligez, Leslie Lamport, Stephan Merz, Daniel Ricketts, Hernn Vanzetto |
| 2012 | Collaborative Verification and Testing with Explicit Assumptions. | Maria Christakis, Peter Mller, Valentin Wstholz |
| 2012 | A Certified Constraint Solver over Finite Domains. | Matthieu Carlier, Catherine Dubois, Arnaud Gotlieb |
| 2012 | Measles Epidemics and PEPA: An Exploration of Historic Disease Dynamics Using Process Algebra. | Soufiene Benkirane, Rachel Norman, Erin Scott, Carron Shankland |
| 2012 | VMC: A Tool for Product Variability Analysis. | Maurice H. ter Beek, Franco Mazzanti, Aldi Sulova |
| 2012 | Decentralised LTL Monitoring. | Andreas Klaus Bauer, Ylis Falcone |
| 2012 | Quantified Event Automata: Towards Expressive and Efficient Runtime Monitors. | Howard Barringer, Ylis Falcone, Klaus Havelund, Giles Reger, David E. Rydeheard |
| 2012 | A Formal Approach to Autonomous Vehicle Coordination. | Mikael Asplund, Atif Manzoor, Mlanie Bouroche, Siobhn Clarke, Vinny Cahill |
| 2012 | Maximal and Compositional Pattern-Based Loop Invariants. | Maria-Virginia Aponte, Pierre Courtieu, Yannick Moy, Marc Sango |
| 2012 | IMITATOR 2.5: A Tool for Analyzing Robustness in Scheduling Problems. | tienne Andr, Laurent Fribourg, Ulrich Khne, Romain Soulat |
| 2012 | Julienne: A Trace Slicer for Conditional Rewrite Theories. | Mara Alpuente, Demis Ballis, Francisco Frechina, Daniel Romero |
| 2012 | Software Security: A Formal Perspective - (Notes for a Talk). | Martn Abadi |