Please note: This is a beta version of the new dblp website.
You can find the classic dblp view of this page here.
You can find the classic dblp view of this page here.
Jean-Raymond Abrial
2010 – today
- 2013
[j10]Thai Son Hoang, Andreas Fürst, Jean-Raymond Abrial: Event-B patterns and their tool support. Software and System Modeling 12(2): 229-244 (2013)- [c41]Jean-Raymond Abrial: Set-Theoretic Models of Computations. Theories of Programming and Formal Methods 2013: 1-22
- [c40]Jean-Raymond Abrial: From Z to B and then Event-B: Assigning Proofs to Meaningful Programs. IFM 2013: 1-15
- 2012
- [c39]Jean-Raymond Abrial, Wen Su, Huibiao Zhu: Formalizing Hybrid Systems with Event-B. ABZ 2012: 178-193
- [c38]Wen Su, Jean-Raymond Abrial, Huibiao Zhu: Complementary Methodologies for Developing Hybrid Systems with Event-B. ICFEM 2012: 230-248
- 2011
- [c37]Wen Su, Jean-Raymond Abrial, Runlei Huang, Huibiao Zhu: From Requirements to Development: Methodology and Example. ICFEM 2011: 437-455
- [c36]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. STTT 12(6): 447-466 (2010)
- [c35]
2000 – 2009
- 2009
- [j8]
- [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)
- [c34]Thai Son Hoang, Hironobu Kuruma, David A. Basin, Jean-Raymond Abrial: Developing Topology Discovery in Event-B. IFM 2009: 1-19
- [c33]Thai Son Hoang, Andreas Fürst, Jean-Raymond Abrial: Event-B Patterns and Their Tool Support. SEFM 2009: 210-219
- [e3]Jean-Raymond Abrial, Uwe Glässer (Eds.): 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
- 2008
- [c32]Jean-Raymond Abrial, Michael J. Butler, Stefan Hallerstede, Laurent Voisin: A Roadmap for the Rodin Toolset. ABZ 2008: 347
- [c31]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
- [c30]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. Inform. 77(1-2): 1-28 (2007)
- [j5]
- [c29]Jean-Raymond Abrial, Uwe Glässer: 06191 Summary -- Rigorous Methods for Software Construction and Analysis. Rigorous Methods for Software Construction and Analysis 2007
- [c28]Jean-Raymond Abrial, Uwe Glässer: 06191 Abstracts Collection -- Rigorous Methods for Software Construction and Analysis. Rigorous Methods for Software Construction and Analysis 2007
- [c27]Jean-Raymond Abrial: A System Development Process with Event-B and the Rodin Platform. ICFEM 2007: 1-3
- 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]
- [c23]
- [c22]
- [e2]Jean-Raymond Abrial, Uwe Glässer (Eds.): 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
- 2005
- [b1]Jean-Raymond Abrial: The B-book - assigning programs to meanings. Cambridge University Press 2005, ISBN 978-0-521-02175-3, pp. I-XXXIV, 1-779
- [j4]Jean-Raymond Abrial, Dominique Cansell: Formal Construction of a Non-blocking Concurrent Queue Algorithm (a Case Study in Atomicity). J. UCS 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 Asp. Comput. 14(3): 215-227 (2003)
- [j2]Jean-Raymond Abrial: B : passé, présent, futur. Technique et Science 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]
- [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]
- [c11]
- 1996
- [e1]Jean-Raymond Abrial, Egon Börger, Hans Langmaack (Eds.): 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
- 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
- 1992
- [c8]
- 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]
- 1988
- [c5]
- 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]
Coauthor Index
data released under the ODC-BY 1.0 license. See also our legal information page
last updated on 2013-10-02 11:24 CEST by the dblp team