default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCID9th 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, Idir Aït-Sadoune, Nicolas Méric, Burkhart Wolff:
Using Deep Ontologies in Formal Software Engineering. 15-32
Selected Papers for Presentation and Publication
- Elie Fares, Jean-Paul Bodeveix, Mamoun Filali:
Pattern-Based Refinement Generation Through Domain Specific Languages. 35-42 - Julien Cervelle, Frédéric Gervais:
Introducing Inductive Construction in B with the Theory Plugin. 43-58 - Fabian Vu, Michael Leuschel:
Validation of Formal Models by Interactive Simulation. 59-69 - Gerhard Schellhorn, Stefan Bodenmüller, Wolfgang Reif:
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, Elvinia Riccobene, Davide Santandrea, Patrizia Scandurra:
Modeling the MVM-Adapt System by Compositional I/O Abstract State Machines. 107-115 - Thomas Wilson, Stuart Matthews:
Crucible Tools for Test Generation and Animation of Alloy Models. 116-123 - Diego de Azevedo Oliveira, Marc Frappier:
Modelling an Automotive Software System with TASTD. 124-141 - Diego de Azevedo Oliveira, Marc Frappier:
TASTD: A Real-Time Extension for ASTD. 142-159 - Sebastian Stock, Fabian Vu, David Geleßus, Michael Leuschel, Atif Mashkoor, Alexander Egyed:
Validation by Abstraction and Refinement. 160-178 - Hao Wu, Zheng Cheng:
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, Nuno Macedo:
Adding Records to Alloy. 212-219 - 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. 220-237 - Flavio Ferrarotti, Klaus-Dieter Schewe:
Behavioural Theory of Reflective Algorithms. 238-244 - Marie Farrell, Rosemary Monahan, James F. Power:
Building Specifications in the Event-B Institution: A Summary. 245-253 - Nuno Macedo, Julien Brunel, David Chemouil, Alcino Cunha:
Verifying Temporal Relational Models with Pardinus. 254-261
The ABZ 2023 Case Study
- Philippe A. Palanque, José Creissac Campos:
AMAN Case Study. 265-283 - David Geleßus, Sebastian Stock, Fabian Vu, Michael Leuschel, Atif Mashkoor:
Modeling and Analysis of a Safety-Critical Interactive System Through Validation Obligations. 284-302 - Alcino Cunha, Nuno Macedo, Eunsuk Kang:
Task Model Design and Analysis with Alloy. 303-320 - Amel Mammar, Michael Leuschel:
Modeling and Verifying an Arrival Manager Using Event-B. 321-339 - Andrea Bombarda, Silvia Bonfanti, Angelo Gargantini:
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 2026-03-12 02:07 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:
