| 2012 | A Pattern for Modelling Fault Tolerant Systems in Event-B. Gintautas Sulskus, Michael Poppleton |
| 2012 | A Practical Event-B Refinement Method Based on a UML-Driven Development Process. Thiago C. de Sousa, Paulo Sérgio Muniz Silva, Colin F. Snook |
| 2012 | A Reliability Prediction Method for Abstract State Machines. Raffaela Mirandola, Pasqualina Potena, Patrizia Scandurra |
| 2012 | A Semantic Analysis of Logics That Cope with Partial Terms. Cliff B. Jones, Matthew J. Lovert, L. Jason Steggles |
| 2012 | A Simplified Parallel ASM Thesis. Klaus-Dieter Schewe, Qing Wang |
| 2012 | A Tool Chain for the Automatic Generation of Circus Specifications of Simulink Diagrams. Chris Marriott, Frank Zeyda, Ana Cavalcanti |
| 2012 | A Unified Processor Model for Compiler Verification and Simulation Using ASM. Roland Lezuo, Andreas Krall |
| 2012 | ASM and Controller Synthesis. Richard Banach, Huibiao Zhu, Wen Su, Xiaofeng Wu |
| 2012 | Abstract State Machines, Alloy, B, VDM, and Z - Third International Conference, ABZ 2012, Pisa, Italy, June 18-21, 2012. Proceedings John Derrick, John S. Fitzgerald, Stefania Gnesi, Sarfraz Khurshid, Michael Leuschel, Steve Reeves, Elvinia Riccobene |
| 2012 | Active Attacking Multicast Key Management Protocol Using Alloy. Ting Wang, Dongyao Ji |
| 2012 | An ASM Model of Concurrency in a Web Browser. Vincenzo Gervasi |
| 2012 | Combining VDM with Executable Code. Claus Ballegaard Nielsen, Kenneth Lausdahl, Peter Gorm Larsen |
| 2012 | Continuous ASM, and a Pacemaker Sensing Fragment. Richard Banach, Huibiao Zhu, Wen Su, Xiaofeng Wu |
| 2012 | Continuous Behaviour in Event-B: A Sketch. Richard Banach, Huibiao Zhu, Wen Su, Xiaofeng Wu |
| 2012 | Contribution to a Rigorous Analysis of Web Application Frameworks. Egon Börger, Antonio Cisternino, Vincenzo Gervasi |
| 2012 | Discharging Proof Obligations from Atelier B Using Multiple Automated Provers. David Mentré, Claude Marché, Jean-Christophe Filliâtre, Masashi Asuka |
| 2012 | Event-B Code Generation: Type Extension with Theories. Andrew Edmunds, Michael J. Butler, Issam Maamria, Renato Silva, Chris Lovell |
| 2012 | Extending Alloy with Partial Instances. Vajih Montaghami, Derek Rayside |
| 2012 | Extending the Test Template Framework to Deal with Axiomatic Descriptions, Quantifiers and Set Comprehensions. Maximiliano Cristiá, Claudia S. Frydman |
| 2012 | Formal Proofs for the NYCT Line 7 (Flushing) Modernization Project. Denis Sabatier, Lilian Burdy, Antoine Requet, Jérôme Guéry |
| 2012 | Formal Verification of PLC Programs Using the B Method. Haniel Barbosa, David Déharbe |
| 2012 | Formalizing Hybrid Systems with Event-B. Jean-Raymond Abrial, Wen Su, Huibiao Zhu |
| 2012 | Integrated Operational Semantics: Small-Step, Big-Step and Multi-step. Ian J. Hayes, Robert Colvin |
| 2012 | Learn and Test for Event-B - A Rodin Plugin. Ionut Dinca, Florentin Ipate, Laurentiu Mierla, Alin Stefanescu |
| 2012 | Modeling Synchronization/Communication Patterns in Vision-Based Robot Control Applications Using ASMs. Andrea Luzzana, Mattia Rossetti, Paolo Righettini, Patrizia Scandurra |
| 2012 | Modeling the Supervisory Control Theory with Alloy. Benoît Fraikin, Marc Frappier, Richard St-Denis |
| 2012 | Preventing Arithmetic Overflows in Alloy. Aleksandar Milicevic, Daniel Jackson |
| 2012 | Refactoring Abstract State Machine Models. Hamed Yaghoubi Shahir, Roozbeh Farahbod, Uwe Glässer |
| 2012 | Refinement Plans for Informed Formal Design. Gudmund Grov, Andrew Ireland, Maria Teresa Llano |
| 2012 | Refinement by Interface Instantiation. Stefan Hallerstede, Thai Son Hoang |
| 2012 | SMT Solvers for Rodin. David Déharbe, Pascal Fontaine, Yoann Guyot, Laurent Voisin |
| 2012 | Temporal Logic Model Checking in Alloy. Amirhossein Vakili, Nancy A. Day |
| 2012 | Test Generation for Sequential Nets of Abstract State Machines. Paolo Arcaini, Francesco Bolis, Angelo Gargantini |
| 2012 | Toward a More Complete Alloy. Timothy Nelson, Daniel J. Dougherty, Kathi Fisler, Shriram Krishnamurthi |
| 2012 | Using the Arbitrator Pattern for Dynamic Process-Instance Extension in a Work-Flow Management System. Matthes Elstermann, Detlef Seese, Albert Fleischmann |
| 2012 | Verification of Hardware Interaction Properties of Software. Ramsay Taylor |