Michael J. Butler

Thai Son Hoang

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

Extending ERS for Modelling Dynamic Workflows in Event-B.

[BibT_eX]

[DOI]

Dana Dghaym

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

Formal Analysis of Safety and Security Requirements of Critical Systems Supported by an Extended STPA Methodology.

[BibT_eX]

[DOI]

Proceedings of the 2017 IEEE European Symposium on Security and Privacy Workshops, 2017

2016

Editorial.

[BibT_eX]

[DOI]

Formal Aspects Comput., 2016

Formal Modelling, Testing and Verification of HSA Memory Models using Event-B.

[BibT_eX]

[DOI]

CoRR, 2016

Modelling Hybrid Systems in Event-B and Hybrid Event-B: A Comparison of Water Tanks.

[BibT_eX]

[DOI]

Proceedings of the Formal Methods and Software Engineering, 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

A Graphical Tool for Event Refinement Structures in Event-B.

[BibT_eX]

[DOI]

Dana Dghaym

Matheus Garay Trindade

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

Modelling and Refining Hybrid Systems in Event-B and Rodin.

[BibT_eX]

[DOI]

Jean-Raymond Abrial

Proceedings of the From Action Systems to Distributed Systems - The Refinement Approach., 2016

2015

A method of refinement in UML-B.

[BibT_eX]

[DOI]

Mar Yah Said

Softw. Syst. Model., 2015

Core Hybrid Event-B I: Single Hybrid Event-B machines.

[BibT_eX]

[DOI]

Sci. Comput. Program., 2015

Language and tool support for event refinement structures in Event-B.

[BibT_eX]

[DOI]

Formal Aspects Comput., 2015

Editorial.

[BibT_eX]

[DOI]

George Eleftherakis

Mike Hinchey

Formal Aspects Comput., 2015

Editorial.

[BibT_eX]

[DOI]

Einar Broch Johnsen

Luigia Petre

Formal Aspects Comput., 2015

Transforming Event-B Models to Dafny Contracts.

[BibT_eX]

[DOI]

Mohammadsadegh Dalvandi

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

Towards Automatic Code Generation of Run-Time Power Management for Embedded Systems Using Formal Methods.

[BibT_eX]

[DOI]

Luis Alfonso Maeda-Nunez

Bashir M. Al-Hashimi

Geoff V. Merrett

Proceedings of the IEEE 9th International Symposium on Embedded Multicore/Many-core Systems-on-Chip, 2015

From Event-B Models to Dafny Code Contracts.

[BibT_eX]

[DOI]

Mohammadsadegh Dalvandi

Proceedings of the Fundamentals of Software Engineering - 6th International Conference, 2015

2014

Co-simulating event-B and continuous models via FMI.

[BibT_eX]

[DOI]

Vitaly Savicks

Proceedings of the 2014 Summer Simulation Multiconference, 2014

A Systematic Approach to Requirements Driven Test Generation for Safety Critical Systems.

[BibT_eX]

[DOI]

Toby Wilkinson

Proceedings of the Model-Based Safety and Assessment - 4th International Symposium, 2014

Applying an Integrated Modelling Process to Run-time Management of Many-Core Systems.

[BibT_eX]

[DOI]

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

Co-simulation Environment for Rodin: Landing Gear Case Study.

[BibT_eX]

[DOI]

Vitaly Savicks

Proceedings of the ABZ 2014: The Landing Gear Case Study, 2014

Formal Derivation of Distributed MapReduce.

[BibT_eX]

[DOI]

Inna Pereverzeva

Linas Laibinis

Elena Troubitsyna

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

2013

Mastering System Analysis and Design through Abstraction and Refinement.

[BibT_eX]

[DOI]

Proceedings of the Engineering Dependable Software Systems, 2013

Reasoned modelling critics: Turning failed proofs into modelling guidance.

[BibT_eX]

[DOI]

Sci. Comput. Program., 2013

Editorial.

[BibT_eX]

[DOI]

Formal Aspects Comput., 2013

Evaluation of Graphical Control Flow Management Approaches for Event-B Modelling.

[BibT_eX]

[DOI]

Dana Dghaym

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

Building Traceable Event-B Models from Requirements.

[BibT_eX]

[DOI]

Eman H. Alkhammash

Corina Cîrstea

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

Modelling and Refinement in CODA

[BibT_eX]

[DOI]

Proceedings of the Proceedings 16th International Refinement Workshop, 2013

Systematic Development of Control Designs via Formal Refinement.

[BibT_eX]

[DOI]

Proceedings of the MODELSWARD 2013 - Proceedings of the 1st International Conference on Model-Driven Engineering and Software Development, Barcelona, Spain, 19, 2013

