Mirco Tribastone

Contact
Email:tribastone (at) pst.ifi.lmu.de
Skype: mircotribastone
Telephone: +49 89 2180 9150
Fax: +49 89 2180 9174
Address
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
Software Tools
Group Members
- Giulio Iacobelli
- Max Tschaikowski (PhD student, 2010-present)
Teaching
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.
-
Mirco Tribastone, Stephen Gilmore, and Jane Hillston. Scalable differential analysis of process algebra models. IEEE Trans. Software Eng., 38(1):205–219, 2012.
-
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.
-
Mirco Tribastone, Jie Ding, Stephen Gilmore, and Jane Hillston. Fluid rewards for a stochastic process algebra. IEEE Trans. Software Eng., PrePrints, 2011.
-
Mirco Tribastone, Adam Duguid, and Stephen Gilmore. The PEPA Eclipse Plug-in. Performance Evaluation Review, 36(4):28–33, March 2009.