default search action
9th ABZ 2023: Nancy, France
- Uwe Glässer, José Creissac Campos, Dominique Méry
, Philippe A. Palanque
Rigorous State-Based Methods - 9th International Conference, ABZ 2023, Nancy, France, May 30 - June 2, 2023, Proceedings. Lecture Notes in Computer Science 14010, Springer 2023, ISBN 978-3-031-33162-6
Invited Papers
- André Platzer
Refinements of Hybrid Dynamical Systems Logic. 3-14 - Achim D. Brucker
Using Deep Ontologies in Formal Software Engineering. 15-32
Selected Papers for Presentation and Publication
- Elie Fares
Pattern-Based Refinement Generation Through Domain Specific Languages. 35-42 - Julien Cervelle
Introducing Inductive Construction in B with the Theory Plugin. 43-58 - Fabian Vu
Validation of Formal Models by Interactive Simulation. 59-69 - Gerhard Schellhorn, Stefan Bodenmüller
Thread-Local, Step-Local Proof Obligations for Refinement of State-Based Concurrent Systems. 70-87 - Rosalie Defourné:
Encoding rmTLA+ Proof Obligations Safely for SMT. 88-106 - Silvia Bonfanti
Modeling the MVM-Adapt System by Compositional I/O Abstract State Machines. 107-115 - Thomas Wilson
Crucible Tools for Test Generation and Animation of Alloy Models. 116-123 - Diego de Azevedo Oliveira
Modelling an Automotive Software System with TASTD. 124-141 - Diego de Azevedo Oliveira
TASTD: A Real-Time Extension for ASTD. 142-159 - Sebastian Stock
Validation by Abstraction and Refinement. 160-178 - Hao Wu
Verifying Event-B Hybrid Models Using Cyclone. 179-184 - Linjie Tong, Ke Xu, Jiarun Hu, Flavio Ferrarotti, Klaus-Dieter Schewe:
Exploration of Reflective ASMs for Security. 185-192 - Peter Riviere, Neeraj Kumar Singh, Yamine Aït-Ameur, Guillaume Dupont:
Standalone Event-B Models Analysis Relying on the EB4EB Meta-theory. 193-211 - Julien Brunel, David Chemouil, Alcino Cunha
Adding Records to Alloy. 212-219 - Asieh Salehi Fathabadi
Designing Critical Systems Using Hierarchical STPA and Event-B. 220-237 - Flavio Ferrarotti, Klaus-Dieter Schewe:
Behavioural Theory of Reflective Algorithms. 238-244 - Marie Farrell
Building Specifications in the Event-B Institution: A Summary. 245-253 - Nuno Macedo
Verifying Temporal Relational Models with Pardinus. 254-261
The ABZ 2023 Case Study
- Philippe A. Palanque
AMAN Case Study. 265-283 - David Geleßus
Modeling and Analysis of a Safety-Critical Interactive System Through Validation Obligations. 284-302 - Alcino Cunha
Task Model Design and Analysis with Alloy. 303-320 - Amel Mammar
Modeling and Verifying an Arrival Manager Using Event-B. 321-339 - Andrea Bombarda
formal MVC: A Pattern for the Integration of ASM Specifications in UI Development. 340-357
Doctoral Symposium
- Oisín Sheridan
Exploring a Methodology for Formal Verification of Safety-Critical Systems. 361-365 - Kristin Rutenkolk
Extending Modelchecking with ProB to Floating-Point Numbers and Hybrid Systems. 366-370 - Yannis Benabbi:
A Framework for Formal Verification and Validation of Railway Systems. 371-374 - Alessio Coltellacci:
Reconstruction of TLAPS Proofs Solved by VeriT in Lambdapi. 375-377
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
last updated on 2025-03-10 20:55 CET by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by: