| 2021 | A Modeling and Verification Framework for Security Protocols. Mario Lilli |
| 2021 | About the Concolic Execution and Symbolic ASM Function Promotion in CASM. Philipp Paulweber, Jakob Moosbrugger, Uwe Zdun |
| 2021 | Automatic Transformation of SysML Model to Event-B Model for Railway CCS Application. Shubhangi Salunkhe, Randolf Berglehner, Abdul Rasheeq |
| 2021 | Event-B Formalization of Event-B Contexts. Jean-Paul Bodeveix, Mamoun Filali |
| 2021 | Extending ASMETA with Time Features. Andrea Bombarda, Silvia Bonfanti, Angelo Gargantini, Elvinia Riccobene |
| 2021 | Extensible Record Structures in Event-B. Asieh Salehi Fathabadi, Colin F. Snook, Thai Son Hoang, Dana Dghaym, Michael J. Butler |
| 2021 | Formal Meta Engineering Event-B: Extension and Reasoning The EB4EB Framework. Peter Riviere |
| 2021 | Formalizing and Analyzing System Requirements of Automatic Train Operation over ETCS Using Event-B. Robert Eschbach |
| 2021 | Formalizing the Institution for Event-B in the Coq Proof Assistant. Conor Reynolds |
| 2021 | Proving the Safety of a Sliding Window Protocol with Event-B. Sophie Coudert |
| 2021 | Rigorous State-Based Methods - 8th International Conference, ABZ 2021, Ulm, Germany, June 9-11, 2021, Proceedings Alexander Raschke, Dominique Méry |
| 2021 | Sterling: A Web-Based Visualizer for Relational Modeling Languages. Tristan Dyer, John W. Baugh Jr. |
| 2021 | The CamilleX Framework for the Rodin Platform. Thai Son Hoang, Colin F. Snook, Dana Dghaym, Asieh Salehi Fathabadi, Michael J. Butler |
| 2021 | Towards ASM-Based Automated Formal Verification of Security Protocols. Chiara Braghin, Mario Lilli, Elvinia Riccobene |
| 2021 | Towards Refinement of Unbounded Parallelism in ASMs Using Concurrency and Reflection. Fengqing Jiang, Neng Xiong, Xinyu Lian, Senén González, Klaus-Dieter Schewe |
| 2021 | Unbounded Barrier-Synchronized Concurrent ASMs for Effective MapReduce Processing on Streams. Zilinghan Li, Shilan He, Yiqing Du, Senén González, Klaus-Dieter Schewe |
| 2021 | Validation of Formal Models by Timed Probabilistic Simulation. Fabian Vu, Michael Leuschel, Atif Mashkoor |
| 2021 | Verifying System-Level Security of a Smart Ballot Box. Dana Dghaym, Thai Son Hoang, Michael J. Butler, Runshan Hu, Leonardo Aniello, Vladimiro Sassone |