Max Tschaikowski and Mirco Tribastone. Exact fluid lumpability for Markovian process algebra. In 23rd International Conference on Concurrency Theory, September 2012. To appear.
Mirco Tribastone, Stephen Gilmore, and Jane Hillston. Scalable differential analysis of process algebra models. IEEE Trans. Software Eng., 38(1):205–219, 2012.
Ronald Strebelow, Mirco Tribastone, and Christian Prehofer. Performance modelling of design patterns for distributed computation. In 20th International Symposium on Modeling, Analysis and Simulation of Computer and Telecommunication Systems, August 2012. To appear.
Max Tschaikowski and Mirco Tribastone. Generalised Communication for Interacting Agents. In 9th International Conference on Quantitative Evaluation of Systems, September 2012. To appear.
Giuliano Casale and Mirco Tribastone. Fluid analysis of queueing in two-stage random environments. In Proceedings of the Eighth International Conference on Quantitative Evaluation of Systems (QEST), pages 21–30, Aachen, Germany, September 2011. IEEE Computer Society Press.
Jane Hillston, Mirco Tribastone, and Stephen Gilmore. Stochastic process algebras: From individuals to populations. The Computer Journal, 2011.
Niaz Arijo, Reiko Heckel, Mirco Tribastone, and Stephen Gilmore. Modular performance modelling for mobile applications (abstracts only). SIGMETRICS Performance Evaluation Review, 39(3):18, 2011.
Arijo Niaz, Reiko Heckel, Mirco Tribastone, and Stephen Gilmore. Modular performance modelling for mobile service-oriented applications. In WOSP/SIPEW International Conference, Karlsruhe, March 2011.
Mirco Tribastone. Approximate mean value analysis of process algebra models. In MASCOTS: IEEE 19th International Symposium on Modelling, Analysis and Simulation of Computer and Telecommunication Systems, pages 369–378, Singapore, July 2011. IEEE Computer Society Press.
Max Tschaikowski and Mirco Tribastone. Refined Theory of Packages. In 10th Workshop on Process Algebra and Stochastically Timed Activities (PASTA 2011), August 2011.