- Silvia Bonfanti
, Angelo Gargantini, Michael Leuschel, Elvinia Riccobene, Patrizia Scandurra:
Rigorous State-Based Methods - 10th International Conference, ABZ 2024, Bergamo, Italy, June 25-28, 2024, Proceedings. Lecture Notes in Computer Science 14759, Springer 2024, ISBN 978-3-031-63789-6 [contents] - 2023
- Alessio Coltellacci:
Reconstruction of TLAPS Proofs Solved by VeriT in Lambdapi. ABZ 2023: 375-377 - Yannis Benabbi:
A Framework for Formal Verification and Validation of Railway Systems. ABZ 2023: 371-374 - Andrea Bombarda, Silvia Bonfanti, Angelo Gargantini:
formal MVC: A Pattern for the Integration of ASM Specifications in UI Development. ABZ 2023: 340-357 - Silvia Bonfanti, Elvinia Riccobene, Davide Santandrea, Patrizia Scandurra:
Modeling the MVM-Adapt System by Compositional I/O Abstract State Machines. ABZ 2023: 107-115 - Achim D. Brucker, Idir Aït-Sadoune, Nicolas Méric, Burkhart Wolff:
Using Deep Ontologies in Formal Software Engineering. ABZ 2023: 15-32 - Julien Brunel, David Chemouil, Alcino Cunha, Nuno Macedo:
Adding Records to Alloy. ABZ 2023: 212-219 - Julien Cervelle, Frédéric Gervais:
Introducing Inductive Construction in B with the Theory Plugin. ABZ 2023: 43-58 - Alcino Cunha, Nuno Macedo, Eunsuk Kang:
Task Model Design and Analysis with Alloy. ABZ 2023: 303-320 - Rosalie Defourné:
Encoding rmTLA+ Proof Obligations Safely for SMT. ABZ 2023: 88-106 - Elie Fares, Jean-Paul Bodeveix, Mamoun Filali:
Pattern-Based Refinement Generation Through Domain Specific Languages. ABZ 2023: 35-42 - Marie Farrell, Rosemary Monahan, James F. Power:
Building Specifications in the Event-B Institution: A Summary. ABZ 2023: 245-253 - Asieh Salehi Fathabadi, Colin F. Snook, Dana Dghaym, Thai Son Hoang, Fahad Alotaibi, Michael J. Butler:
Designing Critical Systems Using Hierarchical STPA and Event-B. ABZ 2023: 220-237 - Flavio Ferrarotti, Klaus-Dieter Schewe:
Behavioural Theory of Reflective Algorithms. ABZ 2023: 238-244 - David Geleßus, Sebastian Stock, Fabian Vu, Michael Leuschel, Atif Mashkoor:
Modeling and Analysis of a Safety-Critical Interactive System Through Validation Obligations. ABZ 2023: 284-302 - Nuno Macedo, Julien Brunel, David Chemouil, Alcino Cunha:
Verifying Temporal Relational Models with Pardinus. ABZ 2023: 254-261 - Amel Mammar, Michael Leuschel:
Modeling and Verifying an Arrival Manager Using Event-B. ABZ 2023: 321-339 - Diego de Azevedo Oliveira, Marc Frappier:
Modelling an Automotive Software System with TASTD. ABZ 2023: 124-141 - Diego de Azevedo Oliveira, Marc Frappier:
TASTD: A Real-Time Extension for ASTD. ABZ 2023: 142-159 - Philippe A. Palanque, José Creissac Campos:
AMAN Case Study. ABZ 2023: 265-283 - André Platzer:
Refinements of Hybrid Dynamical Systems Logic. ABZ 2023: 3-14 - Peter Riviere, Neeraj Kumar Singh, Yamine Aït-Ameur, Guillaume Dupont:
Standalone Event-B Models Analysis Relying on the EB4EB Meta-theory. ABZ 2023: 193-211 - Kristin Rutenkolk:
Extending Modelchecking with ProB to Floating-Point Numbers and Hybrid Systems. ABZ 2023: 366-370 - Gerhard Schellhorn, Stefan Bodenmüller, Wolfgang Reif:
Thread-Local, Step-Local Proof Obligations for Refinement of State-Based Concurrent Systems. ABZ 2023: 70-87 - Oisín Sheridan:
Exploring a Methodology for Formal Verification of Safety-Critical Systems. ABZ 2023: 361-365 - Sebastian Stock, Fabian Vu, David Geleßus, Michael Leuschel, Atif Mashkoor, Alexander Egyed:
Validation by Abstraction and Refinement. ABZ 2023: 160-178 - Linjie Tong, Ke Xu, Jiarun Hu, Flavio Ferrarotti, Klaus-Dieter Schewe:
Exploration of Reflective ASMs for Security. ABZ 2023: 185-192 - Fabian Vu, Michael Leuschel:
Validation of Formal Models by Interactive Simulation. ABZ 2023: 59-69 - Thomas Wilson, Stuart Matthews:
Crucible Tools for Test Generation and Animation of Alloy Models. ABZ 2023: 116-123 - Hao Wu, Zheng Cheng:
Verifying Event-B Hybrid Models Using Cyclone. ABZ 2023: 179-184
