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.
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. Lately I have focused on the development of algorithms for the aggregation of dynamical systems. An up-to-date summary of my results is available as a review paper to be presented in an invited tutorial at the 2018 Winter Simulation Conference.
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
- E. Incerto, A. Napolitano, and M. Tribastone. Moving Horizon Estimation of Service Demands in Queuing Networks, MASCOTS'18 (to appear).
- M. Tribastone and A. Vandin. Speeding Up Stochastic And Deterministic Simulation By Aggregation: An Advanced Tutorial, Winter Simulation Conference 2018 (invited tutorial).
- L. Cardelli, M. Tribastone, M. Tschaikowski and A. Vandin. Guaranteed Error Bounds on Approximate Model Abstractions through Reachability Analysis, QEST'18.
- E. Incerto, M. Tribastone and C. Trubiani. Combined Vertical and Horizontal Autoscaling Through Model Predictive Control, Euro-Par'18.
- L. Cardelli, M. Tribastone, M. Tschaikowksi, and A. Vandin. Maximal aggregation of polynomial dynamical systems. Proceedings of the National Academy of Sciences (2017). [PNAS page]
- E. Incerto, M. Tribastone, and Catia Trubiani. Software Performance Self-Adaptation through Efficient Model Predictive Control, ASE'17.
- S. Tognazzi, M. Tribastone, M. Tschaikowski, and A. Vandin. EGAC: A Genetic Algorithm to Compare Chemical Reaction Networks, GECCO'17.
- M. Tschaikowski and M. Tribastone. Spatial Fluid Limits for Stochastic Mobile Networks, Performance Evaluation (2017).
- L. Cardelli, M. Tribastone, M. Tschaikowski, and A. Vandin. ERODE: A Tool for the Evaluation and Reduction of Ordinary Differential Equations, TACAS'17.
- L. Cardelli, M. Tribastone, M. Tschaikowski, and A. Vandin. Comparing Chemical Reaction Networks: A Categorical and Algorithmic Perspective, LICS'16.
- L. Cardelli, M. Tribastone, M. Tschaikowski, and A. Vandin. Symbolic Computation of Differential Equivalences, POPL'16 (technical report with proofs).
See my Google Scholar profile or my DBLP page for a full list of publications.
Upcoming events where I am involved:
- Work In Progress and Vision Papers Chair for ICPE'19, the 10th International Conference on Performance Engineering.
Recent events where I was involved:
- PC member for ICALP'18 (Track B: Logic, semantics, automata and theory of programming).
- PC member for ICPE'18, the 9th ACM/SPEC International Conference on Performance Engineering.
- 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 | slides | summary).
- 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.
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.
I am Principal Investigator in the following projects:
- SAXA (Tuscany Regional Authority, 2017-2019), concerning adaptive software for automation.
- 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.