Jean-Raymond Abrial - Concepedia

Author

Jean-Raymond Abrial

ETH Zurich

Also Known As

Abrial, Jean-Raymond, Dominique Cansell, Jean-Raymond Abrial, Jean-raymond Abrial

Publications

Citations

H-Index

Concepts

All Affiliations

ETH Zurich Délégation Provence et Corse École Polytechnique Fédérale de Lausanne Shanghai University of Engineering Science University of Southampton

About

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

Top Concepts

#	Concept	H-Index	Publications	Citations
1	Engineering	10	11	1K
2	Computer Science	8	8	938
3	Social Sciences	2	2	94
4	Computer Engineering	2	2	62
5	Language Studies	1	1	69

Jean-Raymond Abrial

Publications

1.5K

Citations

H-Index

Page 1

	Year	Citations
Rodin: an open toolset for modelling and reasoning in Event-B Jean-Raymond Abrial, Michael Butler, Stefan Hallerstede, International Journal on Software Tools for Technology Transfer ReasoningEngineeringData ScienceReasoning SystemAutomated Reasoning	2010	663
Refinement, Decomposition, and Instantiation of Discrete Models: Application to Event-B Jean-Raymond Abrial, Stefan Hallerstede	2007	220
A Mechanically Proved and Incremental Development of IEEE 1394 Tree Identify Protocol Jean-Raymond Abrial, Dominique Cansell Formal Aspects of Computing	2003	87
Formal methods in industry Jean-Raymond Abrial B Formal MethodEngineeringIndustrial EngineeringProject ManagementSoftware Engineering	2006	84
Roadmap for enhanced languages and methods to aid verification Gary T. Leavens, Jean-Raymond Abrial, Don Batory, Software MaintenanceEngineeringVerificationSoftware EngineeringSoftware Analysis	2006	69
Formalizing hybrid systems with Event-B and the Rodin Platform Wen Su, Jean-Raymond Abrial, Huibiao Zhu Science of Computer Programming Event-driven ArchitectureEngineeringDiscrete Event SystemAutomated ReasoningEvent-driven Programming	2014	52
Formal Methods: Theory Becoming Practice Jean-Raymond Abrial	2020	49
Formal Methods for Industrial Applications, Specifying and Programming the Steam Boiler Control (the book grow out of a Dagstuhl Seminar, June 1995). Jean-Raymond Abrial, Egon Börger, Hans Langmaack Formal SpecificationEngineeringSteam Boiler ControlIndustrial EngineeringFormal Modeling	1996	48
Event-B patterns and their tool support Thai Son Hoang, Andreas Fürst, Jean-Raymond Abrial Software & Systems Modeling Event ProcessingEngineeringData ScienceAutomated ReasoningProgram Analysis	2011	46
Faultless Systems: Yes We Can! Jean-Raymond Abrial Computer	2009	40

Page 1