Michael Butler
University of Southampton(GB)
Publications by Year
Research Areas
Formal Methods in Verification, Model-Driven Software Engineering Techniques, Advanced Software Engineering Methodologies, Logic, programming, and type systems, Distributed systems and fault tolerance
Most-Cited Works
- → Rodin: an open toolset for modelling and reasoning in Event-B(2010)666 cited
- → ProB: A Model Checker for B(2003)526 cited
- → ProB: an automated analysis toolset for the B method(2008)378 cited
- → UML-B(2006)289 cited
- → An Open Extensible Tool Environment for Event-B(2006)178 cited
- → Single instruction stream parallelism is greater than two(1991)142 cited
- → An Operational Semantics for StAC, a Language for Modelling Long-Running Business Transactions(2004)142 cited