Luca Bortolussi, Vashti Galpin, Jane Hillston, and Mirco Tribastone. Hybrid Semantics for PEPA. In Seventh International Conference on the Quantitative Evaluation of Systems (QEST), pages 181–190, Williamsburg, Viginia, USA, September 2010. IEEE Computer Society.
Mirco Tribastone. Scalable differential analysis of large process algebra models. In Proceedings of the 7th International Conference on Quantitative Evaluation of Systems (QEST), page 307, Williamsburg, Virginia, USA, September 2010.
Allan Clark, Stephen Gilmore, and Mirco Tribastone. 9th International School on Formal Methods for the Design of Computer, Communication and Software Systems: Web Services, volume 5569 of Lecture Notes in Computer Science, chapter Quantitative Analysis of Web Services Using SRMC, pages 296–339. Springer-Verlag, 2009.
Mirco Tribastone. Differential Analysis of PEPA Models. In Eight Workshop on Process Algebra and Stochastically Timed Activities (PASTA), Edinburgh, United Kingdom, August 2009. Non refereed.
M. Tribastone, A. Duguid, and S. Gilmore. The PEPA Eclipse Plug-in. Performance Evaluation Review, 36(4):28–33, March 2009.
Allan Clark, Stephen Gilmore, and Mirco Tribastone. Scalable analysis of scalable systems. In Marsha Chechik and Martin Wirsing, editors, Fundamental Approaches to Software Engineering (FASE), number 5503 in LNCS, York, UK, March 2009. Springer-Verlag. invited paper.
Allan Clark, Adam Duguid, Stephen Gilmore, and Mirco Tribastone. Partial evaluation of PEPA models for fluid-flow analysis. In EPEW, pages 2–16, 2008.
Ashok Argent-Katwala, Allan Clark, Howard Foster, Stephen Gilmore, Philip Mayer, and Mirco Tribastone. Safety and response-time analysis of an automotive accident assistance service. In Tiziana Margaria and Bernhard Steffen, editors, ISoLA, volume 17 of Communications in Computer and Information Science, pages 191–205. Springer, 2008.
Martin Wirsing, Matthias M. Hölzl, Lucia Acciai, Federico Banti, Allan Clark, Alessandro Fantechi, Stephen Gilmore, Stefania Gnesi, László Gönczy, Nora Koch, Alessandro Lapadula, Philip Mayer, Franco Mazzanti, Rosario Pugliese, Andreas Schroeder, Francesco Tiezzi, Mirco Tribastone, and Dániel Varró. SensoriaPatterns: Augmenting Service Engineering with Formal Analysis, Transformation and Dynamicity. In Tiziana Margaria and Bernhard Steffen, editors, ISoLA, volume 17 of Communications in Computer and Information Science, pages 170–190. Springer, 2008.
Allan Clark, Stephen Gilmore, and Mirco Tribastone. Service-Level Agreements for Service-Oriented Computing. In Andrea Corradini and Ugo Montanari, editors, Recent Trends in Algebraic Development Techniques, 19th International Workshop, WADT 2008 Revised Selected Papers, Lecture Notes in Computer Science, pages 21–36, Pisa, Italy, June 2008. Springer-Verlag.