Jean-Raymond Abrial Coauthor index DBLP Vis pubzone.org

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

DBLP keys2010
46Electronic 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
2009
45Electronic 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
44Electronic 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
43Electronic 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)
42Electronic 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
41Electronic 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
40Electronic 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
39Electronic 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
38Electronic 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
37Electronic 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
36Electronic 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
35Electronic 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)
34Electronic 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
33no 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
32Electronic 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
31Electronic 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
30Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJean-Raymond Abrial: Formal methods in industry: achievements, problems, future. ICSE 2006: 761-768
29Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJean-Raymond Abrial: Train Systems. RODIN Book 2006: 1-36
28Electronic 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
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
12no EE 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
11no EE 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
6no EE 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
5no EE 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
2no EE 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 [42] [45]
2Don S. Batory [32]
3Egon Börger [12] [13]
4Michael J. Butler [31] [32] [40] [41]
5Dominique Cansell [16] [19] [20] [22] [24] [25]
6Alessandro Coglio [32]
7Derek Coleman [4]
8Kriangsak Damchoom [40]
9Hartmut Ehrig [4]
10Kathi Fisler [32]
11Andreas Furst [44]
12Robin M. Gallimore [4]
13Uwe Glässer [33] [36] [37]
14Joseph A. Goguen [4]
15Stefan Hallerstede [31] [35] [41]
16Eric C. R. Hehner [32]
17Thai Son Hoang [26] [39] [42] [44] [45] [46]
18Jane W. Hughes [4]
19Cliff B. Jones [32]
20Simon L. Peyton Jones [32]
21Hans-Jörg Kreowski [4]
22Hironobu Kuruma [42] [45]
23Guy Laffitte [16]
24Hans Langmaack [12] [13]
25Gary T. Leavens [32]
26Matthew K. O. Lee [9]
27Dominique Méry [19] [20] [25]
28Bertrand Meyer [3]
29Dale Miller [32]
30Carroll Morgan (Carroll C. Morgan) [26]
31Louis Mussat [14] [17]
32David Neilson [9]
33Leif Sandegaard Nielsen [4]
34Malcolm S. Powell [4]
35P. N. Scharbach [9]
36Stephen A. Schuman [2] [3]
37Murali Sitaraman [32]
38Douglas R. Smith [32]
39Ib Holm Sørensen [4] [9]
40Jørgen Steensgaard-Madsen [4]
41Aaron Stump [32]
42Laurent Voisin [31] [41]

Colors in the list of coauthors

Copyright © Sun Mar 14 22:39:24 2010 by Michael Ley (ley@uni-trier.de)