Jean-Raymond Abrial

73 papers A* 1B 6C 14Journal 15Unranked 28
YearRankTypeTitle / Venue / Authors
2025 C conf
The Proved Construction of a Protocol with an Example Inspired by the Paxos Protocol.
ABZ
Dominique Cansell, Jean-Raymond Abrial
2020 J jnl
The ABZ-2018 case study with Event-B.
Int. J. Softw. Tools Technol. Transf.
Jean-Raymond Abrial
2018 J jnl
Formal modelling of list based dynamic memory allocators.
Sci. China Inf. Sci.
Bin Fang, Mihaela Sighireanu, Geguang Pu, Wen Su, Jean-Raymond Abrial, Mengfei Yang, Lei Qiao
2018 C conf
On B and Event-B: Principles, Success and Challenges.
ABZ
Jean-Raymond Abrial
2018 C conf
The ABZ-2018 Case Study with Event-B.
ABZ
Jean-Raymond Abrial
2017 J jnl
Aircraft landing gear system: approaches with Event-B to the modeling of an industrial system.
Int. J. Softw. Tools Technol. Transf.
Wen Su, Jean-Raymond Abrial
2017 J jnl
Formal Proof of the Weak Goodstein Theorem.
CoRR
Jean-Raymond Abrial
2016 — ch.
Modelling and Refining Hybrid Systems in Event-B and Rodin.
From Action Systems to Distributed Systems
Michael J. Butler, Jean-Raymond Abrial, Richard Banach
2015 C conf
An Exercise in Mathematical Engineering: Stating and Proving Kuratowski Theorem.
ICTAC
Jean-Raymond Abrial
2015 B conf
Formal Development of a Real-Time Operating System Memory Manager.
ICECCS
Wen Su, Jean-Raymond Abrial, Geguang Pu, Bin Fang
2014 — conf
Aircraft Landing Gear System: Approaches with Event-B to the Modeling of an Industrial System.
ABZ (Case Study)
Wen Su, Jean-Raymond Abrial
2014 J jnl
Formalizing hybrid systems with Event-B and the Rodin Platform.
Sci. Comput. Program.
Wen Su, Jean-Raymond Abrial, Huibiao Zhu
2014 C conf
The Rodin Platform Has Turned Ten.
ABZ
Laurent Voisin, Jean-Raymond Abrial
2013 J jnl
Event-B patterns and their tool support.
Softw. Syst. Model.
Thai Son Hoang, Andreas Fürst, Jean-Raymond Abrial
2013 B conf
From Z to B and then Event-B: Assigning Proofs to Meaningful Programs.
IFM
Jean-Raymond Abrial
2013 — conf
Set-Theoretic Models of Computations.
Theories of Programming and Formal Methods
Jean-Raymond Abrial
2012 C conf
Complementary Methodologies for Developing Hybrid Systems with Event-B.
ICFEM
Wen Su, Jean-Raymond Abrial, Huibiao Zhu
2012 C conf
Formalizing Hybrid Systems with Event-B.
ABZ
Jean-Raymond Abrial, Wen Su, Huibiao Zhu
2011 C conf
From Requirements to Development: Methodology and Example.
ICFEM
Wen Su, Jean-Raymond Abrial, Runlei Huang, Huibiao Zhu
2011 C conf
Reasoning about Liveness Properties in Event-B.
ICFEM
Thai Son Hoang, Jean-Raymond Abrial
2010 — conf
Event-B Decomposition for Parallel Programs.
ASM
Thai Son Hoang, Jean-Raymond Abrial
2010 — book
Modeling in Event-B - System and Software Engineering.
Jean-Raymond Abrial
2010 J jnl
Rodin: an open toolset for modelling and reasoning in Event-B.
Int. J. Softw. Tools Technol. Transf.
Jean-Raymond Abrial, Michael J. Butler, Stefan Hallerstede, Thai Son Hoang, Farhad Mehta, Laurent Voisin
2009 — conf
09381 Extended Abstracts Collection - Refinement Based Methods for the Construction of Dependable Systems.
Refinement Based Methods for the Construction of Dependable Systems
Jean-Raymond Abrial, Michael J. Butler, Rajev Joshi, Elena Troubitsyna, J. C. P. Woodcock
2009 B conf
Developing Topology Discovery in Event-B.
IFM
Thai Son Hoang, Hironobu Kuruma, David A. Basin, Jean-Raymond Abrial
2009 J jnl
Developing topology discovery in Event-B.
Sci. Comput. Program.
Thai Son Hoang, Hironobu Kuruma, David A. Basin, Jean-Raymond Abrial
2009 B conf
Event-B Patterns and Their Tool Support.
SEFM
Thai Son Hoang, Andreas Fürst, Jean-Raymond Abrial
2009 J jnl
Faultless Systems: Yes We Can!.
Computer
Jean-Raymond Abrial
2009 — ed.
Refinement Based Methods for the Construction of Dependable Systems, 13.09. - 18.09.2009
Refinement Based Methods for the Construction of Dependable Systems
Jean-Raymond Abrial, Michael J. Butler, Rajev Joshi, Elena Troubitsyna, J. C. P. Woodcock
2009 — ed.
Rigorous Methods for Software Construction and Analysis, Essays Dedicated to Egon Börger on the Occasion of His 60th Birthday
Rigorous Methods for Software Construction and Analysis
Jean-Raymond Abrial, Uwe Glässer
2008 C conf
A Roadmap for the Rodin Toolset.
ABZ
Jean-Raymond Abrial, Michael J. Butler, Stefan Hallerstede, Laurent Voisin
2008 C conf
Modelling and Proof of a Tree-Structured File System in Event-B and Rodin.
ICFEM
Kriangsak Damchoom, Michael J. Butler, Jean-Raymond Abrial
2008 C conf
Using Design Patterns in Formal Methods: An Event-B Approach.
ICTAC
Jean-Raymond Abrial, Thai Son Hoang
2007 — conf
06191 Abstracts Collection -- Rigorous Methods for Software Construction and Analysis.
Rigorous Methods for Software Construction and Analysis
Jean-Raymond Abrial, Uwe Glässer
2007 — conf
06191 Summary -- Rigorous Methods for Software Construction and Analysis.
Rigorous Methods for Software Construction and Analysis
Jean-Raymond Abrial, Uwe Glässer
2007 C conf
A System Development Process with Event-B and the Rodin Platform.
ICFEM
Jean-Raymond Abrial
2007 J jnl
Formal Methods: Theory Becoming Practice.
J. Univers. Comput. Sci.
Jean-Raymond Abrial
2007 J jnl
Refinement, Decomposition, and Instantiation of Discrete Models: Application to Event-B.
Fundam. Informaticae
Jean-Raymond Abrial, Stefan Hallerstede
2006 C conf
An Open Extensible Tool Environment for Event-B.
ICFEM
Jean-Raymond Abrial, Michael J. Butler, Stefan Hallerstede, Laurent Voisin
2006 A* conf
Formal methods in industry: achievements, problems, future.
ICSE
Jean-Raymond Abrial
2006 — ed.
Rigorous Methods for Software Construction and Analysis, 07.05. - 12.05.2006
Rigorous Methods for Software Construction and Analysis
Jean-Raymond Abrial, Uwe Glässer
2006 B conf
Roadmap for enhanced languages and methods to aid verification.
GPCE
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
2006 — conf
Tools for Developing Large Systems (A Proposal).
RODIN Book
Jean-Raymond Abrial
2006 — conf
Train Systems.
RODIN Book
Jean-Raymond Abrial
2005 J jnl
Formal Construction of a Non-blocking Concurrent Queue Algorithm (a Case Study in Atomicity).
J. Univers. Comput. Sci.
Jean-Raymond Abrial, Dominique Cansell
2005 — conf
Refinement and Reachability in Event
ZB
Jean-Raymond Abrial, Dominique Cansell, Dominique Méry
2005 — conf
Refinement, Decomposition and Instantiation of Discrete Models.
Abstract State Machines
Jean-Raymond Abrial
2005 — conf
The Challenge of Probabilistic
ZB
Carroll Morgan, Thai Son Hoang, Jean-Raymond Abrial
2003 J jnl
A Mechanically Proved and Incremental Development of IEEE 1394 Tree Identify Protocol.
Formal Aspects Comput.
Jean-Raymond Abrial, Dominique Cansell, Dominique Méry
2003 — conf
B
ZB
Jean-Raymond Abrial
2003 J jnl
B : passé, présent, futur.
Tech. Sci. Informatiques
Jean-Raymond Abrial
2003 — conf
Click'n Prove: Interactive Proofs within Set Theory.
TPHOLs
Jean-Raymond Abrial, Dominique Cansell
2003 — conf
Event Based Sequential Program Development: Application to Constructing a Pointer Program.
FME
Jean-Raymond Abrial
2003 — conf
Formal Derivation of Spanning Trees Algorithms.
ZB
Jean-Raymond Abrial, Dominique Cansell, Dominique Méry
2002 — conf
"Higher-Order" Mathematics in B.
ZB
Jean-Raymond Abrial, Dominique Cansell, Guy Laffitte
2002 — conf
On Using Conditional Definitions in Formal Theories.
ZB
Jean-Raymond Abrial, Louis Mussat
1998 — conf
Introducing Dynamic Constraints in B.
B
Jean-Raymond Abrial, Louis Mussat
1998 — conf
On B.
B
Jean-Raymond Abrial
1996 — ed.
Formal Methods for Industrial Applications, Specifying and Programming the Steam Boiler Control (the book grow out of a Dagstuhl Seminar, June 1995).
Formal Methods for Industrial Applications
Jean-Raymond Abrial, Egon Börger, Hans Langmaack
1996 — book
The B-book - assigning programs to meanings.
Jean-Raymond Abrial
1995 — conf
Steam-Boiler Control Specification Problem.
Formal Methods for Industrial Applications
Jean-Raymond Abrial
1995 — conf
The Stream Boiler Case Study: Competition of Formal Program Specification and Development Methods.
Formal Methods for Industrial Applications
Jean-Raymond Abrial, Egon Börger, Hans Langmaack
1993 — ch.
On constructing large software systems.
Formal Methods in Systems Engineering
Jean-Raymond Abrial
1992 — conf
On Constructing Large Software Systems.
IFIP Congress (1)
Jean-Raymond Abrial
1991 — conf
The B-Method.
VDM Europe (2)
Jean-Raymond Abrial, Matthew K. O. Lee, David Neilson, P. N. Scharbach, Ib Holm Sørensen
1989 B conf
A Formal Approach To Large Software Construction.
MPC
Jean-Raymond Abrial
1988 — conf
The B Tool (Abstract).
VDM Europe
Jean-Raymond Abrial
1984 J jnl
The Mathematical Construction of a Program.
Sci. Comput. Program.
Jean-Raymond Abrial
1983 — conf
A Practical Approach to the Analysis of Concurrent Systems.
The Analysis of Concurrent Systems
Jean-Raymond Abrial
1981 — conf
KWIC-index generation.
Program Specification
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
1980 — ch.
Specification Language.
On the Construction of Programs
Jean-Raymond Abrial, Stephen A. Schuman, Bertrand Meyer
1979 — conf
Non-Deterministic System Specification.
Semantics of Concurrent Computation
Jean-Raymond Abrial, Stephen A. Schuman
1974 — conf
Data Semantics.
IFIP Working Conference Data Base Management
Jean-Raymond Abrial