Wichtiger Hinweis:

Dies sind die archivierten Webseiten des Lehrstuhls für Programmierung und Softwaretechnik (PST).
Die Seiten des Nachfolgerlehrstuhls, Software and Computational Systems Lab (SoSy), finden Sie auf https://www.sosy-lab.org/.

Mirco Tribastone

Mirco Tribastone


Email:tribastone (at) pst.ifi.lmu.de 
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]