Search the dblp DataBase
Jean-Raymond Abrial :
[Publications ]
[Author Rank by year ]
[Co-authors ]
[Prefers ]
[Cites ]
[Cited by ]
Publications of Author
Jean-Raymond Abrial Data Semantics. [Citation Graph (34, 0)][DBLP ] IFIP Working Conference Data Base Management, 1974, pp:1-60 [Conf ] Jean-Raymond Abrial A Formal Approach To Large Software Construction. [Citation Graph (2, 0)][DBLP ] MPC, 1989, pp:1-20 [Conf ] Jean-Raymond Abrial A Practical Approach to the Analysis of Concurrent Systems. [Citation Graph (0, 0)][DBLP ] The Analysis of Concurrent Systems, 1983, pp:66-96 [Conf ] Jean-Raymond Abrial On B. [Citation Graph (0, 0)][DBLP ] B, 1998, pp:1-8 [Conf ] Jean-Raymond Abrial , Louis Mussat Introducing Dynamic Constraints in B. [Citation Graph (0, 0)][DBLP ] B, 1998, pp:83-128 [Conf ] Jean-Raymond Abrial Steam-Boiler Control Specification Problem. [Citation Graph (0, 0)][DBLP ] Formal Methods for Industrial Applications, 1995, pp:500-509 [Conf ] Jean-Raymond Abrial , Egon Börger , Hans Langmaack The Stream Boiler Case Study: Competition of Formal Program Specification and Development Methods. [Citation Graph (0, 0)][DBLP ] Formal Methods for Industrial Applications, 1995, pp:1-12 [Conf ] Jean-Raymond Abrial Event Based Sequential Program Development: Application to Constructing a Pointer Program. [Citation Graph (0, 0)][DBLP ] FME, 2003, pp:51-74 [Conf ] Jean-Raymond Abrial The B Tool (Abstract). [Citation Graph (0, 0)][DBLP ] VDM Europe, 1988, pp:86-87 [Conf ] Jean-Raymond Abrial , Matthew K. O. Lee , David Neilson , P. N. Scharbach , Ib Holm Sørensen The B-Method. [Citation Graph (0, 0)][DBLP ] VDM Europe (2), 1991, pp:398-405 [Conf ] 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. [Citation Graph (0, 0)][DBLP ] Program Specification, 1981, pp:47-117 [Conf ] Gary T. Leavens , Jean-Raymond Abrial , Don S. Batory , Michael 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. [Citation Graph (0, 0)][DBLP ] GPCE, 2006, pp:221-236 [Conf ] Jean-Raymond Abrial , Michael Butler , Stefan Hallerstede , Laurent Voisin An Open Extensible Tool Environment for Event-B. [Citation Graph (0, 0)][DBLP ] ICFEM, 2006, pp:588-605 [Conf ] Jean-Raymond Abrial Formal methods in industry: achievements, problems, future. [Citation Graph (0, 0)][DBLP ] ICSE, 2006, pp:761-768 [Conf ] Jean-Raymond Abrial On Constructing Large Software Systems. [Citation Graph (0, 0)][DBLP ] IFIP Congress (1), 1992, pp:103-112 [Conf ] Jean-Raymond Abrial , Stephen A. Schuman Non-Deterministic System Specification. [Citation Graph (0, 0)][DBLP ] Semantics of Concurrent Computation, 1979, pp:34-50 [Conf ] Jean-Raymond Abrial , Dominique Cansell Click'n Prove: Interactive Proofs within Set Theory. [Citation Graph (0, 0)][DBLP ] TPHOLs, 2003, pp:1-24 [Conf ] Jean-Raymond Abrial B# : Toward a Synthesis between Z and B. [Citation Graph (0, 0)][DBLP ] ZB, 2003, pp:168-177 [Conf ] Jean-Raymond Abrial , Dominique Cansell , Guy Laffitte "Higher-Order" Mathematics in B. [Citation Graph (0, 0)][DBLP ] ZB, 2002, pp:370-393 [Conf ] Jean-Raymond Abrial , Dominique Cansell , Dominique Méry Formal Derivation of Spanning Trees Algorithms. [Citation Graph (0, 0)][DBLP ] ZB, 2003, pp:457-476 [Conf ] Jean-Raymond Abrial , Dominique Cansell , Dominique Méry Refinement and Reachability in EventB . [Citation Graph (0, 0)][DBLP ] ZB, 2005, pp:222-241 [Conf ] Jean-Raymond Abrial , Louis Mussat On Using Conditional Definitions in Formal Theories. [Citation Graph (0, 0)][DBLP ] ZB, 2002, pp:242-269 [Conf ] Carroll Morgan , Thai Son Hoang , Jean-Raymond Abrial The Challenge of Probabilistic Event B - Extended Abstract. [Citation Graph (0, 0)][DBLP ] ZB, 2005, pp:162-171 [Conf ] Jean-Raymond Abrial Train Systems. [Citation Graph (0, 0)][DBLP ] RODIN Book, 2006, pp:1-36 [Conf ] Jean-Raymond Abrial Tools for Developing Large Systems (A Proposal). [Citation Graph (0, 0)][DBLP ] RODIN Book, 2006, pp:387-390 [Conf ] Jean-Raymond Abrial , Dominique Cansell , Dominique Méry A Mechanically Proved and Incremental Development of IEEE 1394 Tree Identify Protocol. [Citation Graph (0, 0)][DBLP ] Formal Asp. Comput., 2003, v:14, n:3, pp:215-227 [Journal ] Jean-Raymond Abrial , Dominique Cansell Formal Construction of a Non-blocking Concurrent Queue Algorithm (a Case Study in Atomicity). [Citation Graph (0, 0)][DBLP ] J. UCS, 2005, v:11, n:5, pp:744-770 [Journal ] Jean-Raymond Abrial The Mathematical Construction of a Program. [Citation Graph (0, 0)][DBLP ] Sci. Comput. Program., 1984, v:4, n:1, pp:45-86 [Journal ] Jean-Raymond Abrial B : passé, présent, futur. [Citation Graph (0, 0)][DBLP ] Technique et Science Informatiques, 2003, v:22, n:1, pp:89-118 [Journal ] Jean-Raymond Abrial Refinement, Decomposition and Instantiation of Discrete Models. [Citation Graph (0, 0)][DBLP ] Abstract State Machines, 2005, pp:17-40 [Conf ] Jean-Raymond Abrial A System Development Process with Event-B and the Rodin Platform. [Citation Graph (0, 0)][DBLP ] ICFEM, 2007, pp:1-3 [Conf ] Jean-Raymond Abrial , Stefan Hallerstede Refinement, Decomposition, and Instantiation of Discrete Models: Application to Event-B. [Citation Graph (0, 0)][DBLP ] Fundam. Inform., 2007, v:77, n:1-2, pp:1-28 [Journal ] A Roadmap for the Rodin Toolset. [Citation Graph (, )][DBLP ] Event-B Decomposition for Parallel Programs. [Citation Graph (, )][DBLP ] 06191 Summary -- Rigorous Methods for Software Construction and Analysis. [Citation Graph (, )][DBLP ] 06191 Abstracts Collection -- Rigorous Methods for Software Construction and Analysis. [Citation Graph (, )][DBLP ] Modelling and Proof of a Tree-Structured File System in Event-B and Rodin. [Citation Graph (, )][DBLP ] Using Design Patterns in Formal Methods: An Event-B Approach. [Citation Graph (, )][DBLP ] Developing Topology Discovery in Event-B. [Citation Graph (, )][DBLP ] Event-B Patterns and Their Tool Support. [Citation Graph (, )][DBLP ] Faultless Systems: Yes We Can!. [Citation Graph (, )][DBLP ] Search in 0.002secs, Finished in 0.306secs