Jean-Raymond Abrial
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
20
Venues
10
Active years
1974–2015
Best venue rank
A*
Where they publish
Papers
20 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2015 | ICECCS | Formal Development of a Real-Time Operating System Memory Manager. | Wen Su, Jean-Raymond Abrial, Geguang Pu, Bin Fang |
| 2015 | ICTAC | An Exercise in Mathematical Engineering: Stating and Proving Kuratowski Theorem. | Jean-Raymond Abrial |
| 2013 | IFM | From Z to B and then Event-B: Assigning Proofs to Meaningful Programs. | Jean-Raymond Abrial |
| 2012 | ICFEM | Complementary Methodologies for Developing Hybrid Systems with Event-B. | Wen Su, Jean-Raymond Abrial, Huibiao Zhu |
| 2011 | ICFEM | Reasoning about Liveness Properties in Event-B. | Thai Son Hoang, Jean-Raymond Abrial |
| 2011 | ICFEM | From Requirements to Development: Methodology and Example. | Wen Su, Jean-Raymond Abrial, Runlei Huang, Huibiao Zhu |
| 2009 | IFM | Developing Topology Discovery in Event-B. | Thai Son Hoang, Hironobu Kuruma, David A. Basin, Jean-Raymond Abrial |
| 2009 | SEFM | Event-B Patterns and Their Tool Support. | Thai Son Hoang, Andreas Frst, Jean-Raymond Abrial |
| 2008 | ICFEM | Modelling and Proof of a Tree-Structured File System in Event-B and Rodin. | Kriangsak Damchoom, Michael J. Butler, Jean-Raymond Abrial |
| 2008 | ICTAC | Using Design Patterns in Formal Methods: An Event-B Approach. | Jean-Raymond Abrial, Thai Son Hoang |
| 2007 | ICFEM | A System Development Process with Event-B and the Rodin Platform. | Jean-Raymond Abrial |
| 2006 | GPCE | Roadmap for enhanced languages and methods to aid verification. | 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 |
| 2006 | ICFEM | An Open Extensible Tool Environment for Event-B. | Jean-Raymond Abrial, Michael J. Butler, Stefan Hallerstede, Laurent Voisin |
| 2006 | ICSE | Formal methods in industry: achievements, problems, future. | Jean-Raymond Abrial |
| 2003 | FM | Event Based Sequential Program Development: Application to Constructing a Pointer Program. | Jean-Raymond Abrial |
| 1991 | FM | The B-Method. | Jean-Raymond Abrial, Matthew K. O. Lee, David Neilson, P. N. Scharbach, Ib Holm Srensen |
| 1989 | MPC | A Formal Approach To Large Software Construction. | Jean-Raymond Abrial |
| 1988 | FM | The B Tool (Abstract). | Jean-Raymond Abrial |
| 1981 | FM | KWIC-index generation. | Jrgen Steensgaard-Madsen, Jane W. Hughes, Malcolm S. Powell, Hartmut Ehrig, Hans-Jrg Kreowski, Leif Sandegaard Nielsen, Jean-Raymond Abrial, Ib Holm Srensen, Robin M. Gallimore, Derek Coleman, Joseph A. Goguen |
| 1974 | DS | Data Semantics. | Jean-Raymond Abrial |