 | 2010 |
|---|
| 46 |       | Thai Son Hoang,
Jean-Raymond Abrial:
Event-B Decomposition for Parallel Programs.
ASM 2010: 319-333 |
| 2009 |
|---|
| 45 | | Thai Son Hoang,
Hironobu Kuruma,
David A. Basin,
Jean-Raymond Abrial:
Developing Topology Discovery in Event-B.
IFM 2009: 1-19 |
| 44 | | Thai Son Hoang,
Andreas Furst,
Jean-Raymond Abrial:
Event-B Patterns and Their Tool Support.
SEFM 2009: 210-219 |
| 43 | | Jean-Raymond Abrial:
Faultless Systems: Yes We Can!.
IEEE Computer 42(9): 30-36 (2009) |
| 42 | | 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) |
| 2008 |
|---|
| 41 | | Jean-Raymond Abrial,
Michael J. Butler,
Stefan Hallerstede,
Laurent Voisin:
A Roadmap for the Rodin Toolset.
ABZ 2008: 347 |
| 40 | | 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 |
| 39 | | Jean-Raymond Abrial,
Thai Son Hoang:
Using Design Patterns in Formal Methods: An Event-B Approach.
ICTAC 2008: 1-2 |
| 2007 |
|---|
| 38 | | Jean-Raymond Abrial:
A System Development Process with Event-B and the Rodin Platform.
ICFEM 2007: 1-3 |
| 37 | | Jean-Raymond Abrial,
Uwe Glässer:
06191 Abstracts Collection -- Rigorous Methods for Software Construction and Analysis.
Rigorous Methods for Software Construction and Analysis 2007 |
| 36 | | Jean-Raymond Abrial,
Uwe Glässer:
06191 Summary -- Rigorous Methods for Software Construction and Analysis.
Rigorous Methods for Software Construction and Analysis 2007 |
| 35 | | Jean-Raymond Abrial,
Stefan Hallerstede:
Refinement, Decomposition, and Instantiation of Discrete Models: Application to Event-B.
Fundam. Inform. 77(1-2): 1-28 (2007) |
| 34 | | Jean-Raymond Abrial:
Formal Methods: Theory Becoming Practice.
J. UCS 13(5): 619-628 (2007) |
| 2006 |
|---|
| 33 |  | Jean-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 |
| 32 | | 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 |
| 31 | | Jean-Raymond Abrial,
Michael J. Butler,
Stefan Hallerstede,
Laurent Voisin:
An Open Extensible Tool Environment for Event-B.
ICFEM 2006: 588-605 |
| 30 | | Jean-Raymond Abrial:
Formal methods in industry: achievements, problems, future.
ICSE 2006: 761-768 |
| 29 | | Jean-Raymond Abrial:
Train Systems.
RODIN Book 2006: 1-36 |
| 28 | | Jean-Raymond Abrial:
Tools for Developing Large Systems (A Proposal).
RODIN Book 2006: 387-390 |
| 2005 |
|---|
| 27 | | Jean-Raymond Abrial:
Refinement, Decomposition and Instantiation of Discrete Models.
Abstract State Machines 2005: 17-40 |
| 26 | | Carroll Morgan,
Thai Son Hoang,
Jean-Raymond Abrial:
The Challenge of Probabilistic Event B - Extended Abstract.
ZB 2005: 162-171 |
| 25 | | Jean-Raymond Abrial,
Dominique Cansell,
Dominique Méry:
Refinement and Reachability in EventB.
ZB 2005: 222-241 |
| 24 | | 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) |
| 2003 |
|---|
| 23 | | Jean-Raymond Abrial:
Event Based Sequential Program Development: Application to Constructing a Pointer Program.
FME 2003: 51-74 |
| 22 | | Jean-Raymond Abrial,
Dominique Cansell:
Click'n Prove: Interactive Proofs within Set Theory.
TPHOLs 2003: 1-24 |
| 21 | | Jean-Raymond Abrial:
B#: Toward a Synthesis between Z and B.
ZB 2003: 168-177 |
| 20 | | Jean-Raymond Abrial,
Dominique Cansell,
Dominique Méry:
Formal Derivation of Spanning Trees Algorithms.
ZB 2003: 457-476 |
| 19 | | 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) |
| 18 | | Jean-Raymond Abrial:
B : passé, présent, futur.
Technique et Science Informatiques 22(1): 89-118 (2003) |
| 2002 |
|---|
| 17 | | Jean-Raymond Abrial,
Louis Mussat:
On Using Conditional Definitions in Formal Theories.
ZB 2002: 242-269 |
| 16 | | Jean-Raymond Abrial,
Dominique Cansell,
Guy Laffitte:
"Higher-Order" Mathematics in B.
ZB 2002: 370-393 |
| 1998 |
|---|
| 15 | | Jean-Raymond Abrial:
On B.
B 1998: 1-8 |
| 14 | | Jean-Raymond Abrial,
Louis Mussat:
Introducing Dynamic Constraints in B.
B 1998: 83-128 |
| 1996 |
|---|
| 13 | | 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).
Springer 1996 |
| 1995 |
|---|
| 12 | | 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 |
| 11 | | Jean-Raymond Abrial:
Steam-Boiler Control Specification Problem.
Formal Methods for Industrial Applications 1995: 500-509 |
| 1992 |
|---|
| 10 | | Jean-Raymond Abrial:
On Constructing Large Software Systems.
IFIP Congress (1) 1992: 103-112 |
| 1991 |
|---|
| 9 | | 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 |
| 1989 |
|---|
| 8 | | Jean-Raymond Abrial:
A Formal Approach To Large Software Construction.
MPC 1989: 1-20 |
| 1988 |
|---|
| 7 | | Jean-Raymond Abrial:
The B Tool (Abstract).
VDM Europe 1988: 86-87 |
| 1984 |
|---|
| 6 | | Jean-Raymond Abrial:
The Mathematical Construction of a Program.
Sci. Comput. Program. 4(1): 45-86 (1984) |
| 1983 |
|---|
| 5 | | Jean-Raymond Abrial:
A Practical Approach to the Analysis of Concurrent Systems.
The Analysis of Concurrent Systems 1983: 66-96 |
| 1981 |
|---|
| 4 | | 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 |
|---|
| 3 | | Jean-Raymond Abrial,
Stephen A. Schuman,
Bertrand Meyer:
Specification Language.
On the Construction of Programs 1980: 343-410 |
| 1979 |
|---|
| 2 | | Jean-Raymond Abrial,
Stephen A. Schuman:
Non-Deterministic System Specification.
Semantics of Concurrent Computation 1979: 34-50 |
| 1974 |
|---|
| 1 | | Jean-Raymond Abrial:
Data Semantics.
IFIP Working Conference Data Base Management 1974: 1-60 |
