| 2020 | A Characterization of Distributed ASMs with Partial-Order Runs. Egon Börger, Klaus-Dieter Schewe |
| 2020 | A Correct by Construction Approach for the Modeling and the Verification of Cyber-Physical Systems in Event-B. Meryem Afendi |
| 2020 | A Formal Approach for the Modeling of High-Level Architectures Aligned with System Requirements. Racem Bougacha |
| 2020 | A Framework for Critical Interactive System Formal Modelling and Analysis. Ismaïl Mendil |
| 2020 | A Logic for Reflective ASMs. Klaus-Dieter Schewe, Flavio Ferrarotti |
| 2020 | A Verified Low-Level Implementation of the Adaptive Exterior Light and Speed Control System. Sebastian Krings, Philipp Körner, Jannik Dunkelau, Chris Rutenkolk |
| 2020 | Account and Transaction Protocol of the Open Banking Standard. Abdulaziz Almehrej, Leo Freitas, Paolo Modesti |
| 2020 | Adaptive Exterior Light and Speed Control System. Frank Houdek, Alexander Raschke |
| 2020 | Adding Concurrency to a Sequential Refinement Tower. Gerhard Schellhorn, Stefan Bodenmüller, Jörg Pfähler, Wolfgang Reif |
| 2020 | An Event-B Model of an Automotive Adaptive Exterior Light System. Amel Mammar, Marc Frappier, Régine Laleau |
| 2020 | Analysing ProB's Constraint Solving Backends - What Do They Know? Do They Know Things? Let's Find Out! Jannik Dunkelau, Joshua Schmidt, Michael Leuschel |
| 2020 | Automatic Generation of DistAlgo Programs from Event-B Models. Alexis Grall |
| 2020 | Diverse Scenario Exploration in Model Finders Using Graph Kernels and Clustering. Robert Clarisó, Jordi Cabot |
| 2020 | Event-B-Supported Choreography-Defined Communicating Systems - Correctness and Completeness. Sarah Benyagoub, Yamine Aït Ameur, Klaus-Dieter Schewe |
| 2020 | Event-B: From Systems to Sub-systems Modeling. Kenza Kraibi |
| 2020 | Existence Proof Obligations for Constraints, Properties and Invariants in Atelier B. Héctor Ruíz Barradas, Lilian Burdy, David Déharbe |
| 2020 | Experiences on Teaching Alloy with an Automated Assessment Platform. Nuno Macedo, Alcino Cunha, José Pereira, Renato Carvalho, Ricardo Silva, Ana C. R. Paiva, Miguel Sozinho Ramalho, Daniel Castro Silva |
| 2020 | Exploring the Concept of Abstract State Machines for System Runtime Enforcement. Elvinia Riccobene, Patrizia Scandurra |
| 2020 | Formal Distributed Protocol Development for Reservation of Railway Sections. Paulius Stankaitis, Alexei Iliasov, Tsutomu Kobayashi, Yamine Aït Ameur, Fuyuki Ishikawa, Alexander B. Romanovsky |
| 2020 | Formal Verification of Interoperability Between Future Network Architectures Using Alloy. Mohammad Jahanian, Jiachen Chen, K. K. Ramakrishnan |
| 2020 | Formally Verified Architecture Patterns of Hybrid Systems Using Proof and Refinement with Event-B. Guillaume Dupont, Yamine Aït Ameur, Marc Pantel, Neeraj Kumar Singh |
| 2020 | Improving Trustworthiness of Self-driving Systems. Fahad Alotaibi |
| 2020 | Integration of iUML-B and UPPAAL Timed Automata for Development of Real-Time Systems with Concurrent Processes. Fatima Shokri-Manninen, Leonidas Tsiopoulos, Jüri Vain, Marina Waldén |
| 2020 | Modeling of a Speed Control System Using Event-B. Amel Mammar, Marc Frappier |
| 2020 | Modelling Hybrid Programs with Event-B. Meryem Afendi, Régine Laleau, Amel Mammar |
| 2020 | Modelling an Automotive Software-Intensive System with Adaptive Features Using ASMETA. Paolo Arcaini, Silvia Bonfanti, Angelo Gargantini, Elvinia Riccobene, Patrizia Scandurra |
| 2020 | Modelling and Validating an Automotive System in Classical B and Event-B. Michael Leuschel, Mareike Mutz, Michelle Werth |
| 2020 | Modelling and Verification of Robotic Platforms for Simulation Using RoboStar Technology. Ana Cavalcanti |
| 2020 | ProB and Jupyter for Logic, Set Theory, Theoretical Computer Science and Formal Methods. David Geleßus, Michael Leuschel |
| 2020 | Programming the CLEARSY Safety Platform with B. Thierry Lecomte |
| 2020 | Refinement and Verification of Responsive Control Systems. Karla Morris, Colin F. Snook, Thai Son Hoang, Geoffrey C. Hulette, Robert C. Armstrong, Michael J. Butler |
| 2020 | Rigorous State-Based Methods - 7th International Conference, ABZ 2020, Ulm, Germany, May 27-29, 2020, Proceedings Alexander Raschke, Dominique Méry, Frank Houdek |
| 2020 | Structuring the State and Behavior of ASMs: Introducing a Trait-Based Construct for Abstract State Machine Languages. Philipp Paulweber, Emmanuel Pescosta, Uwe Zdun |
| 2020 | Towards a Shared Specification Repository. Philipp Körner, Michael Leuschel, Jannik Dunkelau |
| 2020 | Validating Multiple Variants of an Automotive Light System with Electrum. Alcino Cunha, Nuno Macedo, Chong Liu |
| 2020 | Verifying SGAC Access Control Policies: A Comparison of ProB, Alloy and Z3. Diego de Azevedo Oliveira, Marc Frappier |
| 2020 | VisB: A Lightweight Tool to Visualize Formal Models with SVG Graphics. Michelle Werth, Michael Leuschel |