Jean-Raymond Abrial

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

2018

Formal modelling of list based dynamic memory allocators.

[BibT_eX]

[DOI]

Sci. China Inf. Sci., 2018

On B and Event-B: Principles, Success and Challenges.

[BibT_eX]

[DOI]

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

2017

Aircraft landing gear system: approaches with Event-B to the modeling of an industrial system.

[BibT_eX]

[DOI]

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

Formal Proof of the Weak Goodstein Theorem.

[BibT_eX]

[DOI]

CoRR, 2017

2016

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

[BibT_eX]

[DOI]

Michael J. Butler

Richard Banach

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

2015

An Exercise in Mathematical Engineering: Stating and Proving Kuratowski Theorem.

[BibT_eX]

[DOI]

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

Formal Development of a Real-Time Operating System Memory Manager.

[BibT_eX]

[DOI]

Proceedings of the 20th International Conference on Engineering of Complex Computer Systems, 2015

2014

Formalizing hybrid systems with Event-B and the Rodin Platform.

[BibT_eX]

[DOI]

Huibiao Zhu

Sci. Comput. Program., 2014

The Rodin Platform Has Turned Ten.

[BibT_eX]

[DOI]

Laurent Voisin

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

From Z to B and then Event-B: Assigning Proofs to Meaningful Programs.

[BibT_eX]

[DOI]

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

Set-Theoretic Models of Computations.

[BibT_eX]

[DOI]

Proceedings of the Theories of Programming and Formal Methods, 2013

2012

Complementary Methodologies for Developing Hybrid Systems with Event-B.

[BibT_eX]

[DOI]

Huibiao Zhu

Proceedings of the Formal Methods and Software Engineering, 2012

Formalizing Hybrid Systems with Event-B.

[BibT_eX]

[DOI]

Huibiao Zhu

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

2011

From Requirements to Development: Methodology and Example.

[BibT_eX]

[DOI]

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

Event-B Decomposition for Parallel Programs.

[BibT_eX]

[DOI]

Proceedings of the Abstract State Machines, 2010

Modeling in Event-B - System and Software Engineering.

[BibT_eX]

[DOI]

Cambridge University Press, ISBN: 978-1-139-19588-1, 2010

2009

Developing topology discovery in Event-B.

[BibT_eX]

[DOI]

Sci. Comput. Program., 2009

Faultless Systems: Yes We Can!.

[BibT_eX]

[DOI]

Computer, 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

2008

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

[BibT_eX]

[DOI]

Proceedings of the Theoretical Aspects of Computing, 2008

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

[BibT_eX]

[DOI]

Kriangsak Damchoom

Michael J. Butler

Proceedings of the Formal Methods and Software Engineering, 2008

A Roadmap for the Rodin Toolset.

[BibT_eX]

[DOI]

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

2007

Formal Methods: Theory Becoming Practice.

[BibT_eX]

[DOI]

J. Univers. Comput. Sci., 2007

Refinement, Decomposition, and Instantiation of Discrete Models: Application to Event-B.

[BibT_eX]

[DOI]

Stefan Hallerstede

Fundam. Informaticae, 2007

A System Development Process with Event-B and the Rodin Platform.

[BibT_eX]

[DOI]

Proceedings of the Formal Methods and Software Engineering, 2007

06191 Abstracts Collection -- Rigorous Methods for Software Construction and Analysis.

[BibT_eX]

[DOI]

Uwe Glässer

Proceedings of the Rigorous Methods for Software Construction and Analysis, 07.05., 2007

06191 Summary -- Rigorous Methods for Software Construction and Analysis.

[BibT_eX]

[DOI]

Uwe Glässer

Proceedings of the Rigorous Methods for Software Construction and Analysis, 07.05., 2007

2006

Tools for Developing Large Systems (A Proposal).

[BibT_eX]

[DOI]

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

Train Systems.

[BibT_eX]

[DOI]

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

Formal methods in industry: achievements, problems, future.

[BibT_eX]

[DOI]

Proceedings of the 28th International Conference on Software Engineering (ICSE 2006), 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

