default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDJean-Raymond Abrial
Person information
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
2020 – today
- 2020
[j14]Jean-Raymond Abrial:
The ABZ-2018 case study with Event-B. Int. J. Softw. Tools Technol. Transf. 22(3): 257-264 (2020)
2010 – 2019
- 2018
- [j13]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): 122103:1-122103:16 (2018) - [c45]Jean-Raymond Abrial:
On B and Event-B: Principles, Success and Challenges. ABZ 2018: 31-35 - [c44]Jean-Raymond Abrial:
The ABZ-2018 Case Study with Event-B. ABZ 2018: 322-337 - 2017
- [j12]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): 141-166 (2017) - [i4]Jean-Raymond Abrial:
Formal Proof of the Weak Goodstein Theorem. CoRR abs/1701.01673 (2017) - 2016
- [p3]Michael J. Butler
, Jean-Raymond Abrial, Richard Banach:
Modelling and Refining Hybrid Systems in Event-B and Rodin. From Action Systems to Distributed Systems 2016: 29-42 - 2015
- [c43]Wen Su, Jean-Raymond Abrial, Geguang Pu, Bin Fang:
Formal Development of a Real-Time Operating System Memory Manager. ICECCS 2015: 130-139 - [c42]Jean-Raymond Abrial:
An Exercise in Mathematical Engineering: Stating and Proving Kuratowski Theorem. ICTAC 2015: 3-27 - 2014
- [j11]Wen Su, Jean-Raymond Abrial, Huibiao Zhu:
Formalizing hybrid systems with Event-B and the Rodin Platform. Sci. Comput. Program. 94: 164-202 (2014) - [c41]Laurent Voisin, Jean-Raymond Abrial:
The Rodin Platform Has Turned Ten. ABZ 2014: 1-8 - [c40]Wen Su, Jean-Raymond Abrial:
Aircraft Landing Gear System: Approaches with Event-B to the Modeling of an Industrial System. ABZ (Case Study) 2014: 19-35 - 2013
- [j10]Thai Son Hoang, Andreas Fürst, Jean-Raymond Abrial:
Event-B patterns and their tool support. Softw. Syst. Model. 12(2): 229-244 (2013) - [c39]Jean-Raymond Abrial:
Set-Theoretic Models of Computations. Theories of Programming and Formal Methods 2013: 1-22 - [c38]Jean-Raymond Abrial:
From Z to B and then Event-B: Assigning Proofs to Meaningful Programs. IFM 2013: 1-15 - 2012
- [c37]Jean-Raymond Abrial, Wen Su, Huibiao Zhu:
Formalizing Hybrid Systems with Event-B. ABZ 2012: 178-193 - [c36]Wen Su, Jean-Raymond Abrial, Huibiao Zhu:
Complementary Methodologies for Developing Hybrid Systems with Event-B. ICFEM 2012: 230-248 - 2011
- [c35]Wen Su, Jean-Raymond Abrial, Runlei Huang, Huibiao Zhu:
From Requirements to Development: Methodology and Example. ICFEM 2011: 437-455 - [c34]Thai Son Hoang, Jean-Raymond Abrial:
Reasoning about Liveness Properties in Event-B. ICFEM 2011: 456-471 - 2010
- [b2]Jean-Raymond Abrial:
Modeling in Event-B - System and Software Engineering. Cambridge University Press 2010, ISBN 978-0-521-89556-9, pp. I-XXVI, 1-586 - [j9]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): 447-466 (2010) - [c33]Thai Son Hoang, Jean-Raymond Abrial:
Event-B Decomposition for Parallel Programs. ASM 2010: 319-333
2000 – 2009
- 2009
- [j8]Jean-Raymond Abrial:
Faultless Systems: Yes We Can!. Computer 42(9): 30-36 (2009) - [j7]Thai Son Hoang, Hironobu Kuruma, David A. Basin, Jean-Raymond Abrial:
Developing topology discovery in Event-B. Sci. Comput. Program. 74(11-12): 879-899 (2009) - [c32]Thai Son Hoang, Hironobu Kuruma, David A. Basin, Jean-Raymond Abrial:
Developing Topology Discovery in Event-B. IFM 2009: 1-19 - [c31]Thai Son Hoang, Andreas Fürst, Jean-Raymond Abrial:
Event-B Patterns and Their Tool Support. SEFM 2009: 210-219 - [e4]Jean-Raymond Abrial, Uwe Glässer:
Rigorous Methods for Software Construction and Analysis, Essays Dedicated to Egon Börger on the Occasion of His 60th Birthday. Lecture Notes in Computer Science 5115, Springer 2009, ISBN 978-3-642-11446-5 [contents] - [e3]Jean-Raymond Abrial, Michael J. Butler, Rajev Joshi, Elena Troubitsyna, J. C. P. Woodcock:
Refinement Based Methods for the Construction of Dependable Systems, 13.09. - 18.09.2009. Dagstuhl Seminar Proceedings 09381, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, Germany 2009 [contents] - [i3]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 - 2008
- [c30]Jean-Raymond Abrial, Michael J. Butler, Stefan Hallerstede, Laurent Voisin:
A Roadmap for the Rodin Toolset. ABZ 2008: 347 - [c29]Kriangsak Damchoom, Michael J. Butler, Jean-Raymond Abrial:
Modelling and Proof of a Tree-Structured File System in Event-B and Rodin. ICFEM 2008: 25-44 - [c28]Jean-Raymond Abrial, Thai Son Hoang:
Using Design Patterns in Formal Methods: An Event-B Approach. ICTAC 2008: 1-2 - 2007
- [j6]Jean-Raymond Abrial, Stefan Hallerstede:
Refinement, Decomposition, and Instantiation of Discrete Models: Application to Event-B. Fundam. Informaticae 77(1-2): 1-28 (2007) - [j5]Jean-Raymond Abrial:
Formal Methods: Theory Becoming Practice. J. Univers. Comput. Sci. 13(5): 619-628 (2007) - [c27]Jean-Raymond Abrial:
A System Development Process with Event-B and the Rodin Platform. ICFEM 2007: 1-3 - [i2]Jean-Raymond Abrial, Uwe Glässer:
06191 Summary -- Rigorous Methods for Software Construction and Analysis. Rigorous Methods for Software Construction and Analysis 2007 - [i1]Jean-Raymond Abrial, Uwe Glässer:
06191 Abstracts Collection -- Rigorous Methods for Software Construction and Analysis. Rigorous Methods for Software Construction and Analysis 2007 - 2006
- [c26]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: 221-236 - [c25]Jean-Raymond Abrial, Michael J. Butler, Stefan Hallerstede, Laurent Voisin:
An Open Extensible Tool Environment for Event-B. ICFEM 2006: 588-605 - [c24]Jean-Raymond Abrial:
Formal methods in industry: achievements, problems, future. ICSE 2006: 761-768 - [c23]Jean-Raymond Abrial:
Train Systems. RODIN Book 2006: 1-36 - [c22]Jean-Raymond Abrial:
Tools for Developing Large Systems (A Proposal). RODIN Book 2006: 387-390 - [e2]Jean-Raymond Abrial, Uwe Glässer:
Rigorous Methods for Software Construction and Analysis, 07.05. - 12.05.2006. Dagstuhl Seminar Proceedings 06191, Internationales Begegnungs- und Forschungszentrum fuer Informatik (IBFI), Schloss Dagstuhl, Germany 2006 [contents] - 2005
- [j4]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): 744-770 (2005) - [c21]Jean-Raymond Abrial:
Refinement, Decomposition and Instantiation of Discrete Models. Abstract State Machines 2005: 17-40 - [c20]Carroll Morgan, Thai Son Hoang, Jean-Raymond Abrial:
The Challenge of Probabilistic Event B - Extended Abstract. ZB 2005: 162-171 - [c19]Jean-Raymond Abrial, Dominique Cansell, Dominique Méry:
Refinement and Reachability in EventB. ZB 2005: 222-241 - 2003
- [j3]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): 215-227 (2003) - [j2]Jean-Raymond Abrial:
B : passé, présent, futur. Tech. Sci. Informatiques 22(1): 89-118 (2003) - [c18]Jean-Raymond Abrial:
Event Based Sequential Program Development: Application to Constructing a Pointer Program. FME 2003: 51-74 - [c17]Jean-Raymond Abrial, Dominique Cansell:
Click'n Prove: Interactive Proofs within Set Theory. TPHOLs 2003: 1-24 - [c16]Jean-Raymond Abrial:
B#: Toward a Synthesis between Z and B. ZB 2003: 168-177 - [c15]Jean-Raymond Abrial, Dominique Cansell, Dominique Méry:
Formal Derivation of Spanning Trees Algorithms. ZB 2003: 457-476 - 2002
- [c14]Jean-Raymond Abrial, Louis Mussat:
On Using Conditional Definitions in Formal Theories. ZB 2002: 242-269 - [c13]Jean-Raymond Abrial, Dominique Cansell, Guy Laffitte:
"Higher-Order" Mathematics in B. ZB 2002: 370-393
1990 – 1999
- 1998
- [c12]Jean-Raymond Abrial:
On B. B 1998: 1-8 - [c11]Jean-Raymond Abrial, Louis Mussat:
Introducing Dynamic Constraints in B. B 1998: 83-128 - 1996
- [b1]Jean-Raymond Abrial:
The B-book - assigning programs to meanings. Cambridge University Press 1996, ISBN 978-0-521-02175-3, pp. I-XXXIV, 1-779 - [e1]Jean-Raymond Abrial, Egon Börger, Hans Langmaack:
Formal Methods for Industrial Applications, Specifying and Programming the Steam Boiler Control (the book grow out of a Dagstuhl Seminar, June 1995). Lecture Notes in Computer Science 1165, Springer 1996, ISBN 3-540-61929-1 [contents] - 1995
- [c10]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: 1-12 - [c9]Jean-Raymond Abrial:
Steam-Boiler Control Specification Problem. Formal Methods for Industrial Applications 1995: 500-509 - 1993
- [p2]Jean-Raymond Abrial:
On constructing large software systems. Formal Methods in Systems Engineering 1993: 32-40 - 1992
- [c8]Jean-Raymond Abrial:
On Constructing Large Software Systems. IFIP Congress (1) 1992: 103-112 - 1991
- [c7]Jean-Raymond Abrial, Matthew K. O. Lee, David Neilson, P. N. Scharbach, Ib Holm Sørensen:
The B-Method. VDM Europe (2) 1991: 398-405
1980 – 1989
- 1989
- [c6]Jean-Raymond Abrial:
A Formal Approach To Large Software Construction. MPC 1989: 1-20 - 1988
- [c5]Jean-Raymond Abrial:
The B Tool (Abstract). VDM Europe 1988: 86-87 - 1984
- [j1]Jean-Raymond Abrial:
The Mathematical Construction of a Program. Sci. Comput. Program. 4(1): 45-86 (1984) - 1983
- [c4]Jean-Raymond Abrial:
A Practical Approach to the Analysis of Concurrent Systems. The Analysis of Concurrent Systems 1983: 66-96 - 1981
- [c3]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: 47-117 - 1980
- [p1]Jean-Raymond Abrial, Stephen A. Schuman, Bertrand Meyer:
Specification Language. On the Construction of Programs 1980: 343-410
1970 – 1979
- 1979
- [c2]Jean-Raymond Abrial, Stephen A. Schuman:
Non-Deterministic System Specification. Semantics of Concurrent Computation 1979: 34-50 - 1974
- [c1]Jean-Raymond Abrial:
Data Semantics. IFIP Working Conference Data Base Management 1974: 1-60
Coauthor Index
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from 
to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the 
of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from 
, 
, and 
to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from 
.
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2024-04-24 23:18 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
