S. Gilmore
发表
Stephen Gilmore,
Ian Stark,
Martin Hofmann,
2004,
CASSIS.
S. Gilmore,
Muffy Calder,
J. Hillston,
2005
.
Stephen Gilmore,
Anne Benoit,
Murray Cole,
2005,
Euro-Par.
Stephen Gilmore,
Jeremy T. Bradley,
Nicholas J. Dingle,
2003,
11th IEEE/ACM International Symposium on Modeling, Analysis and Simulation of Computer Telecommunications Systems, 2003. MASCOTS 2003..
S. Gilmore,
M. Tribastone,
A. Duguid,
2008
.
S. Gilmore,
J. Hillston,
R. Holton,
1996
.
Adam Duguid,
Stephen Gilmore,
Mirco Tribastone,
2009,
PERV.
Stephen Gilmore,
Anne Benoit,
Murray Cole,
2004,
International Conference on Computational Science.
Stephen Gilmore,
Leïla Kloul,
S. Gilmore,
2003,
Reliab. Eng. Syst. Saf..
S Gilmore,
S. Gilmore,
J. Hillston,
1997
.
S. Gilmore,
J. Bradley,
A. Argent-Katwala,
2006
.
Stephen Gilmore,
Rob Pooley,
Jeremy T. Bradley,
2009
.
S. Gilmore,
J. Hillston,
G. Clark,
2018
.
Adam Duguid,
Stephen Gilmore,
Jane Hillston,
2009,
2009 Sixth International Conference on the Quantitative Evaluation of Systems.
S. Gilmore,
J. Hillston,
M. Ribaudo,
2003
.
D. Aspinall,
S. Gilmore,
M. Hofmann,
2017
.
S. Gilmore,
Matthew Prowse,
M. Prowse,
2005
.
S. Gilmore,
2015
.
Stephen Gilmore,
Jane Hillston,
Graham Clark,
1999
.
Allan Clark,
Stephen Gilmore,
Nora Koch,
2022,
Leveraging Applications of Formal Methods.
Stephen Gilmore,
Hans-Wolfgang Loidl,
Donald Sannella,
2007
.
D. Aspinall,
S. Gilmore,
M. Hofmann,
2005
.
D. Aspinall,
S. Gilmore,
M. Hofmann,
2005
.
Martin Hofmann,
Stephen Gilmore,
Kenneth MacKenzie,
2005,
Trends in Functional Programming.
Stephen Gilmore,
Nigel Thomas,
S. Gilmore,
1998
.
S. Gilmore,
M. Bravetti,
M. Tribastone,
2007
.
Matthias M. Hölzl,
S. Gilmore,
R. Pugliese,
2018
.
Allan Clark,
Stephen Gilmore,
Jane Hillston,
2007
.
Matthias M. Hölzl,
S. Gilmore,
R. Pugliese,
2008
.
Stephen Gilmore,
Corrado Priami,
Jane Hillston,
2002
.
Stephen Gilmore,
Mirco Tribastone,
S. Gilmore,
2012
.
Stephen Gilmore,
Corrado Priami,
Jane Hillston,
2003
.
Stephen Gilmore,
Mirco Tribastone,
S. Gilmore,
2013
.
Stephen Gilmore,
Muffy Calder,
S. Gilmore,
2007
.
Stephen Gilmore,
Chris Walton,
Dilsun Krl,
1998
.
Stephen Gilmore,
S. Gilmore,
1991
.
Proceedings of the 8th Workshop on Process Algebra and Stochastically Timed Activities (PASTA 2009).
Peter G. Harrison,
Stephen Gilmore,
Jane Hillston,
2002
.
Diego Latella,
Mieke Massink,
Stephen Gilmore,
2015
.
Stephen Gilmore,
Chris Walton,
Dilsun Krl,
1998
.
Stephen Gilmore,
Luca de Alfaro,
S. Gilmore,
2001
.
Stephen Gilmore,
Luca de Alfaro,
S. Gilmore,
2001
.
Stephen Gilmore,
S. Gilmore,
2005,
Trends in Functional Programming.
Stephen Gilmore,
Andrew Coles,
Amanda Coles,
2011,
AAAI 2011.
Stephen Gilmore,
S. Gilmore,
2016
.
Stephen Gilmore,
Marco Gribaudo,
M. Gribaudo,
2003
.
Stephen Gilmore,
Jane Hillston,
Robert Holton,
1996
.
Stephen Gilmore,
Natalia Zon,
Vashti Galpin,
2016
.
Stephen Gilmore,
Erol Gelenbe,
E. Gelenbe,
2010,
Comput. J..
Stephen Gilmore,
S. Gilmore,
2000,
Scottish Functional Programming Workshop.
Stephen Gilmore,
Muffy Calder,
Jane Hillston,
2005
.
Stephen Gilmore,
Jane Hillston,
Leïla Kloul,
2004
.
Stephen Gilmore,
Hans-Wolfgang Loidl,
Donald Sannella,
2005
.
Allan Clark,
Stephen Gilmore,
Mirco Tribastone,
2009
.
Stephen Gilmore,
Anne Benoit,
Murray Cole,
2005
.
S. Gilmore,
R. Hennicker,
M. Wirsing,
2007
.
Allan Clark,
Stephen Gilmore,
Jane Hillston,
2013,
PASM/PDMC.
Vincenzo Ciancia,
Diego Latella,
Mieke Massink,
2014,
2014 IEEE Eighth International Conference on Self-Adaptive and Self-Organizing Systems Workshops.
S. Gilmore,
J. Hillston,
M. Ribaudo,
2014
.
Stephen Gilmore,
Muffy Calder,
Jane Hillston,
2010
.
Stephen Gilmore,
Jane Hillston,
Marina Ribaudo,
2004,
WOSP '04.
Stephen Gilmore,
Jane Hillston,
S. Gilmore,
2003
.
Stephen Gilmore,
Corrado Priami,
Jane Hillston,
2003,
Global Computing.
Stephen Gilmore,
Jane Hillston,
Marina Ribaudo,
2002,
Perform. Evaluation.
Stephen Gilmore,
Jane Hillston,
Leïla Kloul,
2003,
MASCOTS Tutorials.
Stephen Gilmore,
Luca de Alfaro,
S. Gilmore,
2001,
Lecture Notes in Computer Science.
Stephen Gilmore,
Jane Hillston,
Graham Clark,
2000,
Computer Performance Evaluation / TOOLS.
Stephen Gilmore,
Jane Hillston,
Graham Clark,
1999,
ARTS.
Stephen Gilmore,
Jane Hillston,
S. Gilmore,
1995,
Comput. J..
Stephen Gilmore,
Anne Benoit,
Murray Cole,
2005,
Comput. J..
Stephen Gilmore,
Jane Hillston,
Mirco Tribastone,
2012,
IEEE Transactions on Software Engineering.
Stephen Gilmore,
Natalia Zon,
Pia Wilsdorf,
2018,
ACM Trans. Model. Comput. Simul..
Stephen Gilmore,
Mark Ryan,
S. Gilmore,
2001,
Springer London.
Stephen Gilmore,
Daniël Reijsbergen,
S. Gilmore,
2015,
UKPEW.
Reiko Heckel,
Stephen Gilmore,
Mirco Tribastone,
2011,
ICPE '11.
Stephen Gilmore,
S. Gilmore,
1999,
Scottish Functional Programming Workshop.
Allan Clark,
Stephen Gilmore,
Nora Koch,
2006,
FORTE.
Stephen Gilmore,
Murray Cole,
Gagarine Yaikhom,
2006,
International Conference on Computational Science.
Stephen Gilmore,
Jane Hillston,
Mirco Tribastone,
2012,
Comput. J..
Stephen Gilmore,
S. Gilmore,
1997
.
Stephen Gilmore,
David Crowe,
Gerold Baier,
2016
.
Stephen Gilmore,
Muffy Calder,
Jane Hillston,
2006,
Trans. Comp. Sys. Biology.
Stephen Gilmore,
Dimitrios Milios,
S. Gilmore,
2015,
Perform. Evaluation.
Allan Clark,
Stephen Gilmore,
Andrew J. Millar,
2013,
Bioinform..
Adam Duguid,
Stephen Gilmore,
Muffy Calder,
2006,
CMSB.
Stephen Gilmore,
Jeremy T. Bradley,
S. Gilmore,
2006,
PASM@FM.
Allan Clark,
Stephen Gilmore,
Jane Hillston,
2007,
SFM.
C Priami,
S. Gilmore,
J. Hillston,
2006,
Trans. Comp. Sys. Biology.
Stephen Gilmore,
Natalia Zon,
Jane Hillston,
2016,
ISoLA.
Stephen Gilmore,
Andrea Vandin,
Mirco Tribastone,
2014,
IFM.
Stephen Gilmore,
Jane Hillston,
Graham Clark,
1999,
IEE Proc. Softw..
Stephen Gilmore,
Michael Rettelbach,
Jane Hillston,
1996
.
Stephen Gilmore,
Samuel Kounev,
Philipp Reinecke,
2012,
Resilience Assessment and Evaluation of Computing Systems.
Flemming Nielson,
Stephen Gilmore,
Jane Hillston,
2005,
PASM.
Stephen Gilmore,
Mario Bravetti,
Mirco Tribastone,
2007,
TGC.
Stephen Gilmore,
Anne Benoit,
Murray Cole,
2022
.
S. Gilmore,
M. Calder,
2003,
Transactions of the Royal Society of Edinburgh: Earth Sciences.
Stephen Gilmore,
Dilsun Kirli Kaynar,
Chris Walton,
2000,
Future Gener. Comput. Syst..
Stephen Gilmore,
Jeremy T. Bradley,
Jane Hillston,
2008,
J. Comput. Syst. Sci..
Stephen Gilmore,
Jeremy T. Bradley,
Ashok Argent-Katwala,
2007,
TGC.
Stephen Gilmore,
Jane Hillston,
Jennifer Tenzer,
2006,
Proceedings 20th IEEE International Parallel & Distributed Processing Symposium.
Stephen Gilmore,
Jie Ding,
Jane Hillston,
2012,
IEEE Transactions on Software Engineering.
Stephen Gilmore,
Dimitrios Milios,
S. Gilmore,
2016
.
Allan Clark,
Stephen Gilmore,
Peter Kemper,
2010,
CMSB '10.
Adam Duguid,
Stephen Gilmore,
Jane Hillston,
2009,
Proceedings of the 2009 Winter Simulation Conference (WSC).
Stephen Gilmore,
Andrea Vandin,
Daniël Reijsbergen,
2017,
IFM.
Diego Latella,
Mieke Massink,
Stephen Gilmore,
2015,
QAPL.
Allan Clark,
Stephen Gilmore,
Jane Hillston,
2012,
Advances in experimental medicine and biology.
M. Loreti,
S. Gilmore,
F. Nielson,
2022
.
Stephen Gilmore,
Mikael Buchholtz,
Carlo Montangero,
2005,
FM.
Stephen Gilmore,
Perdita Stevens,
Jane Hillston,
2004,
WOSP '04.
Stephen Gilmore,
Leïla Kloul,
Monika Maidl,
2005,
EPEW/WS-FM.
Vincenzo Ciancia,
Diego Latella,
Mieke Massink,
2018,
International Journal on Software Tools for Technology Transfer.
Stephen Gilmore,
Gerhard Goos,
Juris Hartmanis,
2012,
Lecture Notes in Computer Science.
S. Gilmore,
Daniël Reijsbergen,
Nicolas Gast,
2022
.