2003 |
7 | EE | John Murdoch,
Graham Clark,
Antony Powell,
Paul Caseley:
Measuring Safety: Applying PSM to the System Safety Domain.
SCS 2003: 47-55 |
2002 |
6 | EE | 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 | EE | Graham Clark,
William H. Sanders:
Implementing a Stochastic Process Algebra within the Möbius Modeling Framework.
PAPM-PROBMIV 2001: 200-216 |
2000 |
3 | EE | Graham Clark,
Stephen Gilmore,
Jane Hillston,
Marina Ribaudo:
Exploiting Modal Logic to Express Performance Measures.
Computer Performance Evaluation / TOOLS 2000: 247-261 |
1999 |
2 | EE | 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) |