Stop the war!Остановите войну!
for scientists:
default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDMichael J. Butler
Person information
- affiliation: University of Southampton, UK
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
showing all ?? records
2020 – today
- 2024
[c128]Haider Al-Shareefy, Michael J. Butler, Thai Son Hoang:
CuneiForm Method for Assuring the Safety of ML-Based Computer Vision Development Datasets. RE Workshops 2024: 214-221- [c127]Fahad Alotaibi
, Thai Son Hoang, Asieh Salehi Fathabadi, Michael J. Butler:
Event-B Development of Modelling Human Intervention Request in Self-driving Vehicle Systems. ABZ 2024: 43-60 - [c126]Mehmet Said Nur Yagmahan, Abdolbaghi Rezazadeh, Michael J. Butler:
An Event-B Formal Model for Access Control and Resource Management of Serverless Apps. ABZ 2024: 181-190 - [c125]Thai Son Hoang, Laurent Voisin, Karla Vanessa Morris Wright, Colin F. Snook, Michael J. Butler:
Semantics Formalisation - From Event-B Contexts to Theories. ABZ 2024: 208-214 - [c124]Asieh Salehi Fathabadi, Colin F. Snook, Thai Son Hoang, Robert Thorburn, Michael J. Butler, Leonardo Aniello, Vladimiro Sassone:
Designing Exception Handling Using Event-B. ABZ 2024: 270-277 - [i8]Haider Al-Shareefy, Michael J. Butler, Thai Son Hoang:
An AIC-based approach for articulating unpredictable problems in open complex environments. CoRR abs/2403.14697 (2024) - 2023
- [j47]Chenyang Zhu, Michael J. Butler, Corina Cîrstea, Thai Son Hoang:
A fairness-based refinement strategy to transform liveness properties in Event-B models. Sci. Comput. Program. 225: 102907 (2023) - [c123]Fahad Alotaibi, Thai Son Hoang, Michael J. Butler:
A Rigorous Iterative Analysis Approach for Capturing the Safety Requirements of Self-Driving Vehicle Systems. COMPSAC 2023: 1697-1702 - [c122]Haider Al-Shareefy, Michael J. Butler, Thai Son Hoang:
AIC Approach for Intelligent Systems Requirements Elicitation. ICSRS 2023: 570-579 - [c121]Karla Vanessa Morris Wright, Thai Son Hoang, Colin F. Snook, Michael J. Butler:
Formal Language Semantics for Triggered Enable Statecharts with a Run-to-Completion Scheduling. ICTAC 2023: 178-195 - [c120]Michael Akintunde, Victoria Young, Vahid Yazdanpanah, Asieh Salehi Fathabadi, Pauline Leonard, Michael J. Butler, Luc Moreau:
Verifiably Safe and Trusted Human-AI Systems: A Socio-technical Perspective. TAS 2023: 56:1-56:6 - [c119]Asieh Salehi Fathabadi, Colin F. Snook, Dana Dghaym, Thai Son Hoang, Fahad Alotaibi, Michael J. Butler:
Designing Critical Systems Using Hierarchical STPA and Event-B. ABZ 2023: 220-237 - 2022
- [j46]Karla Morris, Colin F. Snook, Thai Son Hoang, Geoffrey C. Hulette, Robert C. Armstrong, Michael J. Butler:
Formal verification and validation of run-to-completion style state charts using Event-B. Innov. Syst. Softw. Eng. 18(4): 523-541 (2022) - [c118]Fahad Alotaibi, Thai Son Hoang, Michael J. Butler:
High-Level Rigorous Template for Analysing Safety Properties of Self-driving Vehicle Systems. COMPSAC 2022: 1643-1648 - [c117]Asieh Salehi Fathabadi, Dana Dghaym, Thai Son Hoang, Michael J. Butler, Colin F. Snook:
Generating SPARK from Event-B, Providing Fundamental Safety and Security. MEDI Workshops 2022: 179-192 - [c116]Robert Thorburn, Vladimiro Sassone, Asieh Salehi Fathabadi, Leonardo Aniello, Michael J. Butler, Dana Dghaym, Thai Son Hoang:
A lightweight approach to the concurrent use and integration of SysML and formal methods in systems design. MoDELS (Companion) 2022: 83-84 - [c115]Thai Son Hoang, Colin F. Snook, Dana Dghaym, Asieh Salehi Fathabadi, Michael J. Butler:
Building an Extensible Textual Framework for the Rodin Platform. SEFM Workshops 2022: 132-147 - [c114]Colin F. Snook, Michael J. Butler, Thai Son Hoang, Asieh Salehi Fathabadi, Dana Dghaym:
Developing the UML-B Modelling Tools. SEFM Workshops 2022: 181-188 - 2021
- [j45]Colin F. Snook, Thai Son Hoang, Dana Dghaym, Asieh Salehi Fathabadi, Michael J. Butler:
Domain-specific scenarios for refinement-based methods. J. Syst. Archit. 112: 101833 (2021) - [c113]Dana Dghaym, Thai Son Hoang, Michael J. Butler, Runshan Hu, Leonardo Aniello, Vladimiro Sassone:
Verifying System-Level Security of a Smart Ballot Box. ABZ 2021: 34-49 - [c112]Thai Son Hoang, Colin F. Snook, Dana Dghaym, Asieh Salehi Fathabadi, Michael J. Butler:
The CamilleX Framework for the Rodin Platform. ABZ 2021: 124-129 - [c111]Asieh Salehi Fathabadi, Colin F. Snook, Thai Son Hoang, Dana Dghaym, Michael J. Butler:
Extensible Record Structures in Event-B. ABZ 2021: 130-136 - [c110]Asieh Salehi Fathabadi, Colin F. Snook, Thai Son Hoang, Dana Dghaym, Michael J. Butler:
Refinable Record Structures in Formal Methods. MEDI Workshops 2021: 3-15 - [c109]Chenyang Zhu, Michael J. Butler, Corina Cîrstea, Thai Son Hoang:
Reasoning About Real-Time Systems in Event-B Models with Fairness Assumptions. TASE 2021: 143-150 - 2020
- [j44]Asieh Salehi Fathabadi, Mohammadsadegh Dalvandi, Michael J. Butler, Bashir M. Al-Hashimi:
Verifying Cross-Layer Interactions Through Formal Model-Based Assertion Generation. IEEE Embed. Syst. Lett. 12(3): 83-86 (2020) - [j43]Chenyang Zhu, Michael J. Butler, Corina Cîrstea:
Formalizing hierarchical scheduling for refinement of real-time systems. Sci. Comput. Program. 189: 102390 (2020) - [j42]Chenyang Zhu, Michael J. Butler, Corina Cîrstea:
Trace semantics and refinement patterns for real-time properties in event-B models. Sci. Comput. Program. 197: 102513 (2020) - [j41]Michael J. Butler, Alexander Raschke:
Abstract State Machines, Alloy, B, TLA, VDM and Z (ABZ 2018). Sci. Comput. Program. 197: 102514 (2020) - [j40]Michael J. Butler, Thai Son Hoang, Alexander Raschke, Klaus Reichl:
Introduction to special section on the ABZ 2018 case study: Hybrid ERTMS/ETCS Level 3. Int. J. Softw. Tools Technol. Transf. 22(3): 249-255 (2020) - [c108]Karla Morris, Colin F. Snook, Thai Son Hoang, Geoffrey C. Hulette, Robert C. Armstrong, Michael J. Butler:
Refinement and Verification of Responsive Control Systems. ABZ 2020: 272-277 - [c107]Karla Morris, Colin F. Snook, Thai Son Hoang, Geoffrey C. Hulette, Robert C. Armstrong, Michael J. Butler:
Formal Verification of Run-to-Completion Style Statecharts Using Event-B. ECSA Companion 2020: 311-325 - [c106]Michael J. Butler, Philipp Körner, Sebastian Krings, Thierry Lecomte, Michael Leuschel, Luis-Fernando Mejia, Laurent Voisin:
The First Twenty-Five Years of Industrial Use of the B-Method. FMICS 2020: 189-209 - [c105]Chenyang Zhu, Michael J. Butler, Corina Cîrstea:
Real-Time Trigger-Response Properties for Event-B Applied to the Pacemaker. TASE 2020: 57-64
2010 – 2019
- 2019
- [j39]Giles Howard, Michael J. Butler, John Colley, Vladimiro Sassone:
A methodology for assuring the safety and security of critical infrastructure based on STPA and Event-B. Int. J. Crit. Comput. Based Syst. 9(1/2): 56-75 (2019) - [c104]Tope Omitola, Abdolbaghi Rezazadeh, Michael J. Butler:
Making (Implicit) Security Requirements Explicit for Cyber-Physical Systems: A Maritime Use Case Security Analysis. DEXA Workshops 2019: 75-84 - [c103]Mohammadsadegh Dalvandi, Michael J. Butler, Asieh Salehi Fathabadi:
SEB-CG: Code Generation Tool with Algorithmic Refinement Support for Event-B. FM Workshops (1) 2019: 19-29 - [c102]Michael J. Butler, Dana Dghaym, Thai Son Hoang, Tope Omitola, Colin F. Snook, Andreas Fellner, Rupert Schlick, Thorsten Tarrach, Tomas Fischer, Peter Tummeltshammer:
Behaviour-Driven Formal Model Development of the ETCS Hybrid Level 3. ICECCS 2019: 97-106 - [c101]Colin F. Snook, Thai Son Hoang, Dana Dghaym, Michael J. Butler:
Domain-Specific Scenarios for Refinement-Based Methods. MEDI Workshops 2019: 18-31 - [c100]Chenyang Zhu, Michael J. Butler, Corina Cîrstea:
Towards Refinement Semantics of Real-Time Trigger-Response Properties in Event-B. TASE 2019: 1-8 - 2018
- [j38]Asieh Salehi Fathabadi, Michael J. Butler, Sheng Yang, Luis Alfonso Maeda-Nunez, James R. B. Bantock, Bashir M. Al-Hashimi, Geoff V. Merrett:
A model-based framework for software portability and verification in embedded power management systems. J. Syst. Archit. 82: 12-23 (2018) - [j37]Michael J. Butler, Klaus-Dieter Schewe:
Introduction to the ABZ 2016 Special issue. Sci. Comput. Program. 158: 1-2 (2018) - [j36]Thai Son Hoang, Colin F. Snook, Asieh Salehi Fathabadi, Michael J. Butler, Lukas Ladenberger:
Validating and verifying the requirements and design of a haemodialysis machine using the Rodin toolset. Sci. Comput. Program. 158: 122-147 (2018) - [c99]Chenyang Zhu, Michael J. Butler, Corina Cîrstea:
Refinement of Timing Constraints for Concurrent Tasks with Scheduling. ABZ 2018: 219-233 - [c98]Mohammadsadegh Dalvandi, Michael J. Butler, Abdolbaghi Rezazadeh, Asieh Salehi Fathabadi:
Verifiable Code Generation from Scheduled Event-B Models. ABZ 2018: 234-248 - [c97]Thai Son Hoang, Michael J. Butler, Klaus Reichl:
The Hybrid ERTMS/ETCS Level 3 Case Study. ABZ 2018: 251-261 - [c96]Karla Morris, Colin F. Snook, Thai Son Hoang, Robert C. Armstrong, Michael J. Butler:
Refinement of Statecharts with Run-to-Completion Semantics. FTSCS 2018: 121-138 - [c95]Dana Dghaym, Colin F. Snook, Thai Son Hoang, Michael J. Butler:
Reusing Formal Models via Lifting. ICECCS 2018: 189-192 - [c94]Colin F. Snook, Thai Son Hoang, Dana Dghaym, Michael J. Butler, Tomas Fischer, Rupert Schlick, Keming Wang:
Behaviour-Driven Formal Model Development. ICFEM 2018: 21-36 - [c93]James Snook, Michael J. Butler, Thai Son Hoang:
Developing A New Language to Construct Algebraic Hierarchies for Event-B. SETTA 2018: 135-141 - [c92]Chenyang Zhu, Michael J. Butler, Corina Cîrstea:
Semantics of Real-Time Trigger-Response Properties in Event-B. TASE 2018: 150-155 - [e10]Michael J. Butler, Alexander Raschke, Thai Son Hoang, Klaus Reichl:
Abstract State Machines, Alloy, B, TLA, VDM, and Z - 6th International Conference, ABZ 2018, Southampton, UK, June 5-8, 2018, Proceedings. Lecture Notes in Computer Science 10817, Springer 2018, ISBN 978-3-319-91270-7 [contents] - [i7]Naoto Sato, Hironobu Kuruma, Masanori Kaneko, Yuichiroh Nakagawa, Hideto Ogawa, Thai Son Hoang, Michael J. Butler:
DeepSaucer: Unified Environment for Verifying Deep Neural Networks. CoRR abs/1811.03752 (2018) - 2017
- [j35]Richard Banach, Michael J. Butler, Shengchao Qin, Huibiao Zhu:
Core Hybrid Event-B II: Multiple cooperating Hybrid Event-B machines. Sci. Comput. Program. 139: 1-35 (2017) - [j34]Mohammadsadegh Dalvandi, Michael J. Butler, Abdolbaghi Rezazadeh:
Derivation of algorithmic control structures in Event-B refinement. Sci. Comput. Program. 148: 49-65 (2017) - [c91]Giles Howard, Michael J. Butler, John Colley, Vladimiro Sassone:
Formal Analysis of Safety and Security Requirements of Critical Systems Supported by an Extended STPA Methodology. EuroS&P Workshops 2017: 174-180 - [c90]Dana Dghaym, Michael J. Butler, Asieh Salehi Fathabadi:
Extending ERS for Modelling Dynamic Workflows in Event-B. ICECCS 2017: 20-29 - [c89]Thai Son Hoang, Dana Dghaym, Colin F. Snook, Michael J. Butler:
A Composition Mechanism for Refinement-Based Methods. ICECCS 2017: 100-109 - [c88]Thai Son Hoang, Colin F. Snook, Dana Dghaym, Michael J. Butler:
Class-Diagrams for Abstract Data Types. ICTAC 2017: 100-117 - [c87]Chris Bogdiukiewicz, Michael J. Butler, Thai Son Hoang, Martin Paxton, James Snook, Xanthippe Waldron, Toby Wilkinson:
Formal Development of Policing Functions for Intelligent Systems. ISSRE 2017: 194-204 - [c86]Colin F. Snook, Thai Son Hoang, Michael J. Butler:
Analysing Security Protocols Using Refinement in iUML-B. NFM 2017: 84-98 - [c85]Michael J. Butler, Dana Dghaym, Tomas Fischer, Thai Son Hoang, Klaus Reichl, Colin F. Snook, Peter Tummeltshammer:
Formal Modelling Techniques for Efficient Development of Railway Control Products. RSSRail 2017: 71-86 - [c84]Ahmed Al-Brashdi, Michael J. Butler, Abdolbaghi Rezazadeh:
Incremental Database Design using UML-B and Event-B. IMPEX/FM&MDD 2017: 34-47 - [i6]Thai Son Hoang, Laurent Voisin, A. Salehi, Michael J. Butler, Toby Wilkinson, N. Beauger:
Theory Plug-in for Rodin 3.x. CoRR abs/1701.08625 (2017) - 2016
- [j33]Michael J. Butler:
Editorial. Formal Aspects Comput. 28(2): 179-180 (2016) - [c83]Dana Dghaym, Matheus Garay Trindade, Michael J. Butler, Asieh Salehi Fathabadi:
A Graphical Tool for Event Refinement Structures in Event-B. ABZ 2016: 269-274 - [c82]Thai Son Hoang, Colin F. Snook, Lukas Ladenberger, Michael J. Butler:
Validating the Requirements and Design of a Hemodialysis Machine Using iUML-B, BMotion Studio, and Co-Simulation. ABZ 2016: 360-375 - [c81]Richard Banach, Michael J. Butler:
Modelling Hybrid Systems in Event-B and Hybrid Event-B: A Comparison of Water Tanks. ICFEM 2016: 90-105 - [p5]Michael J. Butler, Jean-Raymond Abrial, Richard Banach:
Modelling and Refining Hybrid Systems in Event-B and Rodin. From Action Systems to Distributed Systems 2016: 29-42 - [e9]Michael J. Butler, Klaus-Dieter Schewe, Atif Mashkoor, Miklós Biró:
Abstract State Machines, Alloy, B, TLA, VDM, and Z - 5th International Conference, ABZ 2016, Linz, Austria, May 23-27, 2016, Proceedings. Lecture Notes in Computer Science 9675, Springer 2016, ISBN 978-3-319-33599-5 [contents] - [i5]Ashish Darbari, Iain Singleton, Michael J. Butler, John Colley:
Formal Modelling, Testing and Verification of HSA Memory Models using Event-B. CoRR abs/1605.04744 (2016) - 2015
- [j32]Mohammadsadegh Dalvandi, Michael J. Butler, Abdolbaghi Rezazadeh:
Transforming Event-B Models to Dafny Contracts. Electron. Commun. Eur. Assoc. Softw. Sci. Technol. 72 (2015) - [j31]George Eleftherakis, Michael J. Butler, Mike Hinchey:
Editorial. Formal Aspects Comput. 27(3): 473 (2015) - [j30]Asieh Salehi Fathabadi, Michael J. Butler, Abdolbaghi Rezazadeh:
Language and tool support for event refinement structures in Event-B. Formal Aspects Comput. 27(3): 499-523 (2015) - [j29]Michael J. Butler, Einar Broch Johnsen, Luigia Petre:
Editorial. Formal Aspects Comput. 27(4): 611-612 (2015) - [j28]Richard Banach, Michael J. Butler, Shengchao Qin, Nitika Verma, Huibiao Zhu:
Core Hybrid Event-B I: Single Hybrid Event-B machines. Sci. Comput. Program. 105: 92-123 (2015) - [j27]Eman H. Alkhammash, Michael J. Butler, Asieh Salehi Fathabadi, Corina Cîrstea:
Building traceable Event-B models from requirements. Sci. Comput. Program. 111: 318-338 (2015) - [j26]Mar Yah Said, Michael J. Butler, Colin F. Snook:
A method of refinement in UML-B. Softw. Syst. Model. 14(4): 1557-1580 (2015) - [c80]Mohammadsadegh Dalvandi, Michael J. Butler, Abdolbaghi Rezazadeh:
From Event-B Models to Dafny Code Contracts. FSEN 2015: 308-315 - [c79]Asieh Salehi Fathabadi, Luis Alfonso Maeda-Nunez, Michael J. Butler, Bashir M. Al-Hashimi, Geoff V. Merrett:
Towards Automatic Code Generation of Run-Time Power Management for Embedded Systems Using Formal Methods. MCSoC 2015: 104-111 - [e8]Michael J. Butler, Sylvain Conchon, Fatiha Zaïdi:
Formal Methods and Software Engineering - 17th International Conference on Formal Engineering Methods, ICFEM 2015, Paris, France, November 3-5, 2015, Proceedings. Lecture Notes in Computer Science 9407, Springer 2015, ISBN 978-3-319-25422-7 [contents] - 2014
- [c78]Vitaly Savicks, Michael J. Butler, John Colley:
Co-simulation Environment for Rodin: Landing Gear Case Study. ABZ (Case Study) 2014: 148-153 - [c77]Inna Pereverzeva, Michael J. Butler, Asieh Salehi Fathabadi, Linas Laibinis, Elena Troubitsyna:
Formal Derivation of Distributed MapReduce. ABZ 2014: 238-254 - [c76]Asieh Salehi Fathabadi, Colin F. Snook, Michael J. Butler:
Applying an Integrated Modelling Process to Run-time Management of Many-Core Systems. IFM 2014: 120-135 - [c75]Toby Wilkinson, Michael J. Butler, John Colley:
A Systematic Approach to Requirements Driven Test Generation for Safety Critical Systems. IMBSA 2014: 43-56 - [c74]Vitaly Savicks, Michael J. Butler, John Colley:
Co-simulating event-B and continuous models via FMI. SummerSim 2014: 37 - 2013
- [j25]Eman H. Alkhammash, Asieh Salehi Fathabadi, Michael J. Butler, Corina Cîrstea:
Building Traceable Event-B Models from Requirements. Electron. Commun. Eur. Assoc. Softw. Sci. Technol. 66 (2013) - [j24]Dana Dghaym, Michael J. Butler, Asieh Salehi Fathabadi:
Evaluation of Graphical Control Flow Management Approaches for Event-B Modelling. Electron. Commun. Eur. Assoc. Softw. Sci. Technol. 66 (2013) - [j23]Jonathan P. Bowen, Michael J. Butler, Steve Reeves, Mike Hinchey:
Editorial. Formal Aspects Comput. 25(3): 343 (2013) - [j22]Andrew Ireland, Gudmund Grov, Maria Teresa Llano, Michael J. Butler:
Reasoned modelling critics: Turning failed proofs into modelling guidance. Sci. Comput. Program. 78(3): 293-309 (2013) - [c73]Michael J. Butler, Issam Maamria:
Practical Theory Extension in Event-B. Theories of Programming and Formal Methods 2013: 67-81 - [c72]Manoranjan Satpathy, S. Ramesh, Colin F. Snook, Neeraj Kumar Singh, Michael J. Butler:
A mixed approach to rigorous development of control designs. CACSD 2013: 7-12 - [c71]Richard Banach, Michael J. Butler:
A Hybrid Event-B Study of Lane Centering. CSDM 2013: 97-111 - [c70]Richard Banach, Michael J. Butler:
Cruise Control in Hybrid Event-B. ICTAC 2013: 76-93 - [c69]Sanaz Yeganefard, Michael J. Butler:
Problem decomposition and sub-model reconciliation of control systems in Event-B. IRI 2013: 528-535 - [c68]Manoranjan Satpathy, Colin F. Snook, Silky Arora, S. Ramesh, Michael J. Butler:
Systematic Development of Control Designs via Formal Refinement. MODELSWARD 2013: 143-148 - [c67]Michael J. Butler, John Colley, Andrew Edmunds, Colin F. Snook, Neil Evans, Neil Grant, Helen Marshall:
Modelling and Refinement in CODA. Refine@IFM 2013: 36-51 - [p4]Michael J. Butler, Laurent Voisin, Thomas Muller:
Tooling. Industrial Deployment of System Engineering Methods 2013: 157-185 - [p3]Michael J. Butler:
Mastering System Analysis and Design through Abstraction and Refinement. Engineering Dependable Software Systems 2013: 49-78 - 2012
- [j21]Michael J. Butler:
External and internal choice with event groups in Event-B. Formal Aspects Comput. 24(4-6): 555-567 (2012) - [c66]Andrew Edmunds, Abdolbaghi Rezazadeh, Michael J. Butler:
Formal Modelling for Ada Implementations: Tasking Event-B. Ada-Europe 2012: 119-132 - [c65]Andrew Edmunds, Michael J. Butler, Issam Maamria, Renato Silva, Chris Lovell:
Event-B Code Generation: Type Extension with Theories. ABZ 2012: 365-368 - [c64]Sanaz Yeganefard, Michael J. Butler:
Control Systems: Phenomena and Structuring Functional Requirement Documents. ICECCS 2012: 39-48 - [c63]Asieh Salehi Fathabadi, Michael J. Butler, Abdolbaghi Rezazadeh:
A Systematic Approach to Atomicity Decomposition in Event-B. SEFM 2012: 78-93 - [c62]Brett Bicknell, Jose Reis, Michael J. Butler, John Colley, Colin F. Snook:
A Practical Approach for Closed Systems Formal Verification Using Event-B. SEFM 2012: 323-332 - [i4]Andrew Edmunds, Michael J. Butler, John Colley:
Building on the DEPLOY Legacy: Code Generation and Simulation. CoRR abs/1210.7034 (2012) - 2011
- [j20]Mohammad Reza Sarshogh, Michael J. Butler:
Specification and refinement of discrete timing properties in Event-B. Electron. Commun. Eur. Assoc. Softw. Sci. Technol. 46 (2011) - [j19]Sanaz Yeganefard, Michael J. Butler:
Structuring Functional Requirements of Control Systems to Facilitate Refinement-based Formalisation. Electron. Commun. Eur. Assoc. Softw. Sci. Technol. 46 (2011) - [j18]Renato Silva, Carine Pascal, Thai Son Hoang, Michael J. Butler:
Decomposition tool for event-B. Softw. Pract. Exp. 41(2): 199-208 (2011) - [c61]Asieh Salehi Fathabadi, Abdolbaghi Rezazadeh, Michael J. Butler:
Applying Atomicity and Model Decomposition to a Space Craft System in Event-B. NASA Formal Methods 2011: 328-342 - [c60]Ali Gondal, Michael Poppleton, Michael J. Butler:
Composing Event-B Specifications - Case-Study Experience. SC@TOOLS 2011: 100-115 - [e7]Michael J. Butler, Wolfram Schulte:
FM 2011: Formal Methods - 17th International Symposium on Formal Methods, Limerick, Ireland, June 20-24, 2011. Proceedings. Lecture Notes in Computer Science 6664, Springer 2011, ISBN 978-3-642-21436-3 [contents] - 2010
- [j17]Eerke A. Boiten, Michael J. Butler, John Derrick, Graeme Smith:
Editorial. Formal Aspects Comput. 22(1): 1 (2010) - [j16]Jean-Raymond Abrial, Michael J. Butler, Stefan Hallerstede, Thai Son Hoang, Farhad Mehta, Laurent Voisin:
Rodin: an open toolset for modelling and reasoning in Event-B. Int. J. Softw. Tools Technol. Transf. 12(6): 447-466 (2010) - [c59]