2005

Formal Construction of a Non-blocking Concurrent Queue Algorithm (a Case Study in Atomicity).

[BibT_eX]

[DOI]

J. Univers. Comput. Sci., 2005

The Challenge of Probabilistic Event B - Extended Abstract.

[BibT_eX]

[DOI]

Carroll Morgan

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

Refinement and Reachability in EventB.

[BibT_eX]

[DOI]

Dominique Méry

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

Refinement, Decomposition and Instantiation of Discrete Models.

[BibT_eX]

[DOI]

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

2003

B : passé, présent, futur.

[BibT_eX]

[DOI]

Tech. Sci. Informatiques, 2003

A Mechanically Proved and Incremental Development of IEEE 1394 Tree Identify Protocol.

[BibT_eX]

[DOI]

Dominique Méry

Formal Aspects Comput., 2003

Formal Derivation of Spanning Trees Algorithms.

[BibT_eX]

[DOI]

Dominique Méry

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

B#: Toward a Synthesis between Z and B.

[BibT_eX]

[DOI]

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

Click'n Prove: Interactive Proofs within Set Theory.

[BibT_eX]

[DOI]

Proceedings of the Theorem Proving in Higher Order Logics, 16th International Conference, 2003

Event Based Sequential Program Development: Application to Constructing a Pointer Program.

[BibT_eX]

[DOI]

Proceedings of the FME 2003: Formal Methods, 2003

2002

On Using Conditional Definitions in Formal Theories.

[BibT_eX]

[DOI]

Louis Mussat

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

"Higher-Order" Mathematics in B.

[BibT_eX]

[DOI]

Guy Laffitte

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

1998

Introducing Dynamic Constraints in B.

[BibT_eX]

[DOI]

Louis Mussat

Proceedings of the B'98: Recent Advances in the Development and Use of the B Method, 1998

On B.

[BibT_eX]

[DOI]

Proceedings of the B'98: Recent Advances in the Development and Use of the B Method, 1998

1996

The B-book - assigning programs to meanings.

[BibT_eX]

[DOI]

Cambridge University Press, ISBN: 978-0-51162416-2, 1996

1995

The Stream Boiler Case Study: Competition of Formal Program Specification and Development Methods.

[BibT_eX]

[DOI]

Egon Börger

Hans Langmaack

Proceedings of the Formal Methods for Industrial Applications, 1995

Steam-Boiler Control Specification Problem.

[BibT_eX]

[DOI]

Proceedings of the Formal Methods for Industrial Applications, 1995

1993

On constructing large software systems.

[BibT_eX]

[DOI]

Proceedings of the Formal Methods in Systems Engineering, 1993

1992

On Constructing Large Software Systems.

[BibT_eX]

Proceedings of the Algorithms, Software, Architecture, 1992

1991

The B-Method.

[BibT_eX]

[DOI]

Proceedings of the VDM '91, 1991

1989

A Formal Approach To Large Software Construction.

[BibT_eX]

[DOI]

Proceedings of the Mathematics of Program Construction, 1989

1988

The B Tool (Abstract).

[BibT_eX]

[DOI]

Proceedings of the VDM '88, 1988

1984

The Mathematical Construction of a Program.

[BibT_eX]

[DOI]

Sci. Comput. Program., 1984

1983

A Practical Approach to the Analysis of Concurrent Systems.

[BibT_eX]

[DOI]

Jørgen Steensgaard-Madsen

Proceedings of the Analysis of Concurrent Systems, 1983

1981

KWIC-index generation.

[BibT_eX]

[DOI]

Leif Sandegaard Nielsen

Proceedings of the Program Specification, 1981

1980

Specification Language.

[BibT_eX]

Stephen A. Schuman

Bertrand Meyer

Proceedings of the On the Construction of Programs, 1980

1979

Non-Deterministic System Specification.

[BibT_eX]

[DOI]

Stephen A. Schuman

Proceedings of the Semantics of Concurrent Computation, 1979

1974

Data Semantics.

[BibT_eX]