Thai Son Hoang

CoRR, 2024

Semantics Formalisation - From Event-B Contexts to Theories.

[BibT_eX]

[DOI]

Karla Vanessa Morris Wright

Laurent Voisin

Proceedings of the Rigorous State-Based Methods - 10th International Conference, 2024

Designing Exception Handling Using Event-B.

[BibT_eX]

[DOI]

Proceedings of the Rigorous State-Based Methods - 10th International Conference, 2024

Verifying HyperLTL Properties in Event-B.

[BibT_eX]

[DOI]

Proceedings of the Rigorous State-Based Methods - 10th International Conference, 2024

Event-B Development of Modelling Human Intervention Request in Self-driving Vehicle Systems.

[BibT_eX]

[DOI]

Fahad Alotaibi

Proceedings of the Rigorous State-Based Methods - 10th International Conference, 2024

CuneiForm Method for Assuring the Safety of ML-Based Computer Vision Development Datasets.

[BibT_eX]

[DOI]

Haider Al-Shareefy

Proceedings of the 32nd IEEE International Requirements Engineering Conference, 2024

2023

A fairness-based refinement strategy to transform liveness properties in Event-B models.

[BibT_eX]

[DOI]

Sci. Comput. Program., 2023

Designing Critical Systems Using Hierarchical STPA and Event-B.

[BibT_eX]

[DOI]

Karla Vanessa Morris Wright

Proceedings of the Rigorous State-Based Methods - 9th International Conference, 2023

Formal Language Semantics for Triggered Enable Statecharts with a Run-to-Completion Scheduling.

[BibT_eX]

[DOI]

Proceedings of the Theoretical Aspects of Computing - ICTAC 2023, 2023

AIC Approach for Intelligent Systems Requirements Elicitation.

[BibT_eX]

[DOI]

Haider Al-Shareefy

Proceedings of the 7th International Conference on System Reliability and Safety, 2023

A Rigorous Iterative Analysis Approach for Capturing the Safety Requirements of Self-Driving Vehicle Systems.

[BibT_eX]

[DOI]

Fahad Alotaibi

Proceedings of the 47th IEEE Annual Computers, Software, and Applications Conference, 2023

2022

Formal verification and validation of run-to-completion style state charts using Event-B.

[BibT_eX]

[DOI]

Innov. Syst. Softw. Eng., 2022

Developing the UML-B Modelling Tools.

[BibT_eX]

[DOI]

Proceedings of the Software Engineering and Formal Methods. SEFM 2022 Collocated Workshops, 2022

Building an Extensible Textual Framework for the Rodin Platform.

[BibT_eX]

[DOI]

Proceedings of the Software Engineering and Formal Methods. SEFM 2022 Collocated Workshops, 2022

A lightweight approach to the concurrent use and integration of SysML and formal methods in systems design.

[BibT_eX]

[DOI]

Robert Thorburn

Vladimiro Sassone

Proceedings of the 25th International Conference on Model Driven Engineering Languages and Systems: Companion Proceedings, 2022

Generating SPARK from Event-B, Providing Fundamental Safety and Security.

[BibT_eX]

[DOI]

Proceedings of the Advances in Model and Data Engineering in the Digitalization Era, 2022

High-Level Rigorous Template for Analysing Safety Properties of Self-driving Vehicle Systems.

[BibT_eX]

[DOI]

Fahad Alotaibi

Proceedings of the 46th IEEE Annual Computers, Software, and Applications Conferenc, 2022

2021

Domain-specific scenarios for refinement-based methods.

[BibT_eX]

[DOI]

J. Syst. Archit., 2021

Towards Scalable Modeling of Biology in Event-B.

[BibT_eX]

[DOI]

CoRR, 2021

Reasoning About Real-Time Systems in Event-B Models with Fairness Assumptions.

[BibT_eX]

[DOI]

Proceedings of the International Symposium on Theoretical Aspects of Software Engineering, 2021

Refinable Record Structures in Formal Methods.

[BibT_eX]

[DOI]

Proceedings of the Advances in Model and Data Engineering in the Digitalization Era, 2021

The CamilleX Framework for the Rodin Platform.

[BibT_eX]

[DOI]

Proceedings of the Rigorous State-Based Methods - 8th International Conference, 2021

Extensible Record Structures in Event-B.

[BibT_eX]

[DOI]

Proceedings of the Rigorous State-Based Methods - 8th International Conference, 2021