Problem decomposition and sub-model reconciliation of control systems in Event-B.

[BibT_eX]

[DOI]

Proceedings of the IEEE 14th International Conference on Information Reuse & Integration, 2013

Cruise Control in Hybrid Event-B.

[BibT_eX]

[DOI]

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

A Hybrid Event-B Study of Lane Centering.

[BibT_eX]

[DOI]

Proceedings of the Complex Systems Design & Management, 2013

A mixed approach to rigorous development of control designs.

[BibT_eX]

[DOI]

Proceedings of the 2013 IEEE International Symposium on Computer-Aided Control System Design, 2013

Practical Theory Extension in Event-B.

[BibT_eX]

[DOI]

Issam Maamria

Proceedings of the Theories of Programming and Formal Methods, 2013

Tooling.

[BibT_eX]

[DOI]

Laurent Voisin

Thomas Muller

Proceedings of the Industrial Deployment of System Engineering Methods, 2013

2012

External and internal choice with event groups in Event-B.

[BibT_eX]

[DOI]

Formal Aspects Comput., 2012

Building on the DEPLOY Legacy: Code Generation and Simulation

[BibT_eX]

[DOI]

Andrew Edmunds

CoRR, 2012

A Systematic Approach to Atomicity Decomposition in Event-B.

[BibT_eX]

[DOI]

Proceedings of the Software Engineering and Formal Methods - 10th International Conference, 2012

A Practical Approach for Closed Systems Formal Verification Using Event-B.

[BibT_eX]

[DOI]

Proceedings of the Software Engineering and Formal Methods - 10th International Conference, 2012

Control Systems: Phenomena and Structuring Functional Requirement Documents.

[BibT_eX]

[DOI]

Proceedings of the 17th IEEE International Conference on Engineering of Complex Computer Systems, 2012

Event-B Code Generation: Type Extension with Theories.

[BibT_eX]

[DOI]

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

Formal Modelling for Ada Implementations: Tasking Event-B.

[BibT_eX]

[DOI]

Andrew Edmunds

Proceedings of the Reliable Software Technologies - Ada-Europe 2012, 2012

2011

Decomposition tool for event-B.

[BibT_eX]

[DOI]

Softw. Pract. Exp., 2011

Structuring Functional Requirements of Control Systems to Facilitate Refinement-based Formalisation.

[BibT_eX]

[DOI]

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

Specification and refinement of discrete timing properties in Event-B.

[BibT_eX]

[DOI]

Mohammad Reza Sarshogh

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

Composing Event-B Specifications - Case-Study Experience.

[BibT_eX]

[DOI]

Ali Gondal

Michael Poppleton

Proceedings of the Software Composition - 10th International Conference, 2011

Applying Atomicity and Model Decomposition to a Space Craft System in Event-B.

[BibT_eX]

[DOI]

Proceedings of the NASA Formal Methods, 2011

2010

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

[BibT_eX]

[DOI]

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

Editorial.

[BibT_eX]

[DOI]

Formal Aspects Comput., 2010

Rewriting and Well-Definedness within a Proof System

[BibT_eX]

[DOI]

Issam Maamria

Proceedings of the Proceedings Workshop on Partiality and Recursion in Interactive Theorem Provers, 2010

Deriving Relationship Between Semantic Models - An Approach for cCSP

[BibT_eX]

[DOI]

CoRR, 2010

Formalizing cCSP Synchronous Semantics in PVS

[BibT_eX]

[DOI]

CoRR, 2010

Evaluation of a Guideline by Formal Modelling of Cruise Control System in Event-B.

[BibT_eX]

Proceedings of the Second NASA Formal Methods Symposium, 2010

Verification of UML Models by Translation to UML-B.

[BibT_eX]

[DOI]

Vitaly Savicks

Proceedings of the Formal Methods for Components and Objects - 9th International Symposium, 2010

Shared Event Composition/Decomposition in Event-B.

[BibT_eX]

[DOI]

Renato Silva

Proceedings of the Formal Methods for Components and Objects - 9th International Symposium, 2010

A Refinement-Based Correctness Proof of Symmetry Reduced Model Checking.

[BibT_eX]

[DOI]

Edd Turner

Proceedings of the Abstract State Machines, 2010

A Basis for Feature-Oriented Modelling in Event-B.

[BibT_eX]

[DOI]

Jennifer Sorge

Michael Poppleton

Proceedings of the Abstract State Machines, 2010

On an Extensible Rule-Based Prover for Event-B.

[BibT_eX]

[DOI]

Proceedings of the Abstract State Machines, 2010

Reasoned Modelling Critics: Turning Failed Proofs into Modelling Guidance.

[BibT_eX]

[DOI]

