Jean-Raymond Abrial

Jean-Raymond Abrial's AcademicInfluence.com Rankings

Jean-Raymond Abrial

Computer Science

#594

World Rank

#614

Historical Rank

Database

#434

World Rank

#456

Historical Rank

computer-science Degrees

Download Badge

Computer Science

Why Is Jean-Raymond Abrial Influential?

(Suggest an Edit or Addition)

According to Wikipedia, Jean-Raymond Abrial is a French computer scientist and inventor of the Z and B formal methods. Abrial was a student at the École Polytechnique . Abrial's 1974 paper Data Semantics laid the foundation for a formal approach to Data Models; although not adopted directly by practitioners, it directly influenced all subsequent models from the Entity-Relationship Model through to RDF.

(See a Problem?)

Jean-Raymond Abrial's Published Works

Number of citations in a given year to any of this author's works

Total number of citations to an author for the works they published in a given year. This highlights publication of the most important work(s) by the author

Published Works

The B-book - assigning programs to meanings (1996) (2980)
Modeling in Event-B - System and Software Engineering (2010) (1428)
Rodin: an open toolset for modelling and reasoning in Event-B (2010) (636)
Refinement, Decomposition, and Instantiation of Discrete Models: Application to Event-B (2007) (286)
Formal methods for industrial applications : specifying and programming the steam boiler control (1996) (238)
Introducing Dynamic Constraints in B (1998) (233)
An Open Extensible Tool Environment for Event-B (2006) (218)
The B-Method (1991) (151)
Formal methods in industry: achievements, problems, future (2006) (111)
Click'n Prove: Interactive Proofs within Set Theory (2003) (109)
Steam-Boiler Control Specification Problem (1995) (101)
A Mechanically Proved and Incremental Development of IEEE 1394 Tree Identify Protocol (2003) (98)
Roadmap for enhanced languages and methods to aid verification (2006) (90)
Formal Methods for Industrial Applications (1996) (89)
A System Development Process with Event-B and the Rodin Platform (2007) (76)
Event Based Sequential Program Development: Application to Constructing a Pointer Program (2003) (74)
Refinement and Reachability in EventB (2005) (72)
B#: Toward a Synthesis between Z and B (2003) (66)
Event-B patterns and their tool support (2009) (64)
Formal Methods: Theory Becoming Practice (2007) (60)
Formalizing hybrid systems with Event-B and the Rodin Platform (2014) (53)
Reasoning about Liveness Properties in Event-B (2011) (51)
Developing topology discovery in Event-B (2009) (50)
Modelling and Proof of a Tree-Structured File System in Event-B and Rodin (2008) (47)
Formalizing Hybrid Systems with Event-B (2012) (46)
Faultless Systems: Yes We Can! (2009) (40)
A Formal Approach To Large Software Construction (1989) (39)
Formal Construction of a Non-blocking Concurrent Queue Algorithm (a Case Study in Atomicity) (2005) (36)
Aircraft landing gear system: approaches with Event-B to the modeling of an industrial system (2014) (35)
Formal Derivation of Spanning Trees Algorithms (2003) (35)
The Stream Boiler Case Study: Competition of Formal Program Specification and Development Methods (1995) (34)
Event Model Decomposition (2009) (33)
On Using Conditional Definitions in Formal Theories (2002) (32)
Event-B Decomposition for Parallel Programs (2010) (31)
The B Tool (Abstract) (1988) (31)
Specification and Design of a Transmission Protocol by Successive Refinements Using B1 (1997) (31)
Rigorous Methods for Software Construction and Analysis, Essays Dedicated to Egon Börger on the Occasion of His 60th Birthday (2009) (29)
Modeling in Event-B: A simple file transfer protocol (2010) (28)
Modelling and Refining Hybrid Systems in Event-B and Rodin (2016) (28)
Data Semantics (1974) (27)
The Challenge of Probabilistic Event B - Extended Abstract (2005) (26)
The Rodin Platform Has Turned Ten (2014) (23)
From Requirements to Development: Methodology and Example (2011) (21)
Specification Language (1980) (21)
On Constructing Large Software Systems (1992) (19)
Using Design Patterns in Formal Methods: An Event-B Approach (2008) (19)
Programming as a mathematical exercise (1984) (18)
The specification language Z (1980) (17)
A Roadmap for the Rodin Toolset (2008) (16)
"Higher-Order" Mathematics in B (2002) (15)
Complementary Methodologies for Developing Hybrid Systems with Event-B (2012) (15)
From Z to B and then Event-B: Assigning Proofs to Meaningful Programs (2013) (15)
Refinement, Decomposition and Instantiation of Discrete Models (2005) (14)
Train Systems (2006) (14)
Formal Development of a Real-Time Operating System Memory Manager (2015) (13)
The ABZ-2018 case study with Event-B (2019) (13)
The Mathematical Construction of a Program (1984) (12)
On B and Event-B: Principles, Success and Challenges (2018) (11)
Discrete System Models (2002) (11)
Modeling in Event-B: Train system (2010) (10)
A Refinement Case Study (using the Abstract Machine Notation) (1991) (9)
Non-Deterministic System Specification (1979) (7)
KWIC-index generation (1981) (5)
Guidelines to Formal System Studies (5)
The B-Book: What is B? (1996) (5)
Formal modelling of list based dynamic memory allocators (2018) (5)
09381 Extended Abstracts Collection - Refinement Based Methods for the Construction of Dependable Systems (2009) (3)
Example 2: KWIC index generation (1981) (3)
Rodin Manual and Language Definition (2009) (3)
On Constructing Large Computerized Systems ( a position paper ) (2005) (3)
Controlling cars on a bridge (2010) (3)
The B-Book: Summary of Notations (1996) (2)
Development of a concurrent program (2010) (2)
Development of a Network Topology Discovery Algorithm (2009) (2)
Event-B development of the FindP program (2010) (2)
A mechanical press controller (2010) (1)
Set-Theoretic Models of Computations (2013) (1)
Specification and Design of the Leader Election Protocol of IEEE 1394 (2001) (1)
Tools for Developing Large Systems (A Proposal) (2006) (1)
A roadmap for the Rodin toolset ? Version 1 . 0 : 12 June 2008 (2008) (1)
Bounded Retransmission Protocol (2007) (0)
06191 Summary -- Rigorous Methods for Software Construction and Analysis (2007) (0)
Link State Routing Development (2008) (0)
7. Concurrent Program Development (2009) (0)
The B-Book: Formal Definition of Abstract Machines (1996) (0)
Routing algorithm for a mobile agent (2010) (0)
The B-Book: Programming Examples (1996) (0)
Rigorous Methods for Software Construction and Analysis, 07.05. - 12.05.2006 (2006) (0)
Deliverable D8 D10.1 "Teaching Materials" --- Summary Materials (2008) (0)
Aircraft landing gear system: approaches with Event-B to the modeling of an industrial system (2015) (0)
A Practical Approach to the Analysis of Concurrent Systems (1983) (0)
06191 Abstracts Collection -- Rigorous Methods for Software Construction and Analysis (2007) (0)
The B-Book: Sequencing and Loop (1996) (0)
Leader election on a ring-shaped network (2010) (0)
Modeling in Event-B: Prologue: Faultless systems – yes we can! (2010) (0)
The B-Book: Constructing Large Abstract Machines (1996) (0)
The B-Book: Mathematical Reasoning (1996) (0)
Mathematical models for proof obligations (2010) (0)
The B-Book: Rules and Axioms (1996) (0)
The B-Book: Definitions (1996) (0)
Leader election on a connected graph network (2010) (0)
The B-Book: Constructing Large Software Systems (1996) (0)
Formal modelling of list based dynamic memory allocators (2018) (0)
Bounded Re-transmission Protocol (2010) (0)
Deliverable D8 D10.1 "Teaching Materials" --- Rodin Platform Archives (2008) (0)
The B-Book: Introduction (1996) (0)
The B-Book: Examples of Refinements (1996) (0)
The ABZ-2018 case study with Event-B (2019) (0)
A location access controller (2010) (0)
Specifying Access Control in Event-B Thai (2009) (0)
The B-Book: Examples of Abstract Machines (1996) (0)
The B-Book: Proof Obligations (1996) (0)
Synchronizing a tree-shaped network (2010) (0)
Definitions and Requirements Document Gradually Introducing Some Simple Fea- Tures Will Eventually Result in a Global Improvement in the Software Development Situation. Faultless Systems: Yes We Can! (0)
The Event-B modeling notation and proof obligation rules (2010) (0)
Deliverable D8 D10.1 "Teaching Materials" --- Exercises (2008) (0)
Development of electronic circuits (2010) (0)
Formal Proof of the Weak Goodstein Theorem (2016) (0)
Deliverable D8 D10.1 "Teaching Materials" --- Lecture Materials (2008) (0)
The B-Book: Introduction to Abstract Machines (1996) (0)
Development of sequential programs (2010) (0)
An Exercise in Mathematical Engineering: Stating and Proving Kuratowski Theorem (2015) (0)
Methods for Semantics and Specification (Dagstuhl Seminar 9523) (2021) (0)
Software engineering mathematics (2005) (0)
The B-Book: Theory of Abstract Machines (1996) (0)
Event Model Decomposition ( version 1 . 3 April 2009 ) (2009) (0)
The B-Book: Refinement (1996) (0)
A Light Simulator-Veri cator for Timed Abstract State Machines (2006) (0)
Event-B Decomposition for Parallel Programs — Extended Abstract — ? (2009) (0)

This paper list is powered by the following services:

Other Resources About Jean-Raymond Abrial

en.wikipedia.org

What Schools Are Affiliated With Jean-Raymond Abrial?

Jean-Raymond Abrial is affiliated with the following schools: