These are the archived web pages of the Programming and Software Engineering Group (PST).
The web pages of the Software and Computational Systems Lab (SoSy) can be found on

Mirco Tribastone

Mirco Tribastone


Email:tribastone (at) 
Skype: mircotribastone
Telephone: +49 89 2180 9150
Fax: +49 89 2180 9174


Programmierung und Softwaretechnik
Institut für Informatik
Ludwig-Maximilians-Universität München 
Room 058, Oettingenstrasse 67
D-80538 Munich, Germany

Research Interests

  • Performance Evaluation
  • Formal methods for software engineering
  • Nonfunctional analysis for model-driven development techniques 

Research Projects

  • IST FP7 Ascens (2010-2014)
  • DFG FEMPA (2012-2015)
  • DFG Priority Programme 1593 (2012-2015)
  • EU Project Quanticol (2013-2017)

Software Tools

Group Members


Selected Publications 

  • See full list
  • Max Tschaikowski and Mirco Tribastone. Exact Fluid Lumpability for Markovian Process Algebra. 23 International Conference on Concurrency Theory (CONCUR), 2012, to appear.
    [conference version] [extended version] [bibtex]
  • Mirco Tribastone, Stephen Gilmore, and Jane Hillston. Scalable differential analysis of process algebra models. IEEE Trans. Software Eng., 38(1):205–219, 2012.
    [pdf] [bibtex]
  • Giuliano Casale and Mirco Tribastone. Fluid analysis of queueing in two-stage random environments. In QEST'11, pages 21–30, Aachen, Germany. IEEE Computer Society Press.
    [pdf] [bibtex]
  • Mirco Tribastone, Jie Ding, Stephen Gilmore, and Jane Hillston. Fluid rewards for a stochastic process algebra. IEEE Trans. Software Eng., PrePrints, 2011. 
    [pdf] [bibtex]
  • Mirco Tribastone, Adam Duguid, and Stephen Gilmore. The PEPA Eclipse Plug-in. Performance Evaluation Review, 36(4):28–33, March 2009.
    [pdf] [bibtex]