News

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

Students

Teaching

• Formal Specification and Verification
  
• Performance Modelling of Computer Systems
  
• Softwaretechnik
  

Selected Publications 

• See full list
• 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]