Verifying System-Level Security of a Smart Ballot Box.

[BibT_eX]

[DOI]

Proceedings of the Rigorous State-Based Methods - 8th International Conference, 2021

2020

Introduction to special section on the ABZ 2018 case study: Hybrid ERTMS/ETCS Level 3.

[BibT_eX]

[DOI]

Int. J. Softw. Tools Technol. Transf., 2020

Towards Generating SPARK from Event-B Models.

[BibT_eX]

[DOI]

Sanjeevan Sritharan

Proceedings of the Integrated Formal Methods - 16th International Conference, 2020

Formal Verification of Run-to-Completion Style Statecharts Using Event-B.

[BibT_eX]

[DOI]

Proceedings of the Software Architecture - 14th European Conference, 2020

Refinement and Verification of Responsive Control Systems.

[BibT_eX]

[DOI]

Proceedings of the Rigorous State-Based Methods - 7th International Conference, 2020

2019

Domain-Specific Scenarios for Refinement-Based Methods.

[BibT_eX]

[DOI]

Proceedings of the New Trends in Model and Data Engineering, 2019

Behaviour-Driven Formal Model Development of the ETCS Hybrid Level 3.

[BibT_eX]

[DOI]

Proceedings of the 24th International Conference on Engineering of Complex Computer Systems, 2019

2018

Validating and verifying the requirements and design of a haemodialysis machine using the Rodin toolset.

[BibT_eX]

[DOI]

Lukas Ladenberger

Sci. Comput. Program., 2018

DeepSaucer: Unified Environment for Verifying Deep Neural Networks.

[BibT_eX]

[DOI]

CoRR, 2018

Developing A New Language to Construct Algebraic Hierarchies for Event-B.

[BibT_eX]

[DOI]

James Snook

Proceedings of the Dependable Software Engineering. Theories, Tools, and Applications, 2018

Behaviour-Driven Formal Model Development.

[BibT_eX]

[DOI]

Proceedings of the Formal Methods and Software Engineering, 2018

Reusing Formal Models via Lifting.

[BibT_eX]

[DOI]

Proceedings of the 23rd International Conference on Engineering of Complex Computer Systems, 2018

Refinement of Statecharts with Run-to-Completion Semantics.

[BibT_eX]

[DOI]

Proceedings of the Formal Techniques for Safety-Critical Systems, 2018

The Hybrid ERTMS/ETCS Level 3 Case Study.

[BibT_eX]

[DOI]

Klaus Reichl

Proceedings of the Abstract State Machines, Alloy, B, TLA, VDM, and Z, 2018

2017

Theory Plug-in for Rodin 3.x.

[BibT_eX]

[DOI]

CoRR, 2017

Formal Modelling Techniques for Efficient Development of Railway Control Products.

[BibT_eX]

[DOI]

Proceedings of the Reliability, Safety, and Security of Railway Systems. Modelling, Analysis, Verification, and Certification, 2017

Analysing Security Protocols Using Refinement in iUML-B.

[BibT_eX]

[DOI]

Proceedings of the NASA Formal Methods - 9th International Symposium, 2017

Formal Development of Policing Functions for Intelligent Systems.

[BibT_eX]

[DOI]

Proceedings of the 28th IEEE International Symposium on Software Reliability Engineering, 2017

Class-Diagrams for Abstract Data Types.

[BibT_eX]

[DOI]

Proceedings of the Theoretical Aspects of Computing - ICTAC 2017, 2017

A Composition Mechanism for Refinement-Based Methods.

[BibT_eX]

[DOI]

Proceedings of the 22nd International Conference on Engineering of Complex Computer Systems, 2017

2016

The Unit-B method: refinement guided by progress concerns.

[BibT_eX]

[DOI]

Simon Hudon

Jonathan S. Ostroff

Softw. Syst. Model., 2016

Large-scale system development using Abstract Data Types and refinement.

[BibT_eX]

[DOI]

Sci. Comput. Program., 2016

Foundations for using linear temporal logic in Event-B refinement.

[BibT_eX]

[DOI]

Formal Aspects Comput., 2016

Validating the Requirements and Design of a Hemodialysis Machine Using iUML-B, BMotion Studio, and Co-Simulation.

[BibT_eX]

[DOI]

Proceedings of the Abstract State Machines, Alloy, B, TLA, VDM, and Z, 2016

2015

Consistency Verification of Specification Rules.

