Travelled to:1 × Australia
1 × Canada
1 × France
1 × Greece
1 × Sweden
1 × Switzerland
1 × USA
1 × United Kingdom
2 × Italy
2 × The Netherlands
3 × Germany
Collaborated with:∅ M.Leuschel C.F.Snook A.S.Fathabadi A.Rezazadeh N.Evans M.Y.Ng C.Ferreira A.Edmunds M.Y.Said M.Satpathy S.Ramesh P.H.Hartel E.d.Jong M.Longley B.Bicknell J.Reis J.Colley G.T.Leavens J.Abrial D.S.Batory A.Coglio K.Fisler E.C.R.Hehner C.B.Jones D.Miller S.L.P.Jones M.Sitaraman D.R.Smith A.Stump
Talks about:event (5) csp (5) formal (4) approach (3) languag (3) verif (3) model (3) decomposit (2) process (2) practic (2)
Person: Michael J. Butler
DBLP: Butler:Michael_J=
Facilitated 2 volumes:
Ed
EdContributed to:
2014
2012
201220092009
20072006
2006200520032003200120001999
1991Wrote 17 papers:
- IFM-2014-FathabadiSB #manycore #modelling #process #runtime
- Applying an Integrated Modelling Process to Run-time Management of Many-Core Systems (ASF, CFS, MJB), pp. 120–135.
- AdaEurope-2012-EdmundsRB #ada #formal method #implementation #modelling
- Formal Modelling for Ada Implementations: Tasking Event-B (AE, AR, MJB), pp. 119–132.
- SEFM-2012-BicknellRBCS #approach #using #verification
- A Practical Approach for Closed Systems Formal Verification Using Event-B (BB, JR, MJB, JC, CFS), pp. 323–332.
- SEFM-2012-FathabadiBR #approach #composition
- A Systematic Approach to Atomicity Decomposition in Event-B (ASF, MJB, AR), pp. 78–93.
- FM-2009-SaidBS #refinement #state machine #tool support #uml
- Language and Tool Support for Class and State Machine Refinement in UML-B (MYS, MJB, CFS), pp. 579–595.
- IFM-2009-Butler #composition
- Decomposition Structures for Event-B (MJB), pp. 20–38.
- TAP-2007-SatpathyBLR #automation #specification #testing
- Automatic Testing from Formal Specifications (MS, MJB, ML, SR), pp. 95–113.
- FM-2006-EvansB
- A Proposal for Records in Event-B (NE, MJB), pp. 221–235.
- GPCE-2006-LeavensABBCFHJMJSSS #roadmap #verification
- Roadmap for enhanced languages and methods to aid verification (GTL, JRA, DSB, MJB, AC, KF, ECRH, CBJ, DM, SLPJ, MS, DRS, AS), pp. 221–236.
- FM-2005-ButlerL #csp #specification #verification
- Combining CSP and B for Specification and Property Verification (MJB, ML), pp. 221–236.
- FME-2003-LeuschelB #model checking #named
- ProB: A Model Checker for B (ML, MJB), pp. 855–874.
- SEFM-2003-NgB #csp #diagrams #formal method #towards #uml
- Towards Formalizing UML State Diagrams in CSP (MYN, MJB), p. 138–?.
- FME-2001-HartelBJL #memory management #smarttech
- Transacted Memory for Smart Cards (PHH, MJB, EdJ, ML), pp. 478–499.
- IFM-2000-ButlerF #process
- A Process Compensation Language (MJB, CF), pp. 61–76.
- FM-v1-1999-Butler #approach #csp #named
- csp2B: A Practical Approach to Combining CSP and B (MJB), pp. 490–508.
- VDME-1991-Butler #behaviour #csp
- Behavioural Extension for CSP (MJB), pp. 254–267.