| Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
| 1 | Hao Wu 0017, Zheng Cheng |
Verifying Event-B Hybrid Models Using Cyclone.  |
ABZ  |
2023 |
DBLP DOI BibTeX RDF |
|
| 1 | Andrea Bombarda, Silvia Bonfanti, Angelo Gargantini |
formal MVC: A Pattern for the Integration of ASM Specifications in UI Development. |
ABZ |
2023 |
DBLP DOI BibTeX RDF |
|
| 1 | Achim D. Brucker, Idir Aït-Sadoune, Nicolas Méric, Burkhart Wolff |
Using Deep Ontologies in Formal Software Engineering. |
ABZ |
2023 |
DBLP DOI BibTeX RDF |
|
| 1 | Oisín Sheridan |
Exploring a Methodology for Formal Verification of Safety-Critical Systems. |
ABZ |
2023 |
DBLP DOI BibTeX RDF |
|
| 1 | Yannis Benabbi |
A Framework for Formal Verification and Validation of Railway Systems. |
ABZ |
2023 |
DBLP DOI BibTeX RDF |
|
| 1 | Diego de Azevedo Oliveira, Marc Frappier |
Modelling an Automotive Software System with TASTD. |
ABZ |
2023 |
DBLP DOI BibTeX RDF |
|
| 1 | Diego de Azevedo Oliveira, Marc Frappier |
TASTD: A Real-Time Extension for ASTD. |
ABZ |
2023 |
DBLP DOI BibTeX RDF |
|
| 1 | Elie Fares, Jean-Paul Bodeveix, Mamoun Filali |
Pattern-Based Refinement Generation Through Domain Specific Languages. |
ABZ |
2023 |
DBLP DOI BibTeX RDF |
|
| 1 | Amel Mammar, Michael Leuschel |
Modeling and Verifying an Arrival Manager Using Event-B. |
ABZ |
2023 |
DBLP DOI BibTeX RDF |
|
| 1 | Flavio Ferrarotti, Klaus-Dieter Schewe |
Behavioural Theory of Reflective Algorithms. |
ABZ |
2023 |
DBLP DOI BibTeX RDF |
|
| 1 | Marie Farrell, Rosemary Monahan, James F. Power |
Building Specifications in the Event-B Institution: A Summary. |
ABZ |
2023 |
DBLP DOI BibTeX RDF |
|
| 1 | Peter Riviere, Neeraj Kumar Singh 0001, Yamine Aït-Ameur, Guillaume Dupont |
Standalone Event-B Models Analysis Relying on the EB4EB Meta-theory. |
ABZ |
2023 |
DBLP DOI BibTeX RDF |
|
| 1 | Julien Brunel, David Chemouil, Alcino Cunha, Nuno Macedo |
Adding Records to Alloy. |
ABZ |
2023 |
DBLP DOI BibTeX RDF |
|
| 1 | André Platzer |
Refinements of Hybrid Dynamical Systems Logic. |
ABZ |
2023 |
DBLP DOI BibTeX RDF |
|
| 1 | Gerhard Schellhorn, Stefan Bodenmüller, Wolfgang Reif |
Thread-Local, Step-Local Proof Obligations for Refinement of State-Based Concurrent Systems. |
ABZ |
2023 |
DBLP DOI BibTeX RDF |
|
| 1 | Philippe A. Palanque, José Creissac Campos |
AMAN Case Study. |
ABZ |
2023 |
DBLP DOI BibTeX RDF |
|
| 1 | Julien Cervelle, Frédéric Gervais |
Introducing Inductive Construction in B with the Theory Plugin. |
ABZ |
2023 |
DBLP DOI BibTeX RDF |
|
| 1 | Alcino Cunha, Nuno Macedo, Eunsuk Kang |
Task Model Design and Analysis with Alloy. |
ABZ |
2023 |
DBLP DOI BibTeX RDF |
|
| 1 | Fabian Vu, Michael Leuschel |
Validation of Formal Models by Interactive Simulation. |
ABZ |
2023 |
DBLP DOI BibTeX RDF |
|
| 1 | Linjie Tong, Ke Xu 0002, Jiarun Hu, Flavio Ferrarotti, Klaus-Dieter Schewe |
Exploration of Reflective ASMs for Security. |
ABZ |
2023 |
DBLP DOI BibTeX RDF |
|
| 1 | Uwe Glässer, José Creissac Campos, Dominique Méry, Philippe A. Palanque (eds.) |
Rigorous State-Based Methods - 9th International Conference, ABZ 2023, Nancy, France, May 30 - June 2, 2023, Proceedings |
ABZ |
2023 |
DBLP DOI BibTeX RDF |
|
| 1 | Coltellacci Alessio |
Reconstruction of TLAPS Proofs Solved by VeriT in Lambdapi. |
ABZ |
2023 |
DBLP DOI BibTeX RDF |
|
| 1 | Silvia Bonfanti, Elvinia Riccobene, Davide Santandrea, Patrizia Scandurra |
Modeling the MVM-Adapt System by Compositional I/O Abstract State Machines. |
ABZ |
2023 |
DBLP DOI BibTeX RDF |
|
| 1 | 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 |
DBLP DOI BibTeX RDF |
|
| 1 | Sebastian Stock 0002, Fabian Vu, David Geleßus, Michael Leuschel, Atif Mashkoor, Alexander Egyed |
Validation by Abstraction and Refinement. |
ABZ |
2023 |
DBLP DOI BibTeX RDF |
|
| 1 | Rosalie Defourné |
Encoding rmTLA+ Proof Obligations Safely for SMT. |
ABZ |
2023 |
DBLP DOI BibTeX RDF |
|
| 1 | David Geleßus, Sebastian Stock 0002, Fabian Vu, Michael Leuschel, Atif Mashkoor |
Modeling and Analysis of a Safety-Critical Interactive System Through Validation Obligations. |
ABZ |
2023 |
DBLP DOI BibTeX RDF |
|
| 1 | Nuno Macedo, Julien Brunel, David Chemouil, Alcino Cunha |
Verifying Temporal Relational Models with Pardinus. |
ABZ |
2023 |
DBLP DOI BibTeX RDF |
|
| 1 | Kristin Rutenkolk |
Extending Modelchecking with ProB to Floating-Point Numbers and Hybrid Systems. |
ABZ |
2023 |
DBLP DOI BibTeX RDF |
|
| 1 | Thomas Wilson, Stuart Matthews |
Crucible Tools for Test Generation and Animation of Alloy Models. |
ABZ |
2023 |
DBLP DOI BibTeX RDF |
|
| 1 | Peter Riviere |
Formal Meta Engineering Event-B: Extension and Reasoning The EB4EB Framework. |
ABZ |
2021 |
DBLP DOI BibTeX RDF |
|
| 1 | Fabian Vu, Michael Leuschel, Atif Mashkoor |
Validation of Formal Models by Timed Probabilistic Simulation. |
ABZ |
2021 |
DBLP DOI BibTeX RDF |
|
| 1 | Shubhangi Salunkhe, Randolf Berglehner, Abdul Rasheeq |
Automatic Transformation of SysML Model to Event-B Model for Railway CCS Application. |
ABZ |
2021 |
DBLP DOI BibTeX RDF |
|
| 1 | Andrea Bombarda, Silvia Bonfanti, Angelo Gargantini, Elvinia Riccobene |
Extending ASMETA with Time Features. |
ABZ |
2021 |
DBLP DOI BibTeX RDF |
|
| 1 | Fengqing Jiang, Neng Xiong, Xinyu Lian, Senén González, Klaus-Dieter Schewe |
Towards Refinement of Unbounded Parallelism in ASMs Using Concurrency and Reflection. |
ABZ |
2021 |
DBLP DOI BibTeX RDF |
|
| 1 | Thai Son Hoang, Colin F. Snook, Dana Dghaym, Asieh Salehi Fathabadi, Michael J. Butler |
The CamilleX Framework for the Rodin Platform. |
ABZ |
2021 |
DBLP DOI BibTeX RDF |
|
| 1 | Conor Reynolds |
Formalizing the Institution for Event-B in the Coq Proof Assistant. |
ABZ |
2021 |
DBLP DOI BibTeX RDF |
|
| 1 | Robert Eschbach |
Formalizing and Analyzing System Requirements of Automatic Train Operation over ETCS Using Event-B. |
ABZ |
2021 |
DBLP DOI BibTeX RDF |
|
| 1 | Sophie Coudert |
Proving the Safety of a Sliding Window Protocol with Event-B. |
ABZ |
2021 |
DBLP DOI BibTeX RDF |
|
| 1 | Tristan Dyer, John W. Baugh Jr. |
Sterling: A Web-Based Visualizer for Relational Modeling Languages. |
ABZ |
2021 |
DBLP DOI BibTeX RDF |
|
| 1 | Philipp Paulweber, Jakob Moosbrugger, Uwe Zdun |
About the Concolic Execution and Symbolic ASM Function Promotion in CASM. |
ABZ |
2021 |
DBLP DOI BibTeX RDF |
|
| 1 | Asieh Salehi Fathabadi, Colin F. Snook, Thai Son Hoang, Dana Dghaym, Michael J. Butler |
Extensible Record Structures in Event-B. |
ABZ |
2021 |
DBLP DOI BibTeX RDF |
|
| 1 | Dana Dghaym, Thai Son Hoang, Michael J. Butler, Runshan Hu, Leonardo Aniello, Vladimiro Sassone |
Verifying System-Level Security of a Smart Ballot Box. |
ABZ |
2021 |
DBLP DOI BibTeX RDF |
|
| 1 | Jean-Paul Bodeveix, Mamoun Filali |
Event-B Formalization of Event-B Contexts. |
ABZ |
2021 |
DBLP DOI BibTeX RDF |
|
| 1 | Alexander Raschke, Dominique Méry (eds.) |
Rigorous State-Based Methods - 8th International Conference, ABZ 2021, Ulm, Germany, June 9-11, 2021, Proceedings |
ABZ |
2021 |
DBLP DOI BibTeX RDF |
|
| 1 | Mario Lilli |
A Modeling and Verification Framework for Security Protocols. |
ABZ |
2021 |
DBLP DOI BibTeX RDF |
|
| 1 | Zilinghan Li, Shilan He, Yiqing Du, Senén González, Klaus-Dieter Schewe |
Unbounded Barrier-Synchronized Concurrent ASMs for Effective MapReduce Processing on Streams. |
ABZ |
2021 |
DBLP DOI BibTeX RDF |
|
| 1 | Chiara Braghin, Mario Lilli, Elvinia Riccobene |
Towards ASM-Based Automated Formal Verification of Security Protocols. |
ABZ |
2021 |
DBLP DOI BibTeX RDF |
|
| 1 | Mohammad Jahanian, Jiachen Chen, K. K. Ramakrishnan |
Formal Verification of Interoperability Between Future Network Architectures Using Alloy. |
ABZ |
2020 |
DBLP DOI BibTeX RDF |
|
| 1 | Guillaume Dupont, Yamine Aït Ameur, Marc Pantel, Neeraj Kumar Singh 0001 |
Formally Verified Architecture Patterns of Hybrid Systems Using Proof and Refinement with Event-B. |
ABZ |
2020 |
DBLP DOI BibTeX RDF |
|
| 1 | Alcino Cunha, Nuno Macedo, Chong Liu |
Validating Multiple Variants of an Automotive Light System with Electrum. |
ABZ |
2020 |
DBLP DOI BibTeX RDF |
|
| 1 | Robert Clarisó, Jordi Cabot |
Diverse Scenario Exploration in Model Finders Using Graph Kernels and Clustering. |
ABZ |
2020 |
DBLP DOI BibTeX RDF |
|
| 1 | Karla Morris, Colin F. Snook, Thai Son Hoang, Geoffrey C. Hulette, Robert C. Armstrong, Michael J. Butler |
Refinement and Verification of Responsive Control Systems. |
ABZ |
2020 |
DBLP DOI BibTeX RDF |
|
| 1 | Gerhard Schellhorn, Stefan Bodenmüller, Jörg Pfähler, Wolfgang Reif |
Adding Concurrency to a Sequential Refinement Tower. |
ABZ |
2020 |
DBLP DOI BibTeX RDF |
|
| 1 | Thierry Lecomte |
Programming the CLEARSY Safety Platform with B. |
ABZ |
2020 |
DBLP DOI BibTeX RDF |
|
| 1 | Paulius Stankaitis, Alexei Iliasov, Tsutomu Kobayashi, Yamine Aït Ameur, Fuyuki Ishikawa, Alexander B. Romanovsky |
Formal Distributed Protocol Development for Reservation of Railway Sections. |
ABZ |
2020 |
DBLP DOI BibTeX RDF |
|
| 1 | Abdulaziz Almehrej, Leo Freitas, Paolo Modesti |
Account and Transaction Protocol of the Open Banking Standard. |
ABZ |
2020 |
DBLP DOI BibTeX RDF |
|
| 1 | Michelle Werth, Michael Leuschel |
VisB: A Lightweight Tool to Visualize Formal Models with SVG Graphics. |
ABZ |
2020 |
DBLP DOI BibTeX RDF |
|
| 1 | Sebastian Krings, Philipp Körner, Jannik Dunkelau, Chris Rutenkolk |
A Verified Low-Level Implementation of the Adaptive Exterior Light and Speed Control System. |
ABZ |
2020 |
DBLP DOI BibTeX RDF |
|
| 1 | Klaus-Dieter Schewe, Flavio Ferrarotti |
A Logic for Reflective ASMs. |
ABZ |
2020 |
DBLP DOI BibTeX RDF |
|
| 1 | Meryem Afendi, Régine Laleau, Amel Mammar |
Modelling Hybrid Programs with Event-B. |
ABZ |
2020 |
DBLP DOI BibTeX RDF |
|
| 1 | Michael Leuschel, Mareike Mutz, Michelle Werth |
Modelling and Validating an Automotive System in Classical B and Event-B. |
ABZ |
2020 |
DBLP DOI BibTeX RDF |
|
| 1 | Meryem Afendi |
A Correct by Construction Approach for the Modeling and the Verification of Cyber-Physical Systems in Event-B. |
ABZ |
2020 |
DBLP DOI BibTeX RDF |
|
| 1 | Paolo Arcaini, Silvia Bonfanti, Angelo Gargantini, Elvinia Riccobene, Patrizia Scandurra |
Modelling an Automotive Software-Intensive System with Adaptive Features Using ASMETA. |
ABZ |
2020 |
DBLP DOI BibTeX RDF |
|
| 1 | Jannik Dunkelau, Joshua Schmidt, Michael Leuschel |
Analysing ProB's Constraint Solving Backends - What Do They Know? Do They Know Things? Let's Find Out! |
ABZ |
2020 |
DBLP DOI BibTeX RDF |
|
| 1 | Amel Mammar, Marc Frappier |
Modeling of a Speed Control System Using Event-B. |
ABZ |
2020 |
DBLP DOI BibTeX RDF |
|
| 1 | Alexander Raschke, Dominique Méry, Frank Houdek (eds.) |
Rigorous State-Based Methods - 7th International Conference, ABZ 2020, Ulm, Germany, May 27-29, 2020, Proceedings |
ABZ |
2020 |
DBLP DOI BibTeX RDF |
|
| 1 | David Geleßus, Michael Leuschel |
ProB and Jupyter for Logic, Set Theory, Theoretical Computer Science and Formal Methods. |
ABZ |
2020 |
DBLP DOI BibTeX RDF |
|
| 1 | Nuno Macedo, Alcino Cunha, José Pereira 0001, Renato Carvalho, Ricardo Silva, Ana C. R. Paiva, Miguel Sozinho Ramalho, Daniel Castro Silva |
Experiences on Teaching Alloy with an Automated Assessment Platform. |
ABZ |
2020 |
DBLP DOI BibTeX RDF |
|
| 1 | Héctor Ruíz Barradas, Lilian Burdy, David Déharbe |
Existence Proof Obligations for Constraints, Properties and Invariants in Atelier B. |
ABZ |
2020 |
DBLP DOI BibTeX RDF |
|
| 1 | Alexis Grall |
Automatic Generation of DistAlgo Programs from Event-B Models. |
ABZ |
2020 |
DBLP DOI BibTeX RDF |
|
| 1 | Ismaïl Mendil |
A Framework for Critical Interactive System Formal Modelling and Analysis. |
ABZ |
2020 |
DBLP DOI BibTeX RDF |
|
| 1 | Fatima Shokri-Manninen, Leonidas Tsiopoulos, Jüri Vain, Marina Waldén |
Integration of iUML-B and UPPAAL Timed Automata for Development of Real-Time Systems with Concurrent Processes. |
ABZ |
2020 |
DBLP DOI BibTeX RDF |
|
| 1 | Philipp Paulweber, Emmanuel Pescosta, Uwe Zdun |
Structuring the State and Behavior of ASMs: Introducing a Trait-Based Construct for Abstract State Machine Languages. |
ABZ |
2020 |
DBLP DOI BibTeX RDF |
|
| 1 | Egon Börger, Klaus-Dieter Schewe |
A Characterization of Distributed ASMs with Partial-Order Runs. |
ABZ |
2020 |
DBLP DOI BibTeX RDF |
|
| 1 | Diego de Azevedo Oliveira, Marc Frappier |
Verifying SGAC Access Control Policies: A Comparison of ProB, Alloy and Z3. |
ABZ |
2020 |
DBLP DOI BibTeX RDF |
|
| 1 | Fahad Alotaibi |
Improving Trustworthiness of Self-driving Systems. |
ABZ |
2020 |
DBLP DOI BibTeX RDF |
|
| 1 | Ana Cavalcanti 0001 |
Modelling and Verification of Robotic Platforms for Simulation Using RoboStar Technology. |
ABZ |
2020 |
DBLP DOI BibTeX RDF |
|
| 1 | Kenza Kraibi |
Event-B: From Systems to Sub-systems Modeling. |
ABZ |
2020 |
DBLP DOI BibTeX RDF |
|
| 1 | Philipp Körner, Michael Leuschel, Jannik Dunkelau |
Towards a Shared Specification Repository. |
ABZ |
2020 |
DBLP DOI BibTeX RDF |
|
| 1 | Elvinia Riccobene, Patrizia Scandurra |
Exploring the Concept of Abstract State Machines for System Runtime Enforcement. |
ABZ |
2020 |
DBLP DOI BibTeX RDF |
|
| 1 | Racem Bougacha |
A Formal Approach for the Modeling of High-Level Architectures Aligned with System Requirements. |
ABZ |
2020 |
DBLP DOI BibTeX RDF |
|
| 1 | Amel Mammar, Marc Frappier, Régine Laleau |
An Event-B Model of an Automotive Adaptive Exterior Light System. |
ABZ |
2020 |
DBLP DOI BibTeX RDF |
|
| 1 | Sarah Benyagoub, Yamine Aït Ameur, Klaus-Dieter Schewe |
Event-B-Supported Choreography-Defined Communicating Systems - Correctness and Completeness. |
ABZ |
2020 |
DBLP DOI BibTeX RDF |
|
| 1 | Frank Houdek, Alexander Raschke |
Adaptive Exterior Light and Speed Control System. |
ABZ |
2020 |
DBLP DOI BibTeX RDF |
|
| 1 | Jean-Raymond Abrial |
The ABZ-2018 Case Study with Event-B. |
ABZ |
2018 |
DBLP DOI BibTeX RDF |
|
| 1 | Jure Kukovec, Thanh-Hai Tran 0002, Igor Konnov 0001 |
Extracting Symbolic Transitions from TLA+ Specifications. |
ABZ |
2018 |
DBLP DOI BibTeX RDF |
|
| 1 | Wen Su, Jinxin Chen, Shehroz Khan 0002 |
Insulin Pump: Modular Modeling of Hybrid Systems Using Event-B. |
ABZ |
2018 |
DBLP DOI BibTeX RDF |
|
| 1 | Dana Dghaym, Michael Poppleton, Colin F. Snook |
Diagram-Led Formal Modelling Using iUML-B for Hybrid ERTMS Level 3. |
ABZ |
2018 |
DBLP DOI BibTeX RDF |
|
| 1 | Julien Brunel, David Chemouil, Alcino Cunha, Thomas Hujsa, Nuno Macedo, Jeanne Tawa |
Proposition of an Action Layer for Electrum. |
ABZ |
2018 |
DBLP DOI BibTeX RDF |
|
| 1 | Yamine Aït Ameur, Idir Aït-Sadoune, P. Casteran, J. Paul Gibson, Kahina Hacid, Souad Kherroubi, Dominique Méry, Linda Mohand-Oussaïd, Neeraj Kumar Singh 0001, Laurent Voisin |
On the Importance of Explicit Domain Modelling in Refinement-Based Modelling Design. Experiments with Event-B. |
ABZ |
2018 |
DBLP DOI BibTeX RDF |
|
| 1 | Klaus-Dieter Schewe, Loredana Tec, Qing Wang 0002 |
Capturing Membrane Computing by ASMs. |
ABZ |
2018 |
DBLP DOI BibTeX RDF |
|
| 1 | Christoph Beierle, Klaus-Dieter Schewe |
Abstract State Machines with Exact Real Arithmetic. |
ABZ |
2018 |
DBLP DOI BibTeX RDF |
|
| 1 | Flavio Ferrarotti, Senén González, Klaus-Dieter Schewe, José Maria Turull Torres |
Systematic Refinement of Abstract State Machines with Higher-Order Logic. |
ABZ |
2018 |
DBLP DOI BibTeX RDF |
|
| 1 | Steve Jeffrey Tueno Fotso, Amel Mammar, Régine Laleau, Marc Frappier |
Event-B Expression and Verification of Translation Rules Between SysML/KAOS Domain Models and B System Specifications. |
ABZ |
2018 |
DBLP DOI BibTeX RDF |
|
| 1 | Kaiyuan Wang, Allison Sullivan, Manos Koukoutos, Darko Marinov, Sarfraz Khurshid |
Systematic Generation of Non-equivalent Expressions for Relational Algebra. |
ABZ |
2018 |
DBLP DOI BibTeX RDF |
|
| 1 | John W. Baugh Jr., Tristan Dyer |
State-Based Formal Methods in Scientific Computation. |
ABZ |
2018 |
DBLP DOI BibTeX RDF |
|
| 1 | Philipp Paulweber, Emmanuel Pescosta, Uwe Zdun |
CASM-IR: Uniform ASM-Based Intermediate Representation for Model Specification, Execution, and Transformation. |
ABZ |
2018 |
DBLP DOI BibTeX RDF |
|
| 1 | Markus Leitz, Alexander Raschke |
Formal Specification of the Semantics of Control State Diagrams. |
ABZ |
2018 |
DBLP DOI BibTeX RDF |
|
| 1 | Mohammadsadegh Dalvandi, Michael J. Butler, Abdolbaghi Rezazadeh, Asieh Salehi Fathabadi |
Verifiable Code Generation from Scheduled Event-B Models. |
ABZ |
2018 |
DBLP DOI BibTeX RDF |
|
![[Valid RSS]](Pics/valid-rss.png "Validate my RSS feed")
data released under the ODC-BY 1.0 license