 | 2003 |
| 7 |  | John Murdoch,
Graham Clark,
Antony Powell,
Paul Caseley:
Measuring Safety: Applying PSM to the System Safety Domain.
SCS 2003: 47-55 |
| 2002 |
| 6 |  | Daniel D. Deavours,
Graham Clark,
Tod Courtney,
David Daly,
Salem Derisavi,
Jay M. Doyle,
William H. Sanders,
Patrick G. Webster:
The Möbius Framework and Its Implementation.
IEEE Trans. Software Eng. 28(10): 956-969 (2002) |
| 5 |  | Graham Clark,
Jane Hillston:
Product form solution for an insensitive stochastic process algebra structure.
Perform. Eval. 50(2/3): 129-151 (2002) |
| 2001 |
| 4 |  | Graham Clark,
William H. Sanders:
Implementing a Stochastic Process Algebra within the Möbius Modeling Framework.
PAPM-PROBMIV 2001: 200-216 |
| 2000 |
| 3 |  | Graham Clark,
Stephen Gilmore,
Jane Hillston,
Marina Ribaudo:
Exploiting Modal Logic to Express Performance Measures.
Computer Performance Evaluation / TOOLS 2000: 247-261 |
| 1999 |
| 2 |  | Graham Clark,
Stephen Gilmore,
Jane Hillston:
Specifying Performance Measures for PEPA.
ARTS 1999: 211-227 |
| 1 |  | Graham Clark,
Stephen Gilmore,
Jane Hillston,
Nigel Thomas:
Experiences with the PEPA performance modelling.
IEE Proceedings - Software 146(1): 11-20 (1999) |