Publications (starting from 2002)
for the past, see at my old home page
- J. Hillston and M. Ribaudo, Modelling mobility using PEPA nets,
19th International Symposium on Computer and Information Sciences, Kemer,
Turkey, October 2004.
- S. Gilmore, J. Hillston, L. Kloul and M. Ribaudo. Software performance
modelling using PEPA nets, Workshop on Software and Performance (WOSP 2004),
Redwood City, California, USA, January 2004
- S. Gilmore, J. Hillston, L. Kloul and M. Ribaudo. PEPA nets: A structured
performance modelling formalism, extended version of [6],
Performance Evaluation, vol. 54(2), pages 79-104, October 2003.
- M. Bernardo, N. Busi, M. Ribaudo,
Integrating TwoTowers and GreatSPN through a Compact Net Semantics.
In Performance Evaluation, vol. 50, pages 153-187, November 2002.
- L. Console, C. Picardi, M. Ribaudo, Process algebras for systems diagnosis.
In Artificial Intelligence, vol. 142, pages 19-51, November 2002.
- S. Gilmore, J. Hillston, and M. Ribaudo. PEPA nets: A structured performance modelling
formalism.
In Proc. of the 12th International Conference on Modelling Tools and Techniques for Computer
and Communication System Performance Evaluation, LNCS 2324,
pages 111-130, London, UK, April 2002.
|
|
