dblp.uni-trier.dewww.dagstuhl.dewww.uni-trier.de

Jean-Raymond Abrial Coauthor index pubzone.org

List of publications from the DBLP Bibliography Server - FAQ
Ask others: ACM DL/Guide - CiteSeerX - CSB - MetaPress - Google - Bing - Yahoo

DBLP keys2011
52Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLWen Su, Jean-Raymond Abrial, Runlei Huang, Huibiao Zhu: From Requirements to Development: Methodology and Example. ICFEM 2011: 437-455
51Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLThai Son Hoang, Jean-Raymond Abrial: Reasoning about Liveness Properties in Event-B. ICFEM 2011: 456-471
2010
50Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJean-Raymond Abrial: Modeling in Event-B - System and Software Engineering. Cambridge University Press 2010: I-XXVI, 1-586
49Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLThai Son Hoang, Jean-Raymond Abrial: Event-B Decomposition for Parallel Programs. ASM 2010: 319-333
48Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJean-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)
2009
47Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJean-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 Springer 2009
46Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLThai Son Hoang, Hironobu Kuruma, David A. Basin, Jean-Raymond Abrial: Developing Topology Discovery in Event-B. IFM 2009: 1-19
45Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLThai Son Hoang, Andreas Furst, Jean-Raymond Abrial: Event-B Patterns and Their Tool Support. SEFM 2009: 210-219
44Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJean-Raymond Abrial: Faultless Systems: Yes We Can!. IEEE Computer 42(9): 30-36 (2009)
43Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLThai 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)
2008
42Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJean-Raymond Abrial, Michael J. Butler, Stefan Hallerstede, Laurent Voisin: A Roadmap for the Rodin Toolset. ABZ 2008: 347
41Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLKriangsak 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
40Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJean-Raymond Abrial, Thai Son Hoang: Using Design Patterns in Formal Methods: An Event-B Approach. ICTAC 2008: 1-2
2007
39Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJean-Raymond Abrial: A System Development Process with Event-B and the Rodin Platform. ICFEM 2007: 1-3
38Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJean-Raymond Abrial, Uwe Glässer: 06191 Abstracts Collection -- Rigorous Methods for Software Construction and Analysis. Rigorous Methods for Software Construction and Analysis 2007
37Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJean-Raymond Abrial, Uwe Glässer: 06191 Summary -- Rigorous Methods for Software Construction and Analysis. Rigorous Methods for Software Construction and Analysis 2007
36Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJean-Raymond Abrial, Stefan Hallerstede: Refinement, Decomposition, and Instantiation of Discrete Models: Application to Event-B. Fundam. Inform. 77(1-2): 1-28 (2007)
35Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJean-Raymond Abrial: Formal Methods: Theory Becoming Practice. J. UCS 13(5): 619-628 (2007)
2006
34no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJean-Raymond Abrial, Uwe Glässer: Rigorous Methods for Software Construction and Analysis, 07.05. - 12.05.2006 Internationales Begegnungs- und Forschungszentrum fuer Informatik (IBFI), Schloss Dagstuhl, Germany 2006
33Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLGary 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
32Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJean-Raymond Abrial, Michael J. Butler, Stefan Hallerstede, Laurent Voisin: An Open Extensible Tool Environment for Event-B. ICFEM 2006: 588-605
31Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJean-Raymond Abrial: Formal methods in industry: achievements, problems, future. ICSE 2006: 761-768
30Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJean-Raymond Abrial: Train Systems. RODIN Book 2006: 1-36
29Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJean-Raymond Abrial: Tools for Developing Large Systems (A Proposal). RODIN Book 2006: 387-390
2005
28no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJean-Raymond Abrial: The B-book - assigning programs to meanings. Cambridge University Press 2005: I-XXXIV, 1-779
27Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJean-Raymond Abrial: Refinement, Decomposition and Instantiation of Discrete Models. Abstract State Machines 2005: 17-40
26Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLCarroll Morgan, Thai Son Hoang, Jean-Raymond Abrial: The Challenge of Probabilistic Event B - Extended Abstract. ZB 2005: 162-171
25Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJean-Raymond Abrial, Dominique Cansell, Dominique Méry: Refinement and Reachability in EventB. ZB 2005: 222-241
24Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJean-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)
2003
23Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJean-Raymond Abrial: Event Based Sequential Program Development: Application to Constructing a Pointer Program. FME 2003: 51-74
22Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJean-Raymond Abrial, Dominique Cansell: Click'n Prove: Interactive Proofs within Set Theory. TPHOLs 2003: 1-24
21Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJean-Raymond Abrial: B#: Toward a Synthesis between Z and B. ZB 2003: 168-177
20Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJean-Raymond Abrial, Dominique Cansell, Dominique Méry: Formal Derivation of Spanning Trees Algorithms. ZB 2003: 457-476
19Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJean-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)
18Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJean-Raymond Abrial: B : passé, présent, futur. Technique et Science Informatiques 22(1): 89-118 (2003)
2002
17Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJean-Raymond Abrial, Louis Mussat: On Using Conditional Definitions in Formal Theories. ZB 2002: 242-269
16Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJean-Raymond Abrial, Dominique Cansell, Guy Laffitte: "Higher-Order" Mathematics in B. ZB 2002: 370-393
1998
15Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJean-Raymond Abrial: On B. B 1998: 1-8
14Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJean-Raymond Abrial, Louis Mussat: Introducing Dynamic Constraints in B. B 1998: 83-128
1996
13no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJean-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). Springer 1996
1995
12Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJean-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
11Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJean-Raymond Abrial: Steam-Boiler Control Specification Problem. Formal Methods for Industrial Applications 1995: 500-509
1992
10no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJean-Raymond Abrial: On Constructing Large Software Systems. IFIP Congress (1) 1992: 103-112
1991
9Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJean-Raymond Abrial, Matthew K. O. Lee, David Neilson, P. N. Scharbach, Ib Holm Sørensen: The B-Method. VDM Europe (2) 1991: 398-405
1989
8no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJean-Raymond Abrial: A Formal Approach To Large Software Construction. MPC 1989: 1-20
1988
7Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJean-Raymond Abrial: The B Tool (Abstract). VDM Europe 1988: 86-87
1984
6Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJean-Raymond Abrial: The Mathematical Construction of a Program. Sci. Comput. Program. 4(1): 45-86 (1984)
1983
5Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJean-Raymond Abrial: A Practical Approach to the Analysis of Concurrent Systems. The Analysis of Concurrent Systems 1983: 66-96
1981
4no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJø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
3no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJean-Raymond Abrial, Stephen A. Schuman, Bertrand Meyer: Specification Language. On the Construction of Programs 1980: 343-410
1979
2Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJean-Raymond Abrial, Stephen A. Schuman: Non-Deterministic System Specification. Semantics of Concurrent Computation 1979: 34-50
1974
1no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJean-Raymond Abrial: Data Semantics. IFIP Working Conference Data Base Management 1974: 1-60

