Jean-Raymond Abrial

Publication Activity (10 Years)

Years Active: 1974-2020
Publications (10 Years): 6

Top Topics

Temporal Events

Top Venues

Int. J. Softw. Tools Technol. Transf.

Theories of Programming and Formal Methods

Publications

Jean-Raymond Abrial
The ABZ-2018 case study with Event-B. Int. J. Softw. Tools Technol. Transf. 22 (3) (2020)
Jean-Raymond Abrial
On B and Event-B: Principles, Success and Challenges. ABZ (2018)
Bin Fang, Mihaela Sighireanu, Geguang Pu, Wen Su, Jean-Raymond Abrial, Mengfei Yang, Lei Qiao
Formal modelling of list based dynamic memory allocators. Sci. China Inf. Sci. 61 (12) (2018)
Jean-Raymond Abrial
The ABZ-2018 Case Study with Event-B. ABZ (2018)
Wen Su, Jean-Raymond Abrial
Aircraft landing gear system: approaches with Event-B to the modeling of an industrial system. Int. J. Softw. Tools Technol. Transf. 19 (2) (2017)
Jean-Raymond Abrial
Formal Proof of the Weak Goodstein Theorem. CoRR (2017)
Jean-Raymond Abrial
An Exercise in Mathematical Engineering: Stating and Proving Kuratowski Theorem. ICTAC (2015)
Wen Su, Jean-Raymond Abrial, Geguang Pu, Bin Fang
Formal Development of a Real-Time Operating System Memory Manager. ICECCS (2015)
Wen Su, Jean-Raymond Abrial, Huibiao Zhu
Formalizing hybrid systems with Event-B and the Rodin Platform. Sci. Comput. Program. 94 (2014)
Laurent Voisin, Jean-Raymond Abrial
The Rodin Platform Has Turned Ten. ABZ (2014)
Wen Su, Jean-Raymond Abrial
Aircraft Landing Gear System: Approaches with Event-B to the Modeling of an Industrial System. ABZ (Case Study) (2014)
Jean-Raymond Abrial
Set-Theoretic Models of Computations. Theories of Programming and Formal Methods (2013)
Jean-Raymond Abrial
From Z to B and then Event-B: Assigning Proofs to Meaningful Programs. IFM (2013)
Thai Son Hoang, Andreas Fürst, Jean-Raymond Abrial
Event-B patterns and their tool support. Softw. Syst. Model. 12 (2) (2013)
Wen Su, Jean-Raymond Abrial, Huibiao Zhu
Complementary Methodologies for Developing Hybrid Systems with Event-B. ICFEM (2012)
Jean-Raymond Abrial, Wen Su, Huibiao Zhu
Formalizing Hybrid Systems with Event-B. ABZ (2012)
Wen Su, Jean-Raymond Abrial, Runlei Huang, Huibiao Zhu
From Requirements to Development: Methodology and Example. ICFEM (2011)
Thai Son Hoang, Jean-Raymond Abrial
Reasoning about Liveness Properties in Event-B. ICFEM (2011)
Thai Son Hoang, Jean-Raymond Abrial
Event-B Decomposition for Parallel Programs. ASM (2010)
Jean-Raymond Abrial, Michael J. Butler, Stefan Hallerstede, Thai Son Hoang, Farhad Mehta, Laurent Voisin
Rodin: an open toolset for modelling and reasoning in Event-B. Int. J. Softw. Tools Technol. Transf. 12 (6) (2010)
Jean-Raymond Abrial
Faultless Systems: Yes We Can!. Computer 42 (9) (2009)
Thai Son Hoang, Hironobu Kuruma, David A. Basin, Jean-Raymond Abrial
Developing topology discovery in Event-B. Sci. Comput. Program. 74 (11-12) (2009)
Jean-Raymond Abrial, Michael J. Butler, Rajev Joshi, Elena Troubitsyna, J. C. P. Woodcock
09381 Extended Abstracts Collection - Refinement Based Methods for the Construction of Dependable Systems. Refinement Based Methods for the Construction of Dependable Systems (2009)
Thai Son Hoang, Andreas Fürst, Jean-Raymond Abrial
Event-B Patterns and Their Tool Support. SEFM (2009)
Thai Son Hoang, Hironobu Kuruma, David A. Basin, Jean-Raymond Abrial
Developing Topology Discovery in Event-B. IFM (2009)
Kriangsak Damchoom, Michael J. Butler, Jean-Raymond Abrial
Modelling and Proof of a Tree-Structured File System in Event-B and Rodin. ICFEM (2008)
Jean-Raymond Abrial, Thai Son Hoang
Using Design Patterns in Formal Methods: An Event-B Approach. ICTAC (2008)
Jean-Raymond Abrial, Michael J. Butler, Stefan Hallerstede, Laurent Voisin
A Roadmap for the Rodin Toolset. ABZ (2008)
Jean-Raymond Abrial, Uwe Glässer
06191 Summary -- Rigorous Methods for Software Construction and Analysis. Rigorous Methods for Software Construction and Analysis (2007)
Jean-Raymond Abrial
Formal Methods: Theory Becoming Practice. J. Univers. Comput. Sci. 13 (5) (2007)
Jean-Raymond Abrial, Uwe Glässer
06191 Abstracts Collection -- Rigorous Methods for Software Construction and Analysis. Rigorous Methods for Software Construction and Analysis (2007)
Jean-Raymond Abrial
A System Development Process with Event-B and the Rodin Platform. ICFEM (2007)
Jean-Raymond Abrial, Stefan Hallerstede
Refinement, Decomposition, and Instantiation of Discrete Models: Application to Event-B. Fundam. Informaticae 77 (1-2) (2007)
Gary T. Leavens, Jean-Raymond Abrial, Don S. Batory, Michael J. Butler, Alessandro Coglio, Kathi Fisler, Eric C. R. Hehner, Cliff B. Jones, Dale Miller, Simon L. Peyton Jones, Murali Sitaraman, Douglas R. Smith, Aaron Stump
Roadmap for enhanced languages and methods to aid verification. GPCE (2006)
Jean-Raymond Abrial
Train Systems. RODIN Book (2006)
Jean-Raymond Abrial
Tools for Developing Large Systems (A Proposal). RODIN Book (2006)
Jean-Raymond Abrial
Formal methods in industry: achievements, problems, future. ICSE (2006)
Jean-Raymond Abrial, Michael J. Butler, Stefan Hallerstede, Laurent Voisin
An Open Extensible Tool Environment for Event-B. ICFEM (2006)
Jean-Raymond Abrial
Refinement, Decomposition and Instantiation of Discrete Models. Abstract State Machines (2005)
Jean-Raymond Abrial, Dominique Cansell, Dominique Méry
. ZB (2005)
Carroll Morgan, Thai Son Hoang, Jean-Raymond Abrial
- Extended Abstract. ZB (2005)
Jean-Raymond Abrial, Dominique Cansell
Formal Construction of a Non-blocking Concurrent Queue Algorithm (a Case Study in Atomicity). J. Univers. Comput. Sci. 11 (5) (2005)
Jean-Raymond Abrial, Dominique Cansell
Click'n Prove: Interactive Proofs within Set Theory. TPHOLs (2003)
Jean-Raymond Abrial
: Toward a Synthesis between Z and B. ZB (2003)
Jean-Raymond Abrial
Event Based Sequential Program Development: Application to Constructing a Pointer Program. FME (2003)
Jean-Raymond Abrial
B : passé, présent, futur. Tech. Sci. Informatiques 22 (1) (2003)
Jean-Raymond Abrial, Dominique Cansell, Dominique Méry
A Mechanically Proved and Incremental Development of IEEE 1394 Tree Identify Protocol. Formal Aspects Comput. 14 (3) (2003)
Jean-Raymond Abrial, Dominique Cansell, Dominique Méry
Formal Derivation of Spanning Trees Algorithms. ZB (2003)
Jean-Raymond Abrial, Louis Mussat
On Using Conditional Definitions in Formal Theories. ZB (2002)
Jean-Raymond Abrial, Dominique Cansell, Guy Laffitte
"Higher-Order" Mathematics in B. ZB (2002)
Jean-Raymond Abrial, Louis Mussat
Introducing Dynamic Constraints in B. B (1998)
Jean-Raymond Abrial
On B. B (1998)
Jean-Raymond Abrial
Steam-Boiler Control Specification Problem. Formal Methods for Industrial Applications (1995)
Jean-Raymond Abrial, Egon Börger, Hans Langmaack
The Stream Boiler Case Study: Competition of Formal Program Specification and Development Methods. Formal Methods for Industrial Applications (1995)
Jean-Raymond Abrial
On Constructing Large Software Systems. IFIP Congress (1) (1992)
Jean-Raymond Abrial, Matthew K. O. Lee, David Neilson, P. N. Scharbach, Ib Holm Sørensen
The B-Method. VDM Europe (2) (1991)
Jean-Raymond Abrial
A Formal Approach To Large Software Construction. MPC (1989)
Jean-Raymond Abrial
The B Tool (Abstract). VDM Europe (1988)
Jean-Raymond Abrial
The Mathematical Construction of a Program. Sci. Comput. Program. 4 (1) (1984)
Jean-Raymond Abrial
A Practical Approach to the Analysis of Concurrent Systems. The Analysis of Concurrent Systems (1983)
Jørgen Steensgaard-Madsen, Jane W. Hughes, Malcolm S. Powell, Hartmut Ehrig, Hans-Jörg Kreowski, Leif Sandegaard Nielsen, Jean-Raymond Abrial, Ib Holm Sørensen, Robin M. Gallimore, Derek Coleman, Joseph A. Goguen
KWIC-index generation. Program Specification (1981)
Jean-Raymond Abrial, Stephen A. Schuman
Non-Deterministic System Specification. Semantics of Concurrent Computation (1979)
Jean-Raymond Abrial
Data Semantics. IFIP Working Conference Data Base Management (1974)