Concepedia

Jean-Raymond Abrial

JA

16

Publications

1.5K

Citations

14

H-Index

1996

Active since

Affiliations

ETH Zurich(Current)

Délégation Provence et Corse

École Polytechnique Fédérale de Lausanne

Shanghai University of Engineering Science

University of Southampton

Jean-Raymond Abrial is an author at ETH Zurich specializing in engineering, formal methods, and computer science.

Top concepts

EngineeringFormal MethodsComputer ScienceSoftware DesignAutomated ReasoningFormal VerificationSoftware EngineeringSystem SoftwareSystems EngineeringProgram Analysis

Publications per year

1996–2020

16

Publications

16

Rodin: an open toolset for modelling and reasoning in Event-B

Jean-Raymond Abrial, Michael Butler, Stefan Hallerstede et al. · International Journal on Software Tools for Technology Transfer · 2010 · 663 citations

Reasoning, Engineering, Data Science +13

Refinement, Decomposition, and Instantiation of Discrete Models: Application to Event-B

Jean-Raymond Abrial, Stefan Hallerstede · 2007 · 220 citations

A Mechanically Proved and Incremental Development of IEEE 1394 Tree Identify Protocol

Jean-Raymond Abrial, Dominique Cansell · Formal Aspects of Computing · 2003 · 87 citations

Formal methods in industry

Jean-Raymond Abrial · 2006 · 84 citations

B Formal Method, Engineering, Industrial Engineering +20

Roadmap for enhanced languages and methods to aid verification

Gary T. Leavens, Jean-Raymond Abrial, Don Batory et al. · 2006 · 69 citations

Software Maintenance, Engineering, Verification +24

Rows per page

1–5 of 16