Data Semantics. - Jean-Raymond Abrial (IFIP Working Conference Data Base Management, 1974)

Non-Deterministic System Specification. - Jean-Raymond Abrial; Stephen A. Schuman (Semantics of Concurrent Computation, 1979)

Specification Language. - Jean-Raymond Abrial; Stephen A. Schuman; Bertrand Meyer 001 (On the Construction of Programs, 1980)

KWIC-index generation. - 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 (Program Specification, 1981)

A Practical Approach to the Analysis of Concurrent Systems. - Jean-Raymond Abrial (The Analysis of Concurrent Systems, 1983)

The Mathematical Construction of a Program. - Jean-Raymond Abrial (Sci. Comput. Program., 1984)

The B Tool (Abstract). - Jean-Raymond Abrial (VDM Europe, 1988)

A Formal Approach To Large Software Construction. - Jean-Raymond Abrial (MPC, 1989)

The B-Method. - Jean-Raymond Abrial; Matthew K. O. Lee; David Neilson; P. N. Scharbach; Ib Holm Sørensen (VDM Europe (2), 1991)

On Constructing Large Software Systems. - Jean-Raymond Abrial (IFIP Congress (1), 1992)

On constructing large software systems. - Jean-Raymond Abrial (Formal Methods in Systems Engineering, 1993)

Steam-Boiler Control Specification Problem. - Jean-Raymond Abrial (Formal Methods for Industrial Applications, 1995)

The Stream Boiler Case Study: Competition of Formal Program Specification and Development Methods. - Jean-Raymond Abrial; Egon Börger; Hans Langmaack (Formal Methods for Industrial Applications, 1995)

The B-book - assigning programs to meanings. - Jean-Raymond Abrial (Cambridge University Press, 1996)

On B. - Jean-Raymond Abrial (B, 1998)

Introducing Dynamic Constraints in B. - Jean-Raymond Abrial; Louis Mussat (B, 1998)

"Higher-Order" Mathematics in B. - Jean-Raymond Abrial; Dominique Cansell; Guy Laffitte (ZB, 2002)

On Using Conditional Definitions in Formal Theories. - Jean-Raymond Abrial; Louis Mussat (ZB, 2002)

Event Based Sequential Program Development: Application to Constructing a Pointer Program. - Jean-Raymond Abrial (FME, 2003)

Click'n Prove: Interactive Proofs within Set Theory. - Jean-Raymond Abrial; Dominique Cansell (TPHOLs, 2003)

B#: Toward a Synthesis between Z and B. - Jean-Raymond Abrial (ZB, 2003)

Formal Derivation of Spanning Trees Algorithms. - Jean-Raymond Abrial; Dominique Cansell; Dominique Méry (ZB, 2003)

A Mechanically Proved and Incremental Development of IEEE 1394 Tree Identify Protocol. - Jean-Raymond Abrial; Dominique Cansell; Dominique Méry (Formal Aspects Comput., 2003)

B : passé, présent, futur. - Jean-Raymond Abrial (Tech. Sci. Informatiques, 2003)

Refinement, Decomposition and Instantiation of Discrete Models. - Jean-Raymond Abrial (Abstract State Machines, 2005)

Refinement and Reachability in EventB. - Jean-Raymond Abrial; Dominique Cansell; Dominique Méry (ZB, 2005)

The Challenge of Probabilistic Event B - Extended Abstract. - Carroll Morgan; Thai Son Hoang; Jean-Raymond Abrial (ZB, 2005)

Formal Construction of a Non-blocking Concurrent Queue Algorithm (a Case Study in Atomicity). - Jean-Raymond Abrial; Dominique Cansell (J. Univers. Comput. Sci., 2005)

Roadmap for enhanced languages and methods to aid verification. - 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 001; Simon L. Peyton Jones; Murali Sitaraman; Douglas R. Smith; et al. (GPCE, 2006)

An Open Extensible Tool Environment for Event-B. - Jean-Raymond Abrial; Michael J. Butler; Stefan Hallerstede; Laurent Voisin (ICFEM, 2006)

Formal methods in industry: achievements, problems, future. - Jean-Raymond Abrial (ICSE, 2006)

Train Systems. - Jean-Raymond Abrial (RODIN Book, 2006)

Tools for Developing Large Systems (A Proposal). - Jean-Raymond Abrial (RODIN Book, 2006)

06191 Summary – Rigorous Methods for Software Construction and Analysis. - Jean-Raymond Abrial; Uwe Glässer (Rigorous Methods for Software Construction and Analysis, 2007)

06191 Abstracts Collection – Rigorous Methods for Software Construction and Analysis. - Jean-Raymond Abrial; Uwe Glässer (Rigorous Methods for Software Construction and Analysis, 2007)

A System Development Process with Event-B and the Rodin Platform. - Jean-Raymond Abrial (ICFEM, 2007)

Refinement, Decomposition, and Instantiation of Discrete Models: Application to Event-B. - Jean-Raymond Abrial; Stefan Hallerstede (Fundam. Informaticae, 2007)

Formal Methods: Theory Becoming Practice. - Jean-Raymond Abrial (J. Univers. Comput. Sci., 2007)

A Roadmap for the Rodin Toolset. - Jean-Raymond Abrial; Michael J. Butler; Stefan Hallerstede; Laurent Voisin (ABZ, 2008)

Modelling and Proof of a Tree-Structured File System in Event-B and Rodin. - Kriangsak Damchoom; Michael J. Butler; Jean-Raymond Abrial (ICFEM, 2008)

Using Design Patterns in Formal Methods: An Event-B Approach. - Jean-Raymond Abrial; Thai Son Hoang (ICTAC, 2008)

09381 Extended Abstracts Collection - Refinement Based Methods for the Construction of Dependable Systems. - Jean-Raymond Abrial; Michael J. Butler; Rajev Joshi; Elena Troubitsyna; J. C. P. Woodcock (Refinement Based Methods for the Construction of Dependable Systems, 2009)

Faultless Systems: Yes We Can!. - Jean-Raymond Abrial (Computer, 2009)

Developing topology discovery in Event-B. - Thai Son Hoang; Hironobu Kuruma; David A. Basin; Jean-Raymond Abrial (Sci. Comput. Program., 2009)

Modeling in Event-B - System and Software Engineering. - Jean-Raymond Abrial (Cambridge University Press, 2010)

Event-B Decomposition for Parallel Programs. - Thai Son Hoang; Jean-Raymond Abrial (ASM, 2010)

Rodin: an open toolset for modelling and reasoning in Event-B. - Jean-Raymond Abrial; Michael J. Butler; Stefan Hallerstede; Thai Son Hoang; Farhad Mehta; Laurent Voisin (Int. J. Softw. Tools Technol. Transf., 2010)

Reasoning about Liveness Properties in Event-B. - Thai Son Hoang; Jean-Raymond Abrial (ICFEM, 2011)

From Requirements to Development: Methodology and Example. - Wen Su; Jean-Raymond Abrial; Runlei Huang; Huibiao Zhu (ICFEM, 2011)

Formalizing Hybrid Systems with Event-B. - Jean-Raymond Abrial; Wen Su; Huibiao Zhu (ABZ, 2012)

Complementary Methodologies for Developing Hybrid Systems with Event-B. - Wen Su; Jean-Raymond Abrial; Huibiao Zhu (ICFEM, 2012)

Set-Theoretic Models of Computations. - Jean-Raymond Abrial (Theories of Programming and Formal Methods, 2013)

From Z to B and then Event-B: Assigning Proofs to Meaningful Programs. - Jean-Raymond Abrial (IFM, 2013)

Event-B patterns and their tool support. - Thai Son Hoang; Andreas Fürst; Jean-Raymond Abrial (Softw. Syst. Model., 2013)

The Rodin Platform Has Turned Ten. - Laurent Voisin; Jean-Raymond Abrial (ABZ, 2014)

Formalizing hybrid systems with Event-B and the Rodin Platform. - Wen Su; Jean-Raymond Abrial; Huibiao Zhu (Sci. Comput. Program., 2014)

Formal Development of a Real-Time Operating System Memory Manager. - Wen Su; Jean-Raymond Abrial; Geguang Pu; Bin Fang 004 (ICECCS, 2015)

An Exercise in Mathematical Engineering: Stating and Proving Kuratowski Theorem. - Jean-Raymond Abrial (ICTAC, 2015)

Modelling and Refining Hybrid Systems in Event-B and Rodin. - Michael J. Butler; Jean-Raymond Abrial; Richard Banach (From Action Systems to Distributed Systems, 2016)

Formal Proof of the Weak Goodstein Theorem. - Jean-Raymond Abrial (CoRR, 2017)

Aircraft landing gear system: approaches with Event-B to the modeling of an industrial system. - Wen Su; Jean-Raymond Abrial (Int. J. Softw. Tools Technol. Transf., 2017)

On B and Event-B: Principles, Success and Challenges. - Jean-Raymond Abrial (ABZ, 2018)

Formal modelling of list based dynamic memory allocators. - Bin Fang 004; Mihaela Sighireanu; Geguang Pu; Wen Su; Jean-Raymond Abrial; Mengfei Yang; Lei Qiao 002 (Sci. China Inf. Sci., 2018)

The ABZ-2018 case study with Event-B. - Jean-Raymond Abrial (Int. J. Softw. Tools Technol. Transf., 2020)

The Proved Construction of a Protocol with an Example Inspired by the Paxos Protocol. - Dominique Cansell; Jean-Raymond Abrial (ABZ, 2025)