Andrew Ireland

Gudmund Grov

Proceedings of the Abstract State Machines, 2010

2009

Formal Development of a Total Order Broadcast for Distributed Transactions Using Event-B.

[BibT_eX]

[DOI]

Proceedings of the Methods, 2009

Event-B Patterns for Specifying Fault-Tolerance in Multi-agent Interaction.

[BibT_eX]

[DOI]

Elisabeth Ball

Proceedings of the Methods, 2009

Applying Event and Machine Decomposition to a Flash-Based Filestore in Event-B.

[BibT_eX]

[DOI]

Kriangsak Damchoom

Proceedings of the Formal Methods: Foundations and Applications, 2009

Decomposition Structures for Event-B.

[BibT_eX]

[DOI]

Proceedings of the Integrated Formal Methods, 7th International Conference, 2009

Supporting Reuse of Event-B Developments through Generic Instantiation.

[BibT_eX]

[DOI]

Renato Silva

Proceedings of the Formal Methods and Software Engineering, 2009

Verification of Liveness Properties in Distributed Systems.

[BibT_eX]

[DOI]

Proceedings of the Contemporary Computing - Second International Conference, 2009

Applying Event-B Atomicity Decomposition to a Multi Media Protocol.

[BibT_eX]

[DOI]

Proceedings of the Formal Methods for Components and Objects - 8th International Symposium, 2009

Language and Tool Support for Class and State Machine Refinement in UML-B.

[BibT_eX]

[DOI]

Mar Yah Said

Proceedings of the FM 2009: Formal Methods, 2009

09381 Extended Abstracts Collection - Refinement Based Methods for the Construction of Dependable Systems.

[BibT_eX]

[DOI]

Proceedings of the Refinement Based Methods for the Construction of Dependable Systems, 13.09., 2009

Validating and Animating Higher-Order Recursive Functions in B.

[BibT_eX]

[DOI]

Dominique Cansell

Proceedings of the Rigorous Methods for Software Construction and Analysis, 2009

2008

ProB: an automated analysis toolset for the B method.

[BibT_eX]

[DOI]

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

An incremental development of the Mondex system in Event-B.

[BibT_eX]

[DOI]

Formal Aspects Comput., 2008

PVS Embedding of cCSP Semantic Models and Their Relationship.

[BibT_eX]

[DOI]

Proceedings of the Eighth International Workshop on Automated Verification of Critical Systems, 2008

Linking Event-B and Concurrent Object-Oriented Programs.

[BibT_eX]

[DOI]

Andrew Edmunds

Proceedings of the 13th BAC-FACS Refinement Workshop, 2008

Modelling and Proof of a Tree-Structured File System in Event-B and Rodin.

[BibT_eX]

[DOI]

Kriangsak Damchoom

Jean-Raymond Abrial

Proceedings of the Formal Methods and Software Engineering, 2008

UML-B: A Plug-in for the Event-B Tool Set.

[BibT_eX]

[DOI]

Proceedings of the Abstract State Machines, B and Z, First International Conference, 2008

A Roadmap for the Rodin Toolset.

[BibT_eX]

[DOI]

Proceedings of the Abstract State Machines, B and Z, First International Conference, 2008

2007

Symmetry Reduced Model Checking for B.

[BibT_eX]

[DOI]

Proceedings of the First Joint IEEE/IFIP Symposium on Theoretical Aspects of Software Engineering, 2007

Automatic Testing from Formal Specifications.

[BibT_eX]

[DOI]

Proceedings of the Tests and Proofs - 1st International Conference, 2007

Symmetry Reduction for B by Permutation Flooding.

[BibT_eX]

[DOI]

Proceedings of the B 2007: Formal Specification and Development in B, 2007

2006

UML-B: Formal modeling and design aided by UML.

[BibT_eX]

[DOI]

ACM Trans. Softw. Eng. Methodol., 2006

Guest Editorial Editorial for the FAC Special Issue based on derivative papers from "Refine '05".

[BibT_eX]

[DOI]

Eerke A. Boiten

Formal Aspects Comput., 2006

Rigorous Design of Fault-Tolerant Transactions for Replicated Database Systems Using Event B.

[BibT_eX]

[DOI]

Proceedings of the Rigorous Development of Complex Fault-Tolerant Systems [FP6 IST-511599 RODIN project], 2006

An Open Extensible Tool Environment for Event-B.

[BibT_eX]

[DOI]

Proceedings of the Formal Methods and Software Engineering, 2006

Roadmap for enhanced languages and methods to aid verification.

[BibT_eX]

[DOI]

Simon L. Peyton Jones

Murali Sitaraman

Douglas R. Smith

Aaron Stump

Proceedings of the Generative Programming and Component Engineering, 2006

