Mirco Tribastone

  +39 0583 4326 594

Mirco Tribastone photo

Short Bio

I am Associate Professor of Computer Science within the SysMA research unit. Prior to joining IMT Lucca I was Associate Professor at the School of Electronics and Computer Science of Southampton University, United Kingdom, and Assistant Professor (Juniorprofessur) at the Institute for Informatics of the Ludwig-Maximilians University of Munich, Germany.

I received my Ph.D. in Computer Science from the School of Informatics of the University of Edinburgh, Scotland, in 2010. I graduated in Computer Engineering (Ingegneria Informatica) at the University of Catania, Italy.

Research Interests

I am interested in the quantitative modeling and analysis of concurrent and distributed systems using mathematical tools such as stochastic processes (in particular Markov chains) and differential equations, as well as higher-level formalisms such as process algebra and queueing networks. 

I have been primarily focusing on performance models for software systems; more recently I have studied public transportation systems and biochemical networks as well.

A major general theme of my research is to develop effective techniques for the analysis of large-scale models where massive amounts of entities are involved.

Technical keywords: fluid limits, mean-field models, Markov population processes, layered queueing networks, software product lines, chemical reaction networks, lumpability, model order reduction, bisimulation, behavioral equivalences, operational semantics.

Selected Recent Publications

See my Google Scholar profile or my DBLP page for a full list of publications.

Professional Service

Upcoming events where I am involved:

  • ERC member for POPL'17, the 44th ACM SIGPLAN Symposium on Principles of Programming Languages.
  • PC member for ICPE'17, the 8th ACM/SPEC International Conference on Performance Engineering.
  • PC member for SASB'16, the 7th International Workshop on Static Analysis and Systems Biology.
  • PC member for CONCUR'16, the 27th International Conference on Concurrency Theory.
  • Lecturer at SFM-16: QUANTICOL, the 16th International School on Formal Methods for the Design of Computer, Communication and Software Systems: Quantitative Evaluation of Collective Adaptive Systems, Bertinoro, 20-24 June 2016 (lecture notes). 

Recent events where I was involved:

  • PC co-chair for QAPL'16, the 14th International Workshop on Quantitative Aspects of Programming Languages and Systems, affiliated with ETAPS'16.
  • PC member for FMSPLE'16, the 7th International Workshop on Formal Methods and Analysis in Software Product Line Engineering, affiliated with ETAPS'16.

Software Tools

I am involved in the design and implementation of the following software tools:

  • The PEPA Eclipse plug-in, supporting static, Markovian, and differential-equation analysis for models written in the process algebra PEPA.
  • ERODE, a tool for the evaluation and reduction of ordinary differential equtions.
  • DiffLQN, a tool for the differential-equation analysis of layered queuing networks.

Research Projects

I am Principal Investigator in the following projects:

  • DAPS2 (German Research Foundation, Special Priority Programme 1593, 2015-2018), follow-up of DAPS, for which I hold a DFG Mercator Fellowship. 
  • Quanticol (EU FET, 2013-2017), covering fundamental aspects of the quantitative analysis of collective adaptive systems with applications to smart cities.
  • DAPS  (German Research Foundation, Special Priority Programme 1593, 2012-2015), for developing efficient quantitative analysis techniques for software product line models.
  • FEMPA (German Research Foundation, 2012-2015), for developing behavioral equivalences and aggregation techniques in Markovian process algebra with fluid semantics.