2012
Fuzzy Logic Application in Performance-Based Contracting Process.
Proceedings of the Concurrent Engineering Approaches for Sustainable Product Development in a Multi-Disciplinary Environment, 2012

2008
Using structured language in the measurement of software projects.
PhD thesis, 2008

2003
Measuring Safety: Applying PSM to the System Safety Domain.
Proceedings of the Safety Critical Systems and Software 2003, 2003

2002
The Möbius Framework and Its Implementation.
IEEE Trans. Software Eng., 2002

Product form solution for an insensitive stochastic process algebra structure.
Perform. Evaluation, 2002

2001
The Möbius Modeling Tool.
Proceedings of the 9th International Workshop on Petri Nets and Performance Models, 2001

Implementing a Stochastic Process Algebra within the Möbius Modeling Framework.
Proceedings of the Process Algebra and Probabilistic Methods, 2001

2000
Exploiting Modal Logic to Express Performance Measures.
Proceedings of the Computer Performance Evaluation: Modelling Techniques and Tools, 2000

1999
Experiences with the PEPA performance modelling.
IEE Proc. Softw., 1999

Specifying Performance Measures for PEPA.
Proceedings of the Formal Methods for Real-Time and Probabilistic Systems, 1999