Mirco Tribastone, Jie Ding, Stephen Gilmore, and Jane Hillston. Fluid rewards for a stochastic process algebra. IEEE Transactions on Software Engineering, 99(PrePrints), 2011. (doi:10.1109/TSE.2011.81)
Mirco Tribastone. Scalable performance evaluation of computer systems. In Software Engineering, Karlsruhe, February 2011.
Mirco Tribastone and Stephen Gilmore. Rigorous Software Engineering for Service-Oriented Systems—Results of the SENSORIA project on Software Engineering for Service-Oriented Computing, chapter Scaling Performance Analysis using Fluid-Flow Approximation. Springer-Verlag, 2011.
Stephen Gilmore, László Gönczy, Nora Koch, Philip Mayer, Mirco Tribastone, and Dániel Varró. Non-functional properties in the model-driven development of service-oriented systems. Software and Systems Modeling, 10(3):287–311, 2011. 10.1007/s10270-010-0155-y.
Mirco Tribastone, Philip Mayer, and Martin Wirsing. Performance Prediction of Service-Oriented Systems with Layered Queueing Networks. In Proceedings of 4th International Symposium On Leveraging Applications of Formal Methods, Verification and Validation 18-20 October 2010 - Amirandes, Heraclion, Crete, pages 1–16, 2010.
Mirco Tribastone. Scalable Analysis of Stochastic Process Algebra Models. PhD thesis, School of Informatics, The University of Edinburgh, 2010.
Stephen Gilmore, László Gönczy, Nora Koch, Philip Mayer, Mirco Tribastone, and Dániel Varró. Non-functional Properties in the Model-Driven Development of Service-Oriented Systems. Software and Systems Modeling Journal, Springer Verlag, Special Issue on Non-functional System Properties in Domain Specific Modeling Languages:1–25, 2010.
Mirco Tribastone and Stephen Gilmore. Large-scale modelling with the PEPA Eclipse plug-in. In Operations Research Conference, Munich, Germany, September 2010.
Giuliano Casale and Mirco Tribastone. Process-Algebraic Modelling of Priority Queueing Networks. In Ninth Workshop on Process Algebra and Stochastically Timed Activities (PASTA), London, United Kingdom, September 2010. Non refereed.
Mirco Tribastone. Relating layered queueing networks and process algebra models. In WOSP/SIPEW '10: Proceedings of the First Joint WOSP/SIPEW International Conference on Performance Engineering, pages 183–194, New York, NY, USA, 2010. ACM. (doi:10.1145/1712605.1712634)