The SCEAS System
Navigation Menu

Search the dblp DataBase

Title:
Author:

Jean-Raymond Abrial: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]

Publications of Author

  1. Jean-Raymond Abrial
    Data Semantics. [Citation Graph (34, 0)][DBLP]
    IFIP Working Conference Data Base Management, 1974, pp:1-60 [Conf]
  2. Jean-Raymond Abrial
    A Formal Approach To Large Software Construction. [Citation Graph (2, 0)][DBLP]
    MPC, 1989, pp:1-20 [Conf]
  3. 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]
  4. Jean-Raymond Abrial
    On B. [Citation Graph (0, 0)][DBLP]
    B, 1998, pp:1-8 [Conf]
  5. Jean-Raymond Abrial, Louis Mussat
    Introducing Dynamic Constraints in B. [Citation Graph (0, 0)][DBLP]
    B, 1998, pp:83-128 [Conf]
  6. Jean-Raymond Abrial
    Steam-Boiler Control Specification Problem. [Citation Graph (0, 0)][DBLP]
    Formal Methods for Industrial Applications, 1995, pp:500-509 [Conf]
  7. 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]
  8. 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]
  9. Jean-Raymond Abrial
    The B Tool (Abstract). [Citation Graph (0, 0)][DBLP]
    VDM Europe, 1988, pp:86-87 [Conf]
  10. 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]
  11. 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]
  12. 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]
  13. 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]
  14. Jean-Raymond Abrial
    Formal methods in industry: achievements, problems, future. [Citation Graph (0, 0)][DBLP]
    ICSE, 2006, pp:761-768 [Conf]
  15. Jean-Raymond Abrial
    On Constructing Large Software Systems. [Citation Graph (0, 0)][DBLP]
    IFIP Congress (1), 1992, pp:103-112 [Conf]
  16. Jean-Raymond Abrial, Stephen A. Schuman
    Non-Deterministic System Specification. [Citation Graph (0, 0)][DBLP]
    Semantics of Concurrent Computation, 1979, pp:34-50 [Conf]
  17. Jean-Raymond Abrial, Dominique Cansell
    Click'n Prove: Interactive Proofs within Set Theory. [Citation Graph (0, 0)][DBLP]
    TPHOLs, 2003, pp:1-24 [Conf]
  18. Jean-Raymond Abrial
    B#: Toward a Synthesis between Z and B. [Citation Graph (0, 0)][DBLP]
    ZB, 2003, pp:168-177 [Conf]
  19. Jean-Raymond Abrial, Dominique Cansell, Guy Laffitte
    "Higher-Order" Mathematics in B. [Citation Graph (0, 0)][DBLP]
    ZB, 2002, pp:370-393 [Conf]
  20. 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]
  21. Jean-Raymond Abrial, Dominique Cansell, Dominique Méry
    Refinement and Reachability in EventB. [Citation Graph (0, 0)][DBLP]
    ZB, 2005, pp:222-241 [Conf]
  22. Jean-Raymond Abrial, Louis Mussat
    On Using Conditional Definitions in Formal Theories. [Citation Graph (0, 0)][DBLP]
    ZB, 2002, pp:242-269 [Conf]
  23. 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]
  24. Jean-Raymond Abrial
    Train Systems. [Citation Graph (0, 0)][DBLP]
    RODIN Book, 2006, pp:1-36 [Conf]
  25. Jean-Raymond Abrial
    Tools for Developing Large Systems (A Proposal). [Citation Graph (0, 0)][DBLP]
    RODIN Book, 2006, pp:387-390 [Conf]
  26. 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]
  27. 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]
  28. 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]
  29. 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]
  30. Jean-Raymond Abrial
    Refinement, Decomposition and Instantiation of Discrete Models. [Citation Graph (0, 0)][DBLP]
    Abstract State Machines, 2005, pp:17-40 [Conf]
  31. 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]
  32. 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]

  33. A Roadmap for the Rodin Toolset. [Citation Graph (, )][DBLP]


  34. Event-B Decomposition for Parallel Programs. [Citation Graph (, )][DBLP]


  35. 06191 Summary -- Rigorous Methods for Software Construction and Analysis. [Citation Graph (, )][DBLP]


  36. 06191 Abstracts Collection -- Rigorous Methods for Software Construction and Analysis. [Citation Graph (, )][DBLP]


  37. Modelling and Proof of a Tree-Structured File System in Event-B and Rodin. [Citation Graph (, )][DBLP]


  38. Using Design Patterns in Formal Methods: An Event-B Approach. [Citation Graph (, )][DBLP]


  39. Developing Topology Discovery in Event-B. [Citation Graph (, )][DBLP]


  40. Event-B Patterns and Their Tool Support. [Citation Graph (, )][DBLP]


  41. Faultless Systems: Yes We Can!. [Citation Graph (, )][DBLP]


Search in 0.299secs, Finished in 0.302secs
NOTICE1
System may not be available sometimes or not working properly, since it is still in development with continuous upgrades
NOTICE2
The rankings that are presented on this page should NOT be considered as formal since the citation info is incomplete in DBLP
 
System created by asidirop@csd.auth.gr [http://users.auth.gr/~asidirop/] © 2002
for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002