Michael J. Butler
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
56
Venues
23
Active years
1991–2024
Best venue rank
B
Where they publish
- BFM8 papers
- CICFEM7 papers
- BSEFM5 papers
- NationalTASE5 papers
- BICECCS5 papers
- CICTAC3 papers
- CMEDI3 papers
- BIFM3 papers
- BCOMPSAC2 papers
- BCONCUR2 papers
- ARE1 paper
- AMODELS1 paper
- BECSA1 paper
- CFMICS1 paper
- NationalSETTA1 paper
- AISSRE1 paper
- NationalIRI1 paper
- CMODELSWARD1 paper
- BITP1 paper
- CTAP1 paper
- BGPCE1 paper
- CCoordination1 paper
- BMPC1 paper
Papers
56 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2024 | RE | CuneiForm Method for Assuring the Safety of ML-Based Computer Vision Development Datasets. | Haider Al-Shareefy, Michael J. Butler, Thai Son Hoang |
| 2023 | COMPSAC | A Rigorous Iterative Analysis Approach for Capturing the Safety Requirements of Self-Driving Vehicle Systems. | Fahad Alotaibi, Thai Son Hoang, Michael J. Butler |
| 2023 | ICTAC | Formal Language Semantics for Triggered Enable Statecharts with a Run-to-Completion Scheduling. | Karla Vanessa Morris Wright, Thai Son Hoang, Colin F. Snook, Michael J. Butler |
| 2022 | COMPSAC | High-Level Rigorous Template for Analysing Safety Properties of Self-driving Vehicle Systems. | Fahad Alotaibi, Thai Son Hoang, Michael J. Butler |
| 2022 | MEDI | Generating SPARK from Event-B, Providing Fundamental Safety and Security. | Asieh Salehi Fathabadi, Dana Dghaym, Thai Son Hoang, Michael J. Butler, Colin F. Snook |
| 2022 | MODELS | A lightweight approach to the concurrent use and integration of SysML and formal methods in systems design. | Robert Thorburn, Vladimiro Sassone, Asieh Salehi Fathabadi, Leonardo Aniello, Michael J. Butler, Dana Dghaym, Thai Son Hoang |
| 2022 | SEFM | Building an Extensible Textual Framework for the Rodin Platform. | Thai Son Hoang, Colin F. Snook, Dana Dghaym, Asieh Salehi Fathabadi, Michael J. Butler |
| 2022 | SEFM | Developing the UML-B Modelling Tools. | Colin F. Snook, Michael J. Butler, Thai Son Hoang, Asieh Salehi Fathabadi, Dana Dghaym |
| 2021 | MEDI | Refinable Record Structures in Formal Methods. | Asieh Salehi Fathabadi, Colin F. Snook, Thai Son Hoang, Dana Dghaym, Michael J. Butler |
| 2021 | TASE | Reasoning About Real-Time Systems in Event-B Models with Fairness Assumptions. | Chenyang Zhu, Michael J. Butler, Corina Crstea, Thai Son Hoang |
| 2020 | ECSA | Formal Verification of Run-to-Completion Style Statecharts Using Event-B. | Karla Morris, Colin F. Snook, Thai Son Hoang, Geoffrey C. Hulette, Robert C. Armstrong, Michael J. Butler |
| 2020 | FMICS | The First Twenty-Five Years of Industrial Use of the B-Method. | Michael J. Butler, Philipp Krner, Sebastian Krings, Thierry Lecomte, Michael Leuschel, Luis-Fernando Mejia, Laurent Voisin |
| 2020 | TASE | Real-Time Trigger-Response Properties for Event-B Applied to the Pacemaker. | Chenyang Zhu, Michael J. Butler, Corina Crstea |
| 2019 | FM | SEB-CG: Code Generation Tool with Algorithmic Refinement Support for Event-B. | Mohammadsadegh Dalvandi, Michael J. Butler, Asieh Salehi Fathabadi |
| 2019 | ICECCS | Behaviour-Driven Formal Model Development of the ETCS Hybrid Level 3. | Michael J. Butler, Dana Dghaym, Thai Son Hoang, Tope Omitola, Colin F. Snook, Andreas Fellner, Rupert Schlick, Thorsten Tarrach, Tomas Fischer, Peter Tummeltshammer |
| 2019 | MEDI | Domain-Specific Scenarios for Refinement-Based Methods. | Colin F. Snook, Thai Son Hoang, Dana Dghaym, Michael J. Butler |
| 2019 | TASE | Towards Refinement Semantics of Real-Time Trigger-Response Properties in Event-B. | Chenyang Zhu, Michael J. Butler, Corina Crstea |
| 2018 | ICECCS | Reusing Formal Models via Lifting. | Dana Dghaym, Colin F. Snook, Thai Son Hoang, Michael J. Butler |
| 2018 | ICFEM | Behaviour-Driven Formal Model Development. | Colin F. Snook, Thai Son Hoang, Dana Dghaym, Michael J. Butler, Tomas Fischer, Rupert Schlick, Keming Wang |
| 2018 | SETTA | Developing A New Language to Construct Algebraic Hierarchies for Event-B. | James Snook, Michael J. Butler, Thai Son Hoang |
| 2018 | TASE | Semantics of Real-Time Trigger-Response Properties in Event-B. | Chenyang Zhu, Michael J. Butler, Corina Crstea |
| 2017 | ICECCS | Extending ERS for Modelling Dynamic Workflows in Event-B. | Dana Dghaym, Michael J. Butler, Asieh Salehi Fathabadi |
| 2017 | ICECCS | A Composition Mechanism for Refinement-Based Methods. | Thai Son Hoang, Dana Dghaym, Colin F. Snook, Michael J. Butler |
| 2017 | ICTAC | Class-Diagrams for Abstract Data Types. | Thai Son Hoang, Colin F. Snook, Dana Dghaym, Michael J. Butler |
| 2017 | ISSRE | Formal Development of Policing Functions for Intelligent Systems. | Chris Bogdiukiewicz, Michael J. Butler, Thai Son Hoang, Martin Paxton, James Snook, Xanthippe Waldron, Toby Wilkinson |
| 2016 | ICFEM | Modelling Hybrid Systems in Event-B and Hybrid Event-B: A Comparison of Water Tanks. | Richard Banach, Michael J. Butler |
| 2014 | IFM | Applying an Integrated Modelling Process to Run-time Management of Many-Core Systems. | Asieh Salehi Fathabadi, Colin F. Snook, Michael J. Butler |
| 2013 | IRI | Problem decomposition and sub-model reconciliation of control systems in Event-B. | Sanaz Yeganefard, Michael J. Butler |
| 2013 | ICTAC | Cruise Control in Hybrid Event-B. | Richard Banach, Michael J. Butler |
| 2013 | MODELSWARD | Systematic Development of Control Designs via Formal Refinement. | Manoranjan Satpathy, Colin F. Snook, Silky Arora, S. Ramesh, Michael J. Butler |
| 2012 | ICECCS | Control Systems: Phenomena and Structuring Functional Requirement Documents. | Sanaz Yeganefard, Michael J. Butler |
| 2012 | SEFM | A Practical Approach for Closed Systems Formal Verification Using Event-B. | Brett Bicknell, Jose Reis, Michael J. Butler, John Colley, Colin F. Snook |
| 2012 | SEFM | A Systematic Approach to Atomicity Decomposition in Event-B. | Asieh Salehi Fathabadi, Michael J. Butler, Abdolbaghi Rezazadeh |
| 2010 | ITP | Rewriting and Well-Definedness within a Proof System. | Issam Maamria, Michael J. Butler |
| 2009 | FM | Language and Tool Support for Class and State Machine Refinement in UML-B. | Mar Yah Said, Michael J. Butler, Colin F. Snook |
| 2009 | ICFEM | Supporting Reuse of Event-B Developments through Generic Instantiation. | Renato Silva, Michael J. Butler |
| 2009 | IFM | Decomposition Structures for Event-B. | Michael J. Butler |
| 2008 | ICFEM | Modelling and Proof of a Tree-Structured File System in Event-B and Rodin. | Kriangsak Damchoom, Michael J. Butler, Jean-Raymond Abrial |
| 2007 | TAP | Automatic Testing from Formal Specifications. | Manoranjan Satpathy, Michael J. Butler, Michael Leuschel, S. Ramesh |
| 2007 | TASE | Symmetry Reduced Model Checking for B. | Edd Turner, Michael Leuschel, Corinna Spermann, Michael J. Butler |
| 2006 | FM | A Proposal for Records in Event-B. | Neil Evans, Michael J. Butler |
| 2006 | GPCE | Roadmap for enhanced languages and methods to aid verification. | Gary T. Leavens, Jean-Raymond Abrial, Don S. Batory, Michael J. 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 |
| 2006 | ICFEM | An Open Extensible Tool Environment for Event-B. | Jean-Raymond Abrial, Michael J. Butler, Stefan Hallerstede, Laurent Voisin |
| 2005 | CONCUR | Comparing Two Approaches to Compensable Flow Composition. | Roberto Bruni, Michael J. Butler, Carla Ferreira, C. A. R. Hoare, Hernn C. Melgratti, Ugo Montanari |
| 2005 | FM | Combining CSP and B for Specification and Property Verification. | Michael J. Butler, Michael Leuschel |
| 2005 | ICFEM | Automatic Refinement Checking for B. | Michael Leuschel, Michael J. Butler |
| 2004 | Coordination | An Operational Semantics for StAC, a Language for Modelling Long-Running Business Transactions. | Michael J. Butler, Carla Ferreira |
| 2003 | FM | ProB: A Model Checker for B. | Michael Leuschel, Michael J. Butler |
| 2003 | SEFM | Towards Formalizing UML State Diagrams in CSP. | Muan Yong Ng, Michael J. Butler |
| 2002 | ICFEM | Tool Support for Visualizing CSP in UML. | Muan Yong Ng, Michael J. Butler |
| 2001 | FM | Transacted Memory for Smart Cards. | Pieter H. Hartel, Michael J. Butler, Eduard de Jong, Mark Longley |
| 2000 | IFM | A Process Compensation Language. | Michael J. Butler, Carla Ferreira |
| 1999 | FM | csp2B: A Practical Approach to Combining CSP and B. | Michael J. Butler |
| 1995 | MPC | Exploring Summation and Product Operators in the Refinement Calculus. | Ralph-Johan Back, Michael J. Butler |
| 1993 | CONCUR | Refinement and Decomposition of Value-Passing Action Systems. | Michael J. Butler |
| 1991 | FM | Behavioural Extension for CSP. | Michael J. Butler |