Michael J. Butler
发表
Kaisa Sere,
Emil Sekerinski,
Michael J. Butler,
1995,
Formal Methods for Industrial Applications.
Michael J. Butler,
Michael Leuschel,
Edd Turner,
2007,
First Joint IEEE/IFIP Symposium on Theoretical Aspects of Software Engineering (TASE '07).
Michael J. Butler,
Carla Ferreira,
M. Butler,
2004,
COORDINATION.
Michael J. Butler,
Renato Silva,
M. Butler,
2010,
FMCO.
Pieter H. Hartel,
Michael J. Butler,
Eduard de Jong,
2001,
FME.
Colin F. Snook,
Michael J. Butler,
2001,
PPIG.
Michael J. Butler,
Richard Banach,
R. Banach,
2013,
CSDM.
Colin F. Snook,
Thai Son Hoang,
Michael J. Butler,
2017,
ICTAC.
Michael J. Butler,
M. Butler,
1996,
Sci. Comput. Program..
Michael J. Butler,
John Colley,
Ashish Darbari,
2016,
ArXiv.
Michael J. Butler,
Asieh Salehi Fathabadi,
Abdolbaghi Rezazadeh,
2015,
Formal Aspects of Computing.
Michael J. Butler,
Muan Yong Ng,
2002,
ICFEM.
Thai Son Hoang,
Michael J. Butler,
Farhad Mehta,
2010,
International Journal on Software Tools for Technology Transfer.
Michael J. Butler,
Abdolbaghi Rezazadeh,
Ahmed Al-Brashdi,
2017,
IMPEX/FM&MDD.
Colin F. Snook,
Thai Son Hoang,
Michael J. Butler,
2016,
ABZ.
Colin F. Snook,
Thai Son Hoang,
Michael J. Butler,
2017,
Sci. Comput. Program..
Michael J. Butler,
2002,
Des. Autom. Embed. Syst..
Michael J. Butler,
Dana Dghaym,
Asieh Salehi Fathabadi,
2013,
Electron. Commun. Eur. Assoc. Softw. Sci. Technol..
Michael J. Butler,
Michael Leuschel,
Thierry Lecomte,
2020,
FMICS.
Michael J. Butler,
1993,
CONCUR.
Peter Henderson,
Michael J. Butler,
Mandy Chessell,
2002,
IBM Syst. J..
Michael J. Butler,
Vitaly Savicks,
John Colley,
2014,
SummerSim.
Michael J. Butler,
Richard Banach,
R. Banach,
2016,
ICFEM.
Colin F. Snook,
Michael J. Butler,
Michael Leuschel,
2005,
Abstract State Machines.
Ralph-Johan Back,
Michael J. Butler,
M. Butler,
1998,
Acta Informatica.
Michael J. Butler,
Sanaz Yeganefard,
M. Butler,
2012,
2012 IEEE 17th International Conference on Engineering of Complex Computer Systems.
Colin F. Snook,
Michael J. Butler,
Vitaly Savicks,
2010,
FMCO.
Vladimiro Sassone,
Michael J. Butler,
John Colley,
2017,
2017 IEEE European Symposium on Security and Privacy Workshops (EuroS&PW).
Michael J. Butler,
Dorothy C. Perkins,
Lawrence B. Zeigenfuss,
1996
.
Michael J. Butler,
1990,
Z User Workshop.
Shamim Ripon,
Michael J. Butler,
2005,
EPEW/WS-FM.
Michael J. Butler,
Stefan Hallerstede,
S. Hallerstede,
2004,
Formal Aspects of Computing.
Michael J. Butler,
Mohammadsadegh Dalvandi,
Abdolbaghi Rezazadeh,
2017,
Sci. Comput. Program..
Colin F. Snook,
Michael J. Butler,
Mar Yah Said,
2013,
Software & Systems Modeling.
Michael J. Butler,
Andrew Edmunds,
Abdolbaghi Rezazadeh,
2010,
ASM.
Michael J. Butler,
Vitaly Savicks,
John Colley,
2014,
ABZ.
Colin F. Snook,
Michael J. Butler,
S. Ramesh,
2013,
MODELSWARD.
Michael J. Butler,
John Colley,
Toby Wilkinson,
2014,
IMBSA.
John Derrick,
Michael J. Butler,
Eerke A. Boiten,
2010,
Formal Aspects Comput..
Neil Evans,
Colin F. Snook,
Michael J. Butler,
2013,
Refine@IFM.
Michael J. Butler,
M. Butler,
2012,
Formal Aspects of Computing.
Vladimiro Sassone,
Michael J. Butler,
John Colley,
2019,
Int. J. Crit. Comput. Based Syst..
Michael J. Butler,
Michael Leuschel,
Stéphane Lo Presti,
2004,
Trusting Agents for Trusting Electronic Societies.
Michael J. Butler,
2002,
Formal Aspects of Computing.
Michael J. Butler,
Abdolbaghi Rezazadeh,
Sanaz Yeganefard,
2010,
NASA Formal Methods.
Michael J. Butler,
Dana Dghaym,
Asieh Salehi Fathabadi,
2017,
2017 22nd International Conference on Engineering of Complex Computer Systems (ICECCS).
Thai Son Hoang,
Michael J. Butler,
Laurent Voisin,
2017,
ArXiv.
Michael J. Butler,
Abdolbaghi Rezazadeh,
2005,
ZB.
Colin F. Snook,
Michael J. Butler,
Mar Yah Said,
2009,
FM.
Michael J. Butler,
Michael J. Butler,
2019,
How Negotiations End.
Michael J. Butler,
M. Butler,
1999,
Sci. Comput. Program..
Thai Son Hoang,
Michael J. Butler,
James Snook,
2018,
SETTA.
Michael J. Butler,
Sanaz Yeganefard,
M. Butler,
2011,
Electron. Commun. Eur. Assoc. Softw. Sci. Technol..
Colin F. Snook,
Michael J. Butler,
John Colley,
2012,
SEFM.
Michael J. Butler,
Divakar Yadav,
Divakar Yadav,
2006,
RODIN Book.
Neil Evans,
Michael J. Butler,
2006,
FM.
Michael J. Butler,
Thomas Långbacka,
M. Butler,
1996,
TPHOLs.
Michael J. Butler,
Jean-Raymond Abrial,
Kriangsak Damchoom,
2008,
ICFEM.
Juan Carlos Augusto,
Michael J. Butler,
Carla Ferreira,
2003,
Ershov Memorial Conference.
Shamim Ripon,
Michael J. Butler,
M. Butler,
2010,
ArXiv.
Colin F. Snook,
Michael J. Butler,
M. Butler,
2006,
TSEM.
Michael J. Butler,
Kriangsak Damchoom,
2009,
SBMF.
Michael J. Butler,
Michael Leuschel,
Edd Turner,
2010,
ASM.
Michael J. Butler,
Michael Leuschel,
M. Leuschel,
2005,
ICFEM.
Michael J. Butler,
Richard Banach,
Jean-Raymond Abrial,
2016,
From Action Systems to Distributed Systems.
Colin F. Snook,
Karla Morris,
Thai Son Hoang,
2018,
FTSCS.
Michael J. Butler,
Asieh Salehi Fathabadi,
Abdolbaghi Rezazadeh,
2011,
NASA Formal Methods.
Colin F. Snook,
Thai Son Hoang,
Michael J. Butler,
2018,
ICFEM.
Michael J. Butler,
Divakar Yadav,
Divakar Yadav,
2009,
Methods, Models and Tools for Fault Tolerance.
Michael J. Butler,
Issam Maamria,
2010,
PAR@ITP.
Michael J. Butler,
1992
.
Michael J. Butler,
Asieh Salehi Fathabadi,
Abdolbaghi Rezazadeh,
2012,
SEFM.
Colin F. Snook,
Thai Son Hoang,
Michael J. Butler,
2017,
RSSRail.
C. A. R. Hoare,
Michael J. Butler,
Carla Ferreira,
2004,
25 Years Communicating Sequential Processes.
Colin F. Snook,
Michael J. Butler,
2008,
ABZ.
Carroll Morgan,
Michael J. Butler,
Carroll Morgan,
2005,
Formal Aspects of Computing.
Simon L. Peyton Jones,
Cliff B. Jones,
Murali Sitaraman,
2006,
GPCE '06.
Luis Alfonso Maeda-Nunez,
Geoff V. Merrett,
Bashir M. Al-Hashimi,
2018,
J. Syst. Archit..
Michael J. Butler,
Michael Poppleton,
Ali Gondal,
2011,
SC@TOOLS.
Michael J. Butler,
1999,
World Congress on Formal Methods.
Colin F. Snook,
Thai Son Hoang,
Michael J. Butler,
2017,
NFM.
Gudmund Grov,
Michael J. Butler,
Andrew Ireland,
2010,
ASM.
Corina Cîrstea,
Michael J. Butler,
Asieh Salehi Fathabadi,
2013,
Electron. Commun. Eur. Assoc. Softw. Sci. Technol..
Colin F. Snook,
Thai Son Hoang,
Michael J. Butler,
2018,
2018 23rd International Conference on Engineering of Complex Computer Systems (ICECCS).
Michael J. Butler,
M. Butler,
1999,
Formal Aspects of Computing.
Michael J. Butler,
Natalie Florea Hudson,
N. Hudson,
2010
.
Michael J. Butler,
Jean-Raymond Abrial,
Stefan Hallerstede,
2006,
ICFEM.
Michael J. Butler,
Michael Leuschel,
S. Ramesh,
2007,
TAP.
Michael J. Butler,
Carla Ferreira,
2003,
ZB.
Michael J. Butler,
M. Butler,
1997,
ZUM.
Michael J. Butler,
Jean-Raymond Abrial,
Stefan Hallerstede,
2008,
ABZ.
Michael J. Butler,
Andrew Edmunds,
M. Butler,
2008,
Refine@FM.
Colin F. Snook,
Michael J. Butler,
S. Ramesh,
2013,
2013 IEEE Conference on Computer Aided Control System Design (CACSD).
Shamim Ripon,
Michael J. Butler,
M. Butler,
2010,
ArXiv.
Michael J. Butler,
Mohammad Reza Sarshogh,
2011,
Electron. Commun. Eur. Assoc. Softw. Sci. Technol..
Thai Son Hoang,
Michael J. Butler,
Klaus Reichl,
2018,
ABZ.
Pieter H. Hartel,
Michael J. Butler,
Moshe Levy,
1999,
Formal Syntax and Semantics of Java.
Michael J. Butler,
Divakar Yadav,
2007,
Formal Aspects of Computing.
Michael J. Butler,
Mohammadsadegh Dalvandi,
Abdolbaghi Rezazadeh,
2015
.
Michael J. Butler,
1991,
VDM Europe.
George Eleftherakis,
Michael J. Butler,
Michael G. Hinchey,
2015,
Formal Aspects Comput..
Michael J. Butler,
Mohammadsadegh Dalvandi,
Asieh Salehi Fathabadi,
2018,
ABZ.
Michael J. Butler,
Michael Leuschel,
Manoranjan Satpathy,
2004,
MBT.
Michael J. Butler,
Carla Ferreira,
Muan Yong Ng,
2005,
J. Univers. Comput. Sci..
Shengchao Qin,
Michael J. Butler,
Richard Banach,
2017,
Sci. Comput. Program..
Michael J. Butler,
Mohammadsadegh Dalvandi,
Abdolbaghi Rezazadeh,
2015,
FSEN.
Michael J. Butler,
M. Butler,
2009,
IFM.
Michael J. Butler,
Issam Maamria,
M. Butler,
2013,
Theories of Programming and Formal Methods.
Michael J. Butler,
Michael Leuschel,
Edd Turner,
2007,
B.
Michael J. Butler,
Asieh Salehi Fathabadi,
2009,
FMCO.
Michael J. Butler,
Mairead Meagher,
2000,
ZB.
Michael J. Butler,
Carla Ferreira,
M. Butler,
2000,
IFM.
Michael J. Butler,
John F. Bass,
1990,
Advanced Lithography.
Thai Son Hoang,
Michael J. Butler,
Toby Wilkinson,
2017,
2017 IEEE 28th International Symposium on Software Reliability Engineering (ISSRE).
Michael J. Butler,
Richard Banach,
2013,
ICTAC.
Michael J. Butler,
Michael Leuschel,
M. Leuschel,
2003,
FME.
Michael J. Butler,
Elisabeth Ball,
Elisabeth Ball,
2009,
Methods, Models and Tools for Fault Tolerance.
Michael J. Butler,
Dana Dghaym,
Asieh Salehi Fathabadi,
2016,
ABZ.
Michael J. Butler,
Michael Leuschel,
Stéphane Lo Presti,
2004,
iTrust.
Michael J. Butler,
Michael Poppleton,
Jennifer Sorge,
2010,
ASM.
Elena Troubitsyna,
Michael J. Butler,
Linas Laibinis,
2014,
ABZ.
Klaus-Dieter Schewe,
Michael J. Butler,
2018,
Sci. Comput. Program..
Michael J. Butler,
Leonid Mikhailov,
M. Butler,
2002,
ZB.
Thai Son Hoang,
Michael J. Butler,
Renato Silva,
2011,
Softw. Pract. Exp..
Michael J. Butler,
2013,
Engineering Dependable Software Systems.
Corina Cîrstea,
Michael J. Butler,
Chenyang Zhu,
2018,
2018 International Symposium on Theoretical Aspects of Software Engineering (TASE).
Gudmund Grov,
Michael J. Butler,
Andrew Ireland,
2013,
Sci. Comput. Program..
Colin F. Snook,
Rachel Harrison,
Michael J. Butler,
2000,
IWSM.
Dominique Cansell,
Michael J. Butler,
Michael Leuschel,
2009,
Rigorous Methods for Software Construction and Analysis.
Michael J. Butler,
Renato Silva,
2009,
ICFEM.
Michael J. Butler,
Abdolbaghi Rezazadeh,
Tope Omitola,
2019,
DEXA Workshops.
Michael J. Butler,
Renato Silva,
Andrew Edmunds,
2012,
ABZ.
Shamim Ripon,
Michael J. Butler,
M. Butler,
2009,
AVoCS.
Michael J. Butler,
John Colley,
Andrew Edmunds,
2012,
ArXiv.
Michael J. Butler,
Jonathan P. Bowen,
Michael G. Hinchey,
2013,
Formal Aspects Comput..
Jim Woodcock,
Elena Troubitsyna,
Michael J. Butler,
2009,
Refinement Based Methods for the Construction of Dependable Systems.
Michael J. Butler,
Andrew Edmunds,
Abdolbaghi Rezazadeh,
2012,
Ada-Europe.
Michael J. Butler,
Muan Yong Ng,
2003,
First International Conference onSoftware Engineering and Formal Methods, 2003.Proceedings..
Colin F. Snook,
Thai Son Hoang,
Michael J. Butler,
2017,
2017 22nd International Conference on Engineering of Complex Computer Systems (ICECCS).
Corina Cîrstea,
Michael J. Butler,
Chenyang Zhu,
2018,
ABZ.
Eerke A. Boiten,
Michael J. Butler,
2006,
Formal Aspects of Computing.
Pieter H. Hartel,
Michael J. Butler,
1999,
TOPL.
Michael J. Butler,
Michael Leuschel,
M. Leuschel,
2008,
International Journal on Software Tools for Technology Transfer.
Einar Broch Johnsen,
Michael J. Butler,
Luigia Petre,
2015,
Formal Aspects of Computing.
Colin F. Snook,
Thai Son Hoang,
Michael J. Butler,
2020,
ECSA Companion.
Michael J. Butler,
Divakar Yadav,
2009,
IC3.
Luis Alfonso Maeda-Nunez,
Geoff V. Merrett,
Bashir M. Al-Hashimi,
2015,
2015 IEEE 9th International Symposium on Embedded Multicore/Many-core Systems-on-Chip.
Ralph-Johan Back,
Michael J. Butler,
M. Butler,
1995,
MPC.
Thai Son Hoang,
Michael J. Butler,
Naoto Sato,
2018,
ArXiv.
Michael J. Butler,
Michael Leuschel,
M. Leuschel,
2005,
FM.
Michael J. Butler,
Sanaz Yeganefard,
M. Butler,
2013,
2013 IEEE 14th International Conference on Information Reuse & Integration (IRI).
Shengchao Qin,
Michael J. Butler,
Richard Banach,
2015,
Sci. Comput. Program..
Colin F. Snook,
Michael J. Butler,
Asieh Salehi Fathabadi,
2014,
IFM.
Roberto Bruni,
C. A. R. Hoare,
Ugo Montanari,
2005,
CONCUR.