BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
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 DBLP: Butler:Michael_J=

Facilitated 2 volumes:

FM 2011Ed
IFM 2002Ed

Contributed to:

IFM 20142014
Ada-Europe 20122012
SEFM 20122012
FM 20092009
IFM 20092009
TAP 20072007
FM 20062006
GPCE 20062006
FM 20052005
FME 20032003
SEFM 20032003
FME 20012001
IFM 20002000
World Congress on Formal Methods 19991999
VDM Europe (1) 19911991

Wrote 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.
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.

Bibliography of Software Language Engineering in Generated Hypertext (BibSLEIGH) is created and maintained by Dr. Vadim Zaytsev.
Hosted as a part of SLEBOK on GitHub.