| 2018 | A Translation from Alloy to B. Sebastian Krings, Joshua Schmidt, Carola Brings, Marc Frappier, Michael Leuschel |
| 2018 | ABZ Languages and Tools in Industrial-Scale Application. Janet Barnes, Jonathan Hammond, Angela Wallenburg, Thomas Wilson |
| 2018 | Abstract State Machines with Exact Real Arithmetic. Christoph Beierle, Klaus-Dieter Schewe |
| 2018 | Abstract State Machines, Alloy, B, TLA, VDM, and Z - 6th International Conference, ABZ 2018, Southampton, UK, June 5-8, 2018, Proceedings Michael J. Butler, Alexander Raschke, Thai Son Hoang, Klaus Reichl |
| 2018 | An Automation-Friendly Set Theory for the B Method. Guillaume Bury, Simon Cruanes, David Delahaye, Pierre-Louis Euvrard |
| 2018 | An Event-B Model of the Hybrid ERTMS/ETCS Level 3 Standard. Amel Mammar, Marc Frappier, Steve Jeffrey Tueno Fotso, Régine Laleau |
| 2018 | AsmetaA: Animator for Abstract State Machines. Silvia Bonfanti, Angelo Gargantini, Atif Mashkoor |
| 2018 | CASM-IR: Uniform ASM-Based Intermediate Representation for Model Specification, Execution, and Transformation. Philipp Paulweber, Emmanuel Pescosta, Uwe Zdun |
| 2018 | Capturing Membrane Computing by ASMs. Klaus-Dieter Schewe, Loredana Tec, Qing Wang |
| 2018 | Clarification of Ambiguity for the Simple Authentication and Security Layer. Farah Al-Shareefi, Alexei Lisitsa, Clare Dixon |
| 2018 | Diagram-Led Formal Modelling Using iUML-B for Hybrid ERTMS Level 3. Dana Dghaym, Michael Poppleton, Colin F. Snook |
| 2018 | Distributed Adaptive Systems - Theory, Specification, Reasoning. Klaus-Dieter Schewe, Flavio Ferrarotti, Loredana Tec, Qing Wang |
| 2018 | Event-B Expression and Verification of Translation Rules Between SysML/KAOS Domain Models and B System Specifications. Steve Jeffrey Tueno Fotso, Amel Mammar, Régine Laleau, Marc Frappier |
| 2018 | Extracting Symbolic Transitions from TLA Jure Kukovec, Thanh-Hai Tran, Igor Konnov |
| 2018 | Formal Specification of the Semantics of Control State Diagrams. Markus Leitz, Alexander Raschke |
| 2018 | Insulin Pump: Modular Modeling of Hybrid Systems Using Event-B. Wen Su, Jinxin Chen, Shehroz Khan |
| 2018 | Issues in Automated Urban Train Control: 'Tackling' the Rugby Club Problem. Richard Banach |
| 2018 | Modeling the Hybrid ERTMS/ETCS Level 3 Standard Using a Formal Requirements Engineering Approach. Steve Jeffrey Tueno Fotso, Marc Frappier, Régine Laleau, Amel Mammar |
| 2018 | Modelling Dynamic Data Structures with the B Method. Frédéric Badeau, Vincent Lacroix, Vincent Monfort, Laurent Voisin, Christophe Métayer |
| 2018 | Modelling the Hybrid ERTMS/ETCS Level 3 Case Study in Spin. Paolo Arcaini, Pavel Jezek, Jan Kofron |
| 2018 | On B and Event-B: Principles, Success and Challenges. Jean-Raymond Abrial |
| 2018 | On the Importance of Explicit Domain Modelling in Refinement-Based Modelling Design. Experiments with Event-B. Yamine Aït Ameur, Idir Aït-Sadoune, P. Casteran, J. Paul Gibson, Kahina Hacid, Souad Kherroubi, Dominique Méry, Linda Mohand-Oussaïd, Neeraj Kumar Singh, Laurent Voisin |
| 2018 | Proof-Based Approach to Hybrid Systems Development: Dynamic Logic and Event-B. Guillaume Dupont, Yamine Aït Ameur, Marc Pantel, Neeraj Kumar Singh |
| 2018 | Proposition of an Action Layer for Electrum. Julien Brunel, David Chemouil, Alcino Cunha, Thomas Hujsa, Nuno Macedo, Jeanne Tawa |
| 2018 | Refinement of Timing Constraints for Concurrent Tasks with Scheduling. Chenyang Zhu, Michael J. Butler, Corina Cîrstea |
| 2018 | Solver-Based Sketching of Alloy Models Using Test Valuations. Kaiyuan Wang, Allison Sullivan, Darko Marinov, Sarfraz Khurshid |
| 2018 | State-Based Formal Methods in Scientific Computation. John W. Baugh Jr., Tristan Dyer |
| 2018 | Systematic Generation of Non-equivalent Expressions for Relational Algebra. Kaiyuan Wang, Allison Sullivan, Manos Koukoutos, Darko Marinov, Sarfraz Khurshid |
| 2018 | Systematic Refinement of Abstract State Machines with Higher-Order Logic. Flavio Ferrarotti, Senén González, Klaus-Dieter Schewe, José Maria Turull Torres |
| 2018 | Teaching an Old Dog New Tricks - The Drudges of the Interactive Prover in Atelier B. Lilian Burdy, David Déharbe |
| 2018 | The ABZ-2018 Case Study with Event-B. Jean-Raymond Abrial |
| 2018 | The Hybrid ERTMS/ETCS Level 3 Case Study. Thai Son Hoang, Michael J. Butler, Klaus Reichl |
| 2018 | Towards Creating a DSL Facilitating Modelling of Dynamic Access Control in Event-B. Inna Vistbakka, Mikhail Barash, Elena Troubitsyna |
| 2018 | Using a Formal B Model at Runtime in a Demonstration of the ETCS Hybrid Level 3 Concept with Real Trains. Dominik Hansen, Michael Leuschel, David Schneider, Sebastian Krings, Philipp Körner, Thomas Naulin, Nader Nayeri, Frank Skowron |
| 2018 | Validating the Hybrid ERTMS/ETCS Level 3 Concept with Electrum. Alcino Cunha, Nuno Macedo |
| 2018 | Verifiable Code Generation from Scheduled Event-B Models. Mohammadsadegh Dalvandi, Michael J. Butler, Abdolbaghi Rezazadeh, Asieh Salehi Fathabadi |