Jean-Raymond Abrial

According to our database1, Jean-Raymond Abrial
  • authored at least 62 papers between 1974 and 2017.
  • has a "Dijkstra number"2 of three.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Other 

Links

Homepages:

On csauthors.net:

Bibliography

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

Formal Proof of the Weak Goodstein Theorem.
CoRR, 2017

2016
Modelling and Refining Hybrid Systems in Event-B and Rodin.
Proceedings of the From Action Systems to Distributed Systems - The Refinement Approach., 2016

2015
An Exercise in Mathematical Engineering: Stating and Proving Kuratowski Theorem.
Proceedings of the Theoretical Aspects of Computing - ICTAC 2015, 2015

Formal Development of a Real-Time Operating System Memory Manager.
Proceedings of the 20th International Conference on Engineering of Complex Computer Systems, 2015

2014
Formalizing hybrid systems with Event-B and the Rodin Platform.
Sci. Comput. Program., 2014

The Rodin Platform Has Turned Ten.
Proceedings of the Abstract State Machines, Alloy, B, TLA, VDM, and Z, 2014

2013
Event-B patterns and their tool support.
Software and System Modeling, 2013

From Z to B and then Event-B: Assigning Proofs to Meaningful Programs.
Proceedings of the Integrated Formal Methods, 10th International Conference, 2013

Set-Theoretic Models of Computations.
Proceedings of the Theories of Programming and Formal Methods, 2013

2012
Complementary Methodologies for Developing Hybrid Systems with Event-B.
Proceedings of the Formal Methods and Software Engineering, 2012

Formalizing Hybrid Systems with Event-B.
Proceedings of the Abstract State Machines, Alloy, B, VDM, and Z, 2012

2011
From Requirements to Development: Methodology and Example.
Proceedings of the Formal Methods and Software Engineering, 2011

Reasoning about Liveness Properties in Event-B.
Proceedings of the Formal Methods and Software Engineering, 2011

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

Event-B Decomposition for Parallel Programs.
Proceedings of the Abstract State Machines, 2010

Modeling in Event-B - System and Software Engineering.
Cambridge University Press, ISBN: 978-0-521-89556-9, 2010

2009
Developing topology discovery in Event-B.
Sci. Comput. Program., 2009

Faultless Systems: Yes We Can!.
IEEE Computer, 2009

Event-B Patterns and Their Tool Support.
Proceedings of the Seventh IEEE International Conference on Software Engineering and Formal Methods, 2009

Developing Topology Discovery in Event-B.
Proceedings of the Integrated Formal Methods, 7th International Conference, 2009

09381 Extended Abstracts Collection - Refinement Based Methods for the Construction of Dependable Systems.
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.
Proceedings of the Theoretical Aspects of Computing, 2008

Modelling and Proof of a Tree-Structured File System in Event-B and Rodin.
Proceedings of the Formal Methods and Software Engineering, 2008

A Roadmap for the Rodin Toolset.
Proceedings of the Abstract State Machines, B and Z, First International Conference, 2008

2007
Formal Methods: Theory Becoming Practice.
J. UCS, 2007

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

A System Development Process with Event-B and the Rodin Platform.
Proceedings of the Formal Methods and Software Engineering, 2007

06191 Abstracts Collection -- Rigorous Methods for Software Construction and Analysis.
Proceedings of the Rigorous Methods for Software Construction and Analysis, 07.05., 2007

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

2006
Tools for Developing Large Systems (A Proposal).
Proceedings of the Rigorous Development of Complex Fault-Tolerant Systems [FP6 IST-511599 RODIN project], 2006

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

Formal methods in industry: achievements, problems, future.
Proceedings of the 28th International Conference on Software Engineering (ICSE 2006), 2006

An Open Extensible Tool Environment for Event-B.
Proceedings of the Formal Methods and Software Engineering, 2006

Roadmap for enhanced languages and methods to aid verification.
Proceedings of the Generative Programming and Component Engineering, 2006

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

The Challenge of Probabilistic Event B - Extended Abstract.
Proceedings of the ZB 2005: Formal Specification and Development in Z and B, 2005

Refinement and Reachability in EventB.
Proceedings of the ZB 2005: Formal Specification and Development in Z and B, 2005

Refinement, Decomposition and Instantiation of Discrete Models.
Proceedings of the 12th International Workshop on Abstract State Machines, 2005

The B-book - assigning programs to meanings.
Cambridge University Press, ISBN: 978-0-521-02175-3, 2005

2003
B : passé, présent, futur.
Technique et Science Informatiques, 2003

A Mechanically Proved and Incremental Development of IEEE 1394 Tree Identify Protocol.
Formal Asp. Comput., 2003

Formal Derivation of Spanning Trees Algorithms.
Proceedings of the ZB 2003: Formal Specification and Development in Z and B, 2003

B#: Toward a Synthesis between Z and B.
Proceedings of the ZB 2003: Formal Specification and Development in Z and B, 2003

Click'n Prove: Interactive Proofs within Set Theory.
Proceedings of the Theorem Proving in Higher Order Logics, 16th International Conference, 2003

Event Based Sequential Program Development: Application to Constructing a Pointer Program.
Proceedings of the FME 2003: Formal Methods, 2003

2002
On Using Conditional Definitions in Formal Theories.
Proceedings of the ZB 2002: Formal Specification and Development in Z and B, 2002

"Higher-Order" Mathematics in B.
Proceedings of the ZB 2002: Formal Specification and Development in Z and B, 2002

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

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

1995
The Stream Boiler Case Study: Competition of Formal Program Specification and Development Methods.
Proceedings of the Formal Methods for Industrial Applications, 1995

Steam-Boiler Control Specification Problem.
Proceedings of the Formal Methods for Industrial Applications, 1995

1992
On Constructing Large Software Systems.
Proceedings of the Algorithms, Software, Architecture, 1992

1991
The B-Method.
Proceedings of the VDM '91, 1991

1989
A Formal Approach To Large Software Construction.
Proceedings of the Mathematics of Program Construction, 1989

1988
The B Tool (Abstract).
Proceedings of the VDM '88, 1988

1984
The Mathematical Construction of a Program.
Sci. Comput. Program., 1984

1983
A Practical Approach to the Analysis of Concurrent Systems.
Proceedings of the Analysis of Concurrent Systems, 1983

1981

1980
Specification Language.
On the Construction of Programs, 1980

1979
Non-Deterministic System Specification.
Proceedings of the Semantics of Concurrent Computation, 1979

1974
Data Semantics.
Proceedings of the Data Base Management, 1974


  Loading...