| 2014 | Abstract State Machines, Alloy, B, TLA, VDM, and Z - 4th International Conference, ABZ 2014, Toulouse, France, June 2-6, 2014. Proceedings Yamine Aït Ameur, Klaus-Dieter Schewe |
| 2014 | Analysis of Self-⋆ and P2P Systems Using Refinement. Manamiary Bruno Andriamiarina, Dominique Méry, Neeraj Kumar Singh |
| 2014 | B Formal Validation of ERTMS/ETCS Railway Operating Rules. Rahma Ben Ayed, Simon Collart Dutilleul, Philippe Bon, Akram Idani, Yves Ledru |
| 2014 | Bounded Model Checking of Temporal Formulas with Alloy. Alcino Cunha |
| 2014 | Detecting Network Policy Conflicts Using Alloy. Ferney A. Maldonado-Lopez, Jaime Chavarriaga, Yezid Donoso |
| 2014 | Development of a Verified Flash File System. Gerhard Schellhorn, Gidon Ernst, Jörg Pfähler, Dominik Haneberg, Wolfgang Reif |
| 2014 | Distributed ASM - Pitfalls and Solutions. Andreas Prinz, Edel Sherratt |
| 2014 | Distributed Situation Analysis - A Formal Semantic Framework. Narek Nalbandyan, Uwe Glässer, Hamed Yaghoubi Shahir, Hans Wehn |
| 2014 | Domain-Specific Visualization of Alloy Instances. Loïc Gammaitoni, Pierre Kelsen |
| 2014 | Fixed-Point Arithmetic Modeled in B Software Using Reals. Jérôme Guéry, Olivier Rolland, Joris Rehm |
| 2014 | Formal Derivation of Distributed MapReduce. Inna Pereverzeva, Michael J. Butler, Asieh Salehi Fathabadi, Linas Laibinis, Elena Troubitsyna |
| 2014 | Formal System Modelling Using Abstract Data Types in Event-B. Andreas Fürst, Thai Son Hoang, David A. Basin, Naoto Sato, Kunihiko Miyazaki |
| 2014 | Formal Verification of OS Security Model with Alloy and Event-B. Petr N. Devyanin, Alexey V. Khoroshilov, Victor V. Kuliamin, Alexander K. Petrenko, Ilya V. Shchepetkov |
| 2014 | Introducing Aspect-Oriented Specification for Abstract State Machines. Marcel Dausend, Alexander Raschke |
| 2014 | Invariant Guided System Decomposition. Richard Banach |
| 2014 | MAZE: An Extension of Object-Z for Multi-Agent Systems. Graeme Smith, Qin Li |
| 2014 | Modelling Energy Consumption in Embedded Systems with VDM-RT. José Antonio Esparza Isasa, Peter Würtz Vinther Jørgensen, Claus Ballegård Nielsen, Stefan Hallerstede |
| 2014 | Modular Refinement for Submachines of ASMs. Gidon Ernst, Jörg Pfähler, Gerhard Schellhorn, Wolfgang Reif |
| 2014 | Optimizing Alloy for Multi-objective Software Product Line Configuration. Ed Zulkoski, Chris Kleynhans, Ming-Ho Yee, Derek Rayside, Krzysztof Czarnecki |
| 2014 | Quasi-Lexicographic Convergence. Stefan Hallerstede |
| 2014 | Sealed Containers in Z. Eerke A. Boiten, Jeremy Jacob |
| 2014 | Specifying Transaction Control to Serialize Concurrent Program Executions. Egon Börger, Klaus-Dieter Schewe |
| 2014 | Staged Evaluation of Partial Instances in a Relational Model Finder. Vajih Montaghami, Derek Rayside |
| 2014 | Templates for Event-B Code Generation. Andrew Edmunds |
| 2014 | The BWare Project: Building a Proof Platform for the Automated Verification of B Proof Obligations. David Delahaye, Catherine Dubois, Claude Marché, David Mentré |
| 2014 | The Rodin Platform Has Turned Ten. Laurent Voisin, Jean-Raymond Abrial |
| 2014 | Towards ASM-Based Formal Specification of Self-Adaptive Systems. Elvinia Riccobene, Patrizia Scandurra |
| 2014 | Towards B as a High-Level Constraint Modelling Language - Solving the Jobs Puzzle Challenge. Michael Leuschel, David Schneider |
| 2014 | Translating B to TLA + for Validation with TLC. Dominik Hansen, Michael Leuschel |
| 2014 | Tuning the Alt-Ergo SMT Solver for B Proof Obligations. Sylvain Conchon, Mohamed Iguernelala |
| 2014 | Understanding and Planning Event-B Refinement through Primitive Rationales. Tsutomu Kobayashi, Fuyuki Ishikawa, Shinichi Honiden |
| 2014 | Validating the RBAC ANSI 2012 Standard Using B. Nghi Huynh, Marc Frappier, Amel Mammar, Régine Laleau, Jules Desharnais |
| 2014 | WebASM: An Abstract State Machine Execution Environment for the Web. Simone Zenzaro, Vincenzo Gervasi, Jacopo Soldani |
| 2014 | Why Amazon Chose TLA +. Chris Newcombe |
| 2014 | αRby - An Embedding of Alloy in Ruby. Aleksandar Milicevic, Ido Efrati, Daniel Jackson |