M. Tribastone and S. Gilmore. Automatic Extraction of PEPA Performance Models from UML Activity Diagrams Annotated with the MARTE Profile. In Proceedings of the Seventh International Workshop on Software and Performance (WOSP), Princeton, New Jersey, USA, June 2008. ACM.
Mirco Tribastone and Stephen Gilmore. Automatic Translation of UML Sequence Diagrams into PEPA Models. In Fifth International Conference on the Quantitative Evaluaiton of Systems (QEST 2008), pages 205–214, Saint-Malo, France, September 2008. IEEE Computer Society.
Mirco Tribastone. Bottom-Up Beats Top-Down Hands Down. In Sixth Workshop on Process Algebra and Stochastically Timed Activities (PASTA), Edinburgh, United Kingdom, July 2007. Non refereed.
M. Barbera, A. Lombardo, G. Schembra, and M. Tribastone. An Analytical Model of a BitTorrent Peer. In Fifteenth Euromicro Conference on Parallel, Distributed and Network-based Processing, Naples, Italy, 2007. IEEE Computer Society Press.
Allan Clark, Stephen Gilmore, Jane Hillston, and Mirco Tribastone. Formal Methods for Performance Evaluation: the 7th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2007, volume 4486, chapter Stochastic Process Algebras, pages 132–179. Springer-Verlag, Bertinoro, Italy, May 2007. (PDF)
Mirco Tribastone. The PEPA Plug-in Project. In Fourth International Conference on the Quantitative Evaluation of Systems, pages 53–54, Edinburgh, United Kingdom, September 2007. IEEE Computer Society Press.
Mario Bravetti, Stephen Gilmore, Claudio Guidi, and Mirco Tribastone. Replicating Web Services for Scalability. In Gilles Barthe and Cédric Fournet, editors, Trustworthy Global Computing, Third Symposium, TGC 2007, volume 4912. Springer, 2007.
Martin Wirsing, Rocco De Nicola, Stephen Gilmore, Matthias M. Hölzl, Roberto Lucchi, Mirco Tribastone, and Gianluigi Zavattaro. Sensoria process calculi for service-oriented computing. In Ugo Montanari, Donald Sannella, and Roberto Bruni, editors, Trustworthy Global Computing, Second Symposium, TGC 2006, Lucca, Italy, November 7-9, 2006, Revised Selected Papers, volume 4661 of Lecture Notes in Computer Science, pages 30–50. Springer, 2007.
Stephen Gilmore and Mirco Tribastone. Evaluating the Scalability of a Web Service-Based Distributed e-Learning and Course Management System. In Third International Workshop on Web Services and Formal Methods (WS-FM 2006), Springer-Verlag, 2006.
Mirco Tribastone. The PEPA Plug-in Project. In Fifth Workshop on Process Algebra and Stochastically Timed Activities (PASTA), London, United Kingdom, June 2006. Non refereed.