Stephen Gilmore

Name: dblp XML data dump
Creator: Schloss Dagstuhl - Leibniz Center for Informatics
Published: 1993
License: https://creativecommons.org/publicdomain/zero/1.0/
Keywords: dblp, XML, computer science, scholarly publications, metadata

◀ ▶ joint publications with Jeremy T. Bradley

> Home > Persons > Stephen Gilmore

Publications

2012
[p5]
- view
  authority control:
- export record
  dblp key:
  - books/sp/wolter2012/KounevRBBJBSG12
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/books/sp/wolter2012/KounevRBBJBSG12
Samuel Kounev, Philipp Reinecke, Fabian Brosig, Jeremy T. Bradley, Kaustubh Joshi, Vlastimil Babka, Anton Stefanek, Stephen Gilmore:
Providing Dependability and Resilience in the Cloud: Challenges and Opportunities. Resilience Assessment and Evaluation of Computing Systems 2012: 65-81
2008
[j14]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/jcss/BradleyGH08
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jcss/BradleyGH08
Jeremy T. Bradley, Stephen T. Gilmore, Jane Hillston:
Analysing distributed Internet worm attacks using continuous state-space approximation of process algebra models. J. Comput. Syst. Sci. 74(6): 1013-1032 (2008)
2007
[c39]
- view
  authority control:
- export record
  dblp key:
  - conf/tgc/Argent-KatwalaBCG07
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/tgc/Argent-KatwalaBCG07
Ashok Argent-Katwala, Jeremy T. Bradley, Allan Clark, Stephen Gilmore:
Location-Aware Quality of Service Measurements for Service-Level Agreements. TGC 2007: 222-239
2006
[c33]
- view
  authority control:
- export record
  dblp key:
  - conf/ipps/BradleyGT06
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ipps/BradleyGT06
Jeremy T. Bradley, Stephen T. Gilmore, Nigel Thomas:
Performance analysis of stochastic process algebra models using stochastic simulation. IPDPS 2006
2005
[c22]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/entcs/BradleyG06
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/entcs/BradleyG06
Jeremy T. Bradley, Stephen T. Gilmore:
Stochastic Simulation Methods Applied to a Secure Electronic Voting Model. PASM@FM 2005: 5-25
2004
[c19]
- view
  authority control:
- export record
  dblp key:
  - conf/forte/BradleyGT04
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/forte/BradleyGT04
Jeremy T. Bradley, Stephen T. Gilmore, Nigel Thomas:
How Synchronisation Strategy Approximation in PEPA Implementations Affects Passage Time Performance Results. FORTE Workshops 2004: 128-142
2003
[c9]
- view
  authority control:
- export record
  dblp key:
  - conf/mascots/BradleyDGK03
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/mascots/BradleyDGK03
Jeremy T. Bradley, Nicholas J. Dingle, Stephen T. Gilmore, William J. Knottenbelt:
Derivation of Passage-time Densities in PEPA Models using ipc: the Imperial PEPA Compiler. MASCOTS 2003: 344-

manage site settings

To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.