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.
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
- 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, To appear in 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.
- M. Tschaikowski and M. Tribastone. A computational approach to steady-state convergence of fluid limits for Coxian queuing networks with abandonment, Annals of Operations Research (2016).
- E. Incerto, M. Tribastone, and C. Trubiani. Symbolic Performance Adaptation, SEAMS'16.
- L. Cardelli, A. Csikász-Nagy, N. Dalchau, M. Tribastone, and M. Tschaikowski. Noise Reduction in Complex Biological Switches, Nature Scientific Reports (2016).
- L. Cardelli, M. Tribastone, M. Tschaikowski, and A. Vandin. Efficient Syntax-driven Lumping of Differential Equations, TACAS'16.
- L. Cardelli, M. Tribastone, M. Tschaikowski, and A. Vandin. Symbolic Computation of Differential Equivalences, POPL'16 (technical report with proofs).
- A. Das, G. Merrett, M. Tribastone, and B. Al-Hashimi. Workload Change Point Detection for Run-time Thermal Management of Embedded Systems, IEEE Transactions on Computer-aided Design of Integrated Circuits and Systems (2016).
- M. Tschaikowski and M. Tribastone. Approximate reduction of heterogenous nonlinear models with differential hulls, IEEE Transactions on Automatic Control (2015).
- M. Kowal, M. Tschaikowski, M. Tribastone, and I. Schaefer. Scaling size and parameter spaces in variability-aware software performance models, ASE'15.
- N. Gast, G. Massonnet, D. Reijsbergen, and M. Tribastone. Probabilistic forecasts of bike-sharing systems for journey planning, CIKM'15.
- L. Cardelli, M. Tribastone, M. Tschaikowski, and A. Vandin. Forward and backward bisimulation for chemical reaction networks, CONCUR'15.
- G. Iacobelli, M. Tribastone, and A. Vandin. Differential bisimulation for a Markovian process algebra, MFCS'15.
See my Google Scholar profile or my DBLP page for a full list of publications.
Upcoming events where I am involved:
- PC member for ICALP'18 (Track B: Logic, semantics, automata and theory of programming)
- 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).
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.
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:
- 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.