| 2012 | A Formal Interactive Verification Environment for the Plan Execution Interchange Language. Camilo Rocha, Héctor Cadavid, César A. Muñoz, Radu Siminiceanu |
| 2012 | A Proof Framework for Concurrent Programs. Leonard Lensink, Sjaak Smetsers, Marko C. J. D. van Eekelen |
| 2012 | A UTP Semantics of pGCL as a Homogeneous Relation. Riccardo Bresciani, Andrew Butterfield |
| 2012 | Analysing and Closing Simulation Coverage by Automatic Generation and Verification of Formal Properties from Coverage Reports. Tim Blackmore, David Halliwell, Philip Barker, Kerstin Eder, Naresh Ramaram |
| 2012 | Behaviour-Based Cheat Detection in Multiplayer Games with Event-B. HaiYun Tian, Phillip J. Brooke, Anne-Gwenn Bosser |
| 2012 | Contribution to a Rigorous Analysis of Web Application Frameworks. Egon Börger, Antonio Cisternino, Vincenzo Gervasi |
| 2012 | Early Fault Detection in Industry Using Models at Various Abstraction Levels. Jozef Hooman, Arjan J. Mooij, Hans van Wezep |
| 2012 | Formal Modelling and Verification of Service-Oriented Systems in Probabilistic Event-B. Anton Tarasyuk, Elena Troubitsyna, Linas Laibinis |
| 2012 | Formal Verification of Compiler Transformations on Polychronous Equations. Van Chan Ngo, Jean-Pierre Talpin, Thierry Gautier, Paul Le Guernic, Loïc Besnard |
| 2012 | Integrated Formal Methods - 9th International Conference, IFM 2012, Pisa, Italy, June 18-21, 2012. Proceedings John Derrick, Stefania Gnesi, Diego Latella, Helen Treharne |
| 2012 | MULE-Based Wireless Sensor Networks: Probabilistic Modeling and Quantitative Analysis. Fatemeh Kazemeyni, Einar Broch Johnsen, Olaf Owe, Ilangko Balasingham |
| 2012 | Mechanized Extraction of Topology Anti-patterns in Wireless Networks. Matthias Woehrle, Rena Bakhshi, Mohammad Reza Mousavi |
| 2012 | Model Checking as Static Analysis: Revisited. Fuyuan Zhang, Flemming Nielson, Hanne Riis Nielson |
| 2012 | PE-KeY: A Partial Evaluator for Java Programs. Ran Ji, Richard Bubel |
| 2012 | Partially-Supervised Plants: Embedding Control Requirements in Plant Components. Jasen Markovski, Dirk A. van Beek, Jos C. M. Baeten |
| 2012 | Patterns for a Log-Based Strengthening of Declarative Compliance Models. Dennis M. M. Schunselaar, Fabrizio Maria Maggi, Natalia Sidorova |
| 2012 | Process Algebra for Event-Driven Runtime Verification: A Case Study of Wireless Network Management. Muffy Calder, Michele Sevegnani |
| 2012 | Refinement-Based Development of Timed Systems. Jesper Berthing, Pontus Boström, Kaisa Sere, Leonidas Tsiopoulos, Jüri Vain |
| 2012 | Refinement-Preserving Translation from Event-B to Register-Voice Interactive Systems. Denisa Diaconescu, Ioana Leustean, Luigia Petre, Kaisa Sere, Gheorghe Stefanescu |
| 2012 | Rely/Guarantee Reasoning for Teleo-reactive Programs over Multiple Time Bands. Brijesh Dongol, Ian J. Hayes |
| 2012 | Safety and Line Capacity in Railways - An Approach in Timed CSP. Yoshinao Isobe, Faron Moller, Hoang Nga Nguyen, Markus Roggenbach |
| 2012 | Specification-Driven Unit Test Generation for Java Generic Classes. Francisco Rebello de Andrade, João Pascoal Faria, Antónia Lopes, Ana C. R. Paiva |
| 2012 | Specifying UML Protocol State Machines in Alloy. Ana Gabriela Garis, Ana C. R. Paiva, Alcino Cunha, Daniel Riesco |
| 2012 | Translating TLA + to B for Validation with ProB. Dominik Hansen, Michael Leuschel |
| 2012 | Understanding Programming Bugs in ANSI-C Software Using Bounded Model Checking Counter-Examples. Herbert Rocha, Raimundo S. Barreto, Lucas C. Cordeiro, Arilo Dias Neto |