Coauthor Index

1David A. Basin [43] [46]
2Don S. Batory [33]
3Egon Börger [12] [13]
4Michael J. Butler [32] [33] [41] [42] [48]
5Dominique Cansell [16] [19] [20] [22] [24] [25]
6Alessandro Coglio [33]
7Derek Coleman [4]
8Kriangsak Damchoom [41]
9Hartmut Ehrig [4]
10Kathi Fisler [33]
11Andreas Furst [45]
12Robin M. Gallimore [4]
13Uwe Glässer [34] [37] [38] [47]
14Joseph A. Goguen [4]
15Stefan Hallerstede [32] [36] [42] [48]
16Eric C. R. Hehner [33]
17Thai Son Hoang [26] [40] [43] [45] [46] [48] [49] [51]
18Runlei Huang [52]
19Jane W. Hughes [4]
20Cliff B. Jones (Clifford B. Jones) [33]
21Simon L. Peyton Jones [33]
22Hans-Jörg Kreowski [4]
23Hironobu Kuruma [43] [46]
24Guy Laffitte [16]
25Hans Langmaack [12] [13]
26Gary T. Leavens [33]
27Matthew K. O. Lee [9]
28Farhad Mehta [48]
29Dominique Méry [19] [20] [25]
30Bertrand Meyer [3]
31Dale Miller [33]
32Carroll Morgan (Carroll C. Morgan) [26]
33Louis Mussat [14] [17]
34David Neilson [9]
35Leif Sandegaard Nielsen [4]
36Malcolm S. Powell [4]
37P. N. Scharbach [9]
38Stephen A. Schuman [2] [3]
39Murali Sitaraman [33]
40Douglas R. Smith [33]
41Ib Holm Sørensen [4] [9]
42Jørgen Steensgaard-Madsen [4]
43Aaron Stump [33]
44Wen Su [52]
45Laurent Voisin [32] [42] [48]
46Huibiao Zhu [52]

Colors in the list of coauthors

Home | Conferences | Journals | Series | FAQ — Search: Faceted | Free | Complete | Author
Last update Sat May 26 04:23:17 2012 CET by the DBLP Team — This material is Open Data Data released under the ODC-BY 1.0 license — See also our legal information page