I am Full Professor of Computer Science within the SysMA research unit of IMT Lucca, where I also serve as well as Director's Delegate for Education and Information Systems. 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 at the University of Catania.
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. 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 two main streams of research:
The development of algorithms for the aggregation of dynamical systems. An up-to-date summary of my results is available as a
overview paper presented in an invited tutorial at the 2018 Winter Simulation Conference.
Techniques for performance self-adaption of software systems using predictive analytical models. Recent results are overviewed in a
recent tutorial at ICPE'19.
F. Randone, L. Bortolussi, and M. Tribastone.
Refining Mean-field Approximations by Dynamic State Truncation, (to appear).
Giorgio Bacci, Giovanni Bacci, K.G. Larsen, M. Tribastone, M. Tschaikowski, and Andrea Vandin.
Efficient Local Computation of Differential Bisimulations via Coupling and Up-to Methods, (to appear).
LICS'21 M. A. N. Whitby, L. Cardelli, L. Laurenti, M. Tribastone, M. Tschaikowski, and M. Kwiatkowska.
PID Control of Biochemical Reaction Networks, (early access). IEEE Transactions on Automatic Control
L. Cardelli, I.C. Perez-Verona, M. Tribastone, M. Tschaikowski, A. Vandin, and T. Waizmann.
Exact maximal reduction of stochastic reaction networks by species lumping, , Bioinformatics btab081. A. Ovchinnikov, I.C. Pérez-Verona, G. Pogudin, and M. Tribastone.
CLUE: Exact maximal reduction of kinetic models by constrained lumping of differential equations, , Bioinformatics btab010.
E. Incerto, A. Napolitano, and M. Tribastone.
Learning queueing networks via linear optimization, .
ICPE'21 G. Garbi, E. Incerto, and M. Tribastone.
Learning Queuing Networks by Recurrent Neural Networks, .
ICPE'20 E. Incerto, A. Napolitano, and M. Tribastone.
Statistical Learning of Markov Chains of Programs,
MASCOTS'20 L. Cardelli, M. Tribastone, M. Tschaikowski, and A. Vandin.
Symbolic Computation of Differential Equivalences, (invited article for special issue in honor of Maurice Nivat, extension of Theoretical Computer Science POPL'16 paper). I. C. Perez-Verona, M. Tribastone, and A. Vandin.
A large-scale assessment of exact model reduction in the BioModels repository, CMSB'19 S. Tognazzi, M. Tribastone, M. Tschaikowski, and A. Vandin.
Backward Invariance for Linear Differential Algebraic Equations, CDC'18 E. Incerto, A. Napolitano, and M. Tribastone.
Moving Horizon Estimation of Service Demands in Queuing Networks, . MASCOTS'18 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. (2017). [ Proceedings of the National Academy of Sciences PNAS page] E. Incerto, M. Tribastone, and Catia Trubiani.
Software Performance Self-Adaptation through Efficient Model Predictive Control, . ASE'17 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
Google Scholar profile or my DBLP page for a full list of publications.
Upcoming events where I am involved:
PC member for
QEST'21, the 17th International Conference on Quantitative Evaluation of Systems
Recent events where I was involved:
PC member and Awards Chair for
ICPE'20, the 11th International Conference on Performance Engineering.
PC member for
SIGSIM-PADS'20, the 2020 ACM SIGSIM Conference on Principles of Advanced Discrete Simulation. PC member for
POPL'20, the 47th ACM SIGPLAN Symposium on Principles of Programming Languages. PC member for
QEST'19, the 16th International Conference on Quantitative Evaluation of Systems PC member and Work In Progress and Vision Papers Chair for
ICPE'19, the 10th International Conference on Performance Engineering.
PC member for
SIGSIM-PADS'19, the 2019 ACM SIGSIM Conference on Principles of Advanced Discrete Simulation. 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.
I am involved in the design and implementation of the following software tools:
DiffLQN, a tool for the differential-equation analysis of layered queuing networks.
ERODE, a tool for the evaluation and reduction of ordinary differential equtions.
The PEPA Eclipse plug-in, supporting static, Markovian, and differential-equation analysis for models written in the process algebra PEPA.
I am or have been involved as Principal Investigator in the following projects:
SEDUCE (Italian Ministry of Research and Education, 2019-2021), concerning the design, modeling, and analysis of cyber-physical systems.
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.
Current PhD students
Past PhD students
IMT School for Advanced Studies
Piazza San Francesco, 19
55100 Lucca (Italy)
+39 0583 4326594