[BibT_eX]

[DOI]

Proceedings of the Formal Methods and Software Engineering, 2015

2014

Reasoning about almost-certain convergence properties using Event-B.

[BibT_eX]

[DOI]

Sci. Comput. Program., 2014

Refinement of decomposed models by interface instantiation.

[BibT_eX]

[DOI]

Stefan Hallerstede

Sci. Comput. Program., 2014

Abstractions of non-interference security: probabilistic versus possibilistic.

[BibT_eX]

[DOI]

Formal Aspects Comput., 2014

Code Generation for Event-B.

[BibT_eX]

[DOI]

Proceedings of the Integrated Formal Methods - 11th International Conference, 2014

From TiMo to Event-B: Event-Driven Timed Mobility.

[BibT_eX]

[DOI]

Gabriel Ciobanu

Alin Stefanescu

Proceedings of the 2014 19th International Conference on Engineering of Complex Computer Systems, 2014

Formal System Modelling Using Abstract Data Types in Event-B.

[BibT_eX]

[DOI]

Proceedings of the Abstract State Machines, Alloy, B, TLA, VDM, and Z, 2014

2013

Event-B patterns and their tool support.

[BibT_eX]

[DOI]

Andreas Fürst

Softw. Syst. Model., 2013

Security invariants in discrete transition systems.

[BibT_eX]

[DOI]

Formal Aspects Comput., 2013

Systems Design Guided by Progress Concerns.

[BibT_eX]

[DOI]

Simon Hudon

Proceedings of the Integrated Formal Methods, 10th International Conference, 2013

Technology Transfer.

[BibT_eX]

[DOI]

David A. Basin

Proceedings of the Industrial Deployment of System Engineering Methods, 2013

2012

Proof Hints for Event-B

[BibT_eX]

[DOI]

CoRR, 2012

Abstract Data Types in Event-B - An Application of Generic Instantiation

[BibT_eX]

[DOI]

CoRR, 2012

Refinement by Interface Instantiation.

[BibT_eX]

[DOI]

Stefan Hallerstede

Proceedings of the Abstract State Machines, Alloy, B, VDM, and Z, 2012

2011

Decomposition tool for event-B.

[BibT_eX]

[DOI]

Softw. Pract. Exp., 2011

Development of Control Systems Guided by Models of their Environment.

[BibT_eX]

[DOI]

Simon Hudon

Proceedings of the B 2011 Workshop, 2011

A Survey on Event-B Decomposition.

[BibT_eX]

[DOI]

Electron. Commun. Eur. Assoc. Softw. Sci. Technol., 2011

Reasoning about Liveness Properties in Event-B.

[BibT_eX]

[DOI]

Proceedings of the Formal Methods and Software Engineering, 2011

2010

Rodin: an open toolset for modelling and reasoning in Event-B.

[BibT_eX]

[DOI]

Int. J. Softw. Tools Technol. Transf., 2010

Development of Rabin's Choice Coordination Algorithm in Event-B.

[BibT_eX]

[DOI]

Emre Yilmaz

Electron. Commun. Eur. Assoc. Softw. Sci. Technol., 2010

Event-B Decomposition for Parallel Programs.

[BibT_eX]

[DOI]

Proceedings of the Abstract State Machines, 2010

2009

Developing topology discovery in Event-B.

[BibT_eX]

[DOI]

Sci. Comput. Program., 2009

2008

Using Design Patterns in Formal Methods: An Event-B Approach.

[BibT_eX]

[DOI]

Proceedings of the Theoretical Aspects of Computing, 2008

2007

Qualitative Probabilistic Modelling in Event-B.

[BibT_eX]

[DOI]

Stefan Hallerstede

Proceedings of the Integrated Formal Methods, 6th International Conference, 2007

2006

Tank monitoring: a pAMN case study.

[BibT_eX]

[DOI]

Formal Aspects Comput., 2006

2005

The Challenge of Probabilistic <i>Event B</i> - Extended Abstract.

[BibT_eX]

[DOI]

Carroll Morgan

Proceedings of the ZB 2005: Formal Specification and Development in Z and B, 2005

Development via Refinement in Probabilistic B - Foundation and Case Study.

[BibT_eX]

[DOI]

Proceedings of the ZB 2005: Formal Specification and Development in Z and B, 2005

2003

Probabilistic Termination in B.

[BibT_eX]

[DOI]

Annabelle McIver

Carroll Morgan