A Proposal for Records in Event-B.

[BibT_eX]

[DOI]

Neil Evans

Proceedings of the FM 2006: Formal Methods, 2006

2005

Precise Modelling of Compensating Business Transactions and its Application to BPEL.

[BibT_eX]

[DOI]

Muan Yong Ng

J. Univers. Comput. Sci., 2005

Some Guidelines for Formal Development of Web-Based Applications in B-Method.

[BibT_eX]

[DOI]

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

Automatic Refinement Checking for B.

[BibT_eX]

[DOI]

Proceedings of the Formal Methods and Software Engineering, 2005

Combining CSP and B for Specification and Property Verification.

[BibT_eX]

[DOI]

Proceedings of the FM 2005: Formal Methods, 2005

Executable Semantics for Compensating CSP.

[BibT_eX]

[DOI]

Proceedings of the Formal Techniques for Computer Systems and Business Processes, 2005

Comparing Two Approaches to Compensable Flow Composition.

[BibT_eX]

[DOI]

Proceedings of the CONCUR 2005 - Concurrency Theory, 16th International Conference, 2005

Tools for System Validation with B Abstract Machines.

[BibT_eX]

[DOI]

Proceedings of the 12th International Workshop on Abstract State Machines, 2005

2004

Performance analysis of probabilistic action systems.

[BibT_eX]

[DOI]

Stefan Hallerstede

Formal Aspects Comput., 2004

ProTest: An Automatic Test Environment for B Specifications.

[BibT_eX]

[DOI]

Manoranjan Satpathy

Proceedings of the Workshop on Model Based Testing, 2004

The Use of Formal Methods in the Analysis of Trust (Position Paper).

[BibT_eX]

[DOI]

Proceedings of the Trust Management, Second International Conference, 2004

An Operational Semantics for StAC, a Language for Modelling Long-Running Business Transactions.

[BibT_eX]

[DOI]

Proceedings of the Coordination Models and Languages, 6th International Conference, 2004

A Trace Semantics for Long-Running Transactions.

[BibT_eX]

[DOI]

C. A. R. Hoare

Proceedings of the Communicating Sequential Processes: The First 25 Years, 2004

A Trust Analysis Methodology for Pervasive Computing Systems.

[BibT_eX]

[DOI]

Proceedings of the Trusting Agents for Trusting Electronic Societies, 2004

2003

Using B Refinement to Analyse Compensating Business Processes.

[BibT_eX]

[DOI]

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

Towards Formalizing UML State Diagrams in CSP.

[BibT_eX]

[DOI]

Muan Yong Ng

Proceedings of the 1st International Conference on Software Engineering and Formal Methods (SEFM 2003), 2003

ProB: A Model Checker for B.

[BibT_eX]

[DOI]

Proceedings of the FME 2003: Formal Methods, 2003

Using SPIN and STeP to Verify Business Processes Specifications.

[BibT_eX]

[DOI]

Proceedings of the Perspectives of Systems Informatics, 2003

2002

Extending the concept of transaction compensation.

[BibT_eX]

[DOI]

IBM Syst. J., 2002

On the Use of Data Refinement in the Development of Secure Communications Systems.

[BibT_eX]

[DOI]

Formal Aspects Comput., 2002

A System-Based Approach to the Formal Development of Embedded Controllers for a Railway.

[BibT_eX]

[DOI]

Des. Autom. Embed. Syst., 2002

An Approach to Combining B and Alloy.

[BibT_eX]

[DOI]

Leonid Mikhailov

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

Tool Support for Visualizing CSP in UML.

[BibT_eX]

[DOI]

Muan Yong Ng

Proceedings of the Formal Methods and Software Engineering, 2002

2001

Using a Graphical Design Tool for Formal Specification.

[BibT_eX]

[DOI]

Proceedings of the 13th Annual Workshop of the Psychology of Programming Interest Group, 2001

Transacted Memory for Smart Cards.

[BibT_eX]

[DOI]

Proceedings of the FME 2001: Formal Methods for Increasing Software Productivity, 2001

2000

csp2B: A Practical Approach to Combining CSP and B.

[BibT_eX]

[DOI]

Formal Aspects Comput., 2000

Performing Algorithmic Refinement before Data Refinement in B.

[BibT_eX]

[DOI]

Mairead Meagher

Proceedings of the ZB 2000: Formal Specification and Development in Z and B, First International Conference of B and Z Users, York, UK, August 29, 2000

A Generic Model for Assessing Process Quality.

[BibT_eX]

[DOI]

Proceedings of the New Approaches in Software Measurement, 10th International Workshop, 2000

A Process Compensation Language.

[BibT_eX]

[DOI]