ABZ2023: 9TH INTERNATIONAL CONFERENCE ON RIGOROUS STATE-BASED METHODS

A
Abrial, Jean-Raymond	Constructing the Real Numbers using RODIN and EBRP’s plugin
Ait Ameur, Yamine	Standalone Event-B models analysis relying on the EB4EB meta-theory
Ait-Ameur, Yamine	Proof automation for Event-B theories
Ait-Saddoune, Idir	Rodin: two years of updates
Ait-Sadoune, Idir	Using Deep Ontologies in Formal Software Engineering
Alessio, Coltellacci	Using Lambdapi to verify proof obligations of TLAPS generated by veriT
Alotaibi, Fahad	Designing Secure Systems using Hierarchical STPA and Event-B
B
Bodenmüller, Stefan	Thread-Local, Step-Local Proof Obligations for Refinement of State-Based Concurrent Systems
Bodeveix, Jean Paul	Pattern-based Refinement Generation Through Domain Specific Languages
Bombarda, Andrea	formal MVC: a pattern for the integration of ASM specifications in UI development
Bonfanti, Silvia	formal MVC: a pattern for the integration of ASM specifications in UI development Modeling the MVM-Adapt System by Compositional I/O Abstract State Machines
Brucker, Achim D.	Using Deep Ontologies in Formal Software Engineering
Brunel, Julien	Verifying temporal relational models with Pardinus Adding records to Alloy
Butler, Michael	Designing Secure Systems using Hierarchical STPA and Event-B
Butler, Michael	A Rigorous Iterative Analysis Approach for Capturing the Safety Requirements of Self-Driving Vehicle Systems:
Butler, Michael	CamilleX 3.0
C
Cansell, Dominique	Constructing the Real Numbers using RODIN and EBRP’s plugin
Cervelle, Julien	Introducing Inductive Construction in B with the Theory Plugin
Chemouil, David	Verifying temporal relational models with Pardinus Adding records to Alloy
Cheng, Zheng	Verifying Event-B Hybrid Models using Cyclone
Cortier, Véronique	Formal verification of electronic voting systems
Cristia, Maximiliano	{log}: Programming and Automated Proof in Set Theory (I) {log}: Programming and Automated Proof in Set Theory (II)
Cunha, Alcino	Task Model Design and Analysis with Alloy Verifying temporal relational models with Pardinus Adding records to Alloy Teaching Alloy with Alloy4Fun
D
de Azevedo Oliveira, Diego	Modelling an Automotive Software System with TASTD TASTD a real-time extension for ASTD
Defourné, Rosalie	Encoding TLA+ Proof Obligations Safely for SMT
Dghaym, D.	CamilleX 3.0
Dghaym, D.	CamilleX 3.0
Dghaym, Dana	Designing Secure Systems using Hierarchical STPA and Event-B
Dupont, Guillaume	Rodin-hs: A set of libraries and tools for handling Rodin files in Haskell
Dupont, Guillaume	Standalone Event-B models analysis relying on the EB4EB meta-theory
Dupont, Guillaume	Proof automation for Event-B theories
E
Egyed, Alexander	Validation by Abstraction and Refinement
F
Fares, Elie	Pattern-based Refinement Generation Through Domain Specific Languages
Farrell, Marie	Journal-First: Building Specifications in the Event-B Institution
Ferrarotti, Flavio	Behavioural Theory of Reflective Algorithms Exploration of Reflective ASMs for Genetic Algorithms and Security
Filali, Mamoun	Pattern-based Refinement Generation Through Domain Specific Languages
Frappier, Marc	Modelling an Automotive Software System with TASTD TASTD a real-time extension for ASTD
G
Gargantini, Angelo	formal MVC: a pattern for the integration of ASM specifications in UI development
Gargantini, Angelo	Compositional Simulation of Abstract State Machines for Safety Critical Systems
Geleßus, David	Modeling and Analysis of a Safety-critical Interactive System through VOs Validation by Abstraction and Refinement
Geleßus, David	Classification and Semantics of Validation Tasks
Gervais, Frederic	Introducing Inductive Construction in B with the Theory Plugin
H
Hoang, Son	CamilleX 3.0 Formalisation of a Software Development Process A Rigorous Iterative Analysis Approach for Capturing the Safety Requirements of Self-Driving Vehicle Systems: Designing Secure Systems using Hierarchical STPA and Event-B
Hoang, Son	A Rigorous Iterative Analysis Approach for Capturing the Safety Requirements of Self-Driving Vehicle Systems:
Hu, Jiarun	Exploration of Reflective ASMs for Genetic Algorithms and Security
Huisman, Marieke	VerCors & Alpinist: verification of optimised GPU programs
J
Jacquot, Jean-Pierre	A Case-study for Incremental Validation
K
Kang, Eunsuk	Task Model Design and Analysis with Alloy
L
Lecomte, Thierry	Using B to program the CLEARSY Safety Platform Starter Kit For Education
Leuschel, Michael	Modeling and Analysis of a Safety-critical Interactive System through VOs Validation by Abstraction and Refinement Modeling and Verifying an Arrival Manager using Event-B
Leuschel, Michael	Validation of Formal Models by Interactive Simulation
M
Macedo, Nuno	Task Model Design and Analysis with Alloy Verifying temporal relational models with Pardinus Adding records to Alloy Teaching Alloy with Alloy4Fun
Mammar, Amel	Modeling and Verifying an Arrival Manager using Event-B
Mashkoor, Atif	Modeling and Analysis of a Safety-critical Interactive System through VOs Validation by Abstraction and Refinement Intro to the IVOIRE project Wrap Up
Matthews, Stuart	Crucible Tools for Test Generation and Advanced Animation of Alloy Models
Monahan, Rosemary	Journal-First: Building Specifications in the Event-B Institution
Méric, Nicolas	Using Deep Ontologies in Formal Software Engineering
P
Platzer, André	Refinements of Hybrid Dynamical Systems Logic
Power, James	Journal-First: Building Specifications in the Event-B Institution
R
Reif, Wolfgang	Thread-Local, Step-Local Proof Obligations for Refinement of State-Based Concurrent Systems
Riccobene, Elvinia	Modeling the MVM-Adapt System by Compositional I/O Abstract State Machines
Riviere, Peter	Proof automation for Event-B theories Standalone Event-B models analysis relying on the EB4EB meta-theory
Rutenkolk, Kristin	Extending Modelchecking with ProB to Floating-Point Numbers and Hybrid Systems
S
Salehi Fathabadi, Asieh	Designing Secure Systems using Hierarchical STPA and Event-B
Santandrea, Davide	Modeling the MVM-Adapt System by Compositional I/O Abstract State Machines
Scandurra, Patrizia	Modeling the MVM-Adapt System by Compositional I/O Abstract State Machines
Schellhorn, Gerhard	Thread-Local, Step-Local Proof Obligations for Refinement of State-Based Concurrent Systems
Schewe, Klaus-Dieter	Behavioural Theory of Reflective Algorithms Exploration of Reflective ASMs for Genetic Algorithms and Security
Sheridan, Oisín	Exploring a methodology for formal verification of safety-critical systems
Singh, Neeraj	Standalone Event-B models analysis relying on the EB4EB meta-theory
Singh, Neeraj	Proof automation for Event-B theories
Snook, Colin	Designing Secure Systems using Hierarchical STPA and Event-B
Snook, Colin	CamilleX 3.0
Stock, Sebastian	Modeling and Analysis of a Safety-critical Interactive System through VOs Validation by Abstraction and Refinement Validation-Driven Development
T
Tong, Linjie	Exploration of Reflective ASMs for Genetic Algorithms and Security
V
Verdier, Guillaume	Rodin: two years of updates
Voisin, Laurent	Rodin: two years of updates
Vu, Fabian	Validation of Formal Models by Interactive Simulation Modeling and Analysis of a Safety-critical Interactive System through VOs Validation by Abstraction and Refinement Generating safe code to prevent or handle integer overflows inside Event-B actions formulas Formalizing and Validating the VO Approach
W
Wilson, Thomas	Crucible Tools for Test Generation and Advanced Animation of Alloy Models
Wolff, Burkhart	Using Deep Ontologies in Formal Software Engineering
Wu, Hao	Verifying Event-B Hybrid Models using Cyclone
X
Xu, Ke	Exploration of Reflective ASMs for Genetic Algorithms and Security
Y
Yannis, Benabbi	A framework for formal verification and validation of railway systems

Disclaimer | Powered by EasyChair Smart Program