Professore Associato

Massimo Tivoli


Software Engineering, Software Architectures, Software Synthesis, Service Oriented Systems
06 Ingegneria del Software
INF/01 - Informatica
Computer Science and Operations Research

Curriculum External site   Scholar DBLP MathSciNet Scopus Research Gate


My main research interests concern the Software Engineering area with a particular focus on the Application of Formal Methods to the Component-Based Software Engineerng for the Development of Distributed Software Systems. In particular, my research activities include: the Automated Synthesis of Software Connectors for the correct assembly of distributed systems, the Automated Composition of Software Services, and Automated Software Synthesis.

More details about my research activites can be found in my CV (available in .pdf format, English version).

A list of some of my publications can be found to my DBLP page.

The following is a list of the 15 most representative scientific publications of mine.

  1. M. Autili, L. Chen, C. Englund, C. Pompilio, M. Tivoli (2021). Cooperative Intelligent Transport Systems: Choreography-based Urban Traffic Coordination. IEEE TRANSACTIONS ON INTELLIGENT TRANSPORTATION SYSTEMS, p. 1-12, ISSN: 1558-0016, doi: 10.1109/TITS.2021.3059394.

  2. M. Autili, A. Perucci, L. Leite, M. Tivoli, F. Kon, A. Di Salle (2021). Highly collaborative distributed systems: Synthesis and enactment at work. CONCURRENCY AND COMPUTATION, vol. 33, p. 1-23, ISSN: 1532-0634, doi: 10.1002/cpe.6039.

  3. M. Autili, A. Di Salle, F. Gallo, C. Pompilio, M. Tivoli (2020). CHOReVOLUTION: Service choreography in practice. SCIENCE OF COMPUTER PROGRAMMING, vol. 197, p. 1-11, ISSN: 0167-6423, doi: 10.1016/j.scico.2020.102498.

  4. A. Marco, D. Di Ruscio, P. Inverardi, P. Pelliccione, M. Tivoli (2019). A software exoskeleton to protect and support citizen’s ethics and privacy in the digital world. IEEE ACCESS, vol. 7, p. 62011-62021, ISSN: 2169-3536, doi: 10.1109/ACCESS.2019.2916203.

  5. M. Autili, P. Inverardi, R. Spalazzese, M. Tivoli, F. Mignosi (2019). Automated Synthesis of Application-layer Connectors from Automata-based Specifications. JOURNAL OF COMPUTER AND SYSTEM SCIENCES, ISSN: 0022-0000, doi:

  6. M. Autili, P. Inverardi, M. Tivoli (2018). Choreography Realizability Enforcement through the Automatic Synthesis of Distributed Coordination Delegates. SCIENCE OF COMPUTER PROGRAMMING, vol. 160, p. 3-29, ISSN: 0167-6423, doi:

  7. M. Autili, P. Inverardi, M. Tivoli (2015). Automated Synthesis of Service Choreographies. IEEE SOFTWARE, vol. 32, p. 50-57, ISSN: 0740-7459, doi: 10.1109/MS.2014.131.

  8. M. Autili, P. Inverardi, P. Pelliccione, M. Tivoli (2012). Developing highly complex distributed systems: a software engineering perspective. JOURNAL OF INTERNET SERVICES AND APPLICATIONS, vol. 3, p. 15-22, ISSN: 1867-4828, doi: 10.1007/s13174-011-0048-5.

  9. P. Pelliccione, A. Bucchiarone, A. Polini, M. Tivoli (2008). An architectural approach to the correct and automatic assembly of evolving component-based systems. THE JOURNAL OF SYSTEMS AND SOFTWARE, vol. 81, p. 2237-2251, ISSN: 0164-1212, doi: 10.1016/j.jss.2008.05.030.

  10. M. Tivoli, P. Inverardi (2008). Failure-free coordinators synthesis for component-based architectures. SCIENCE OF COMPUTER PROGRAMMING, vol. 71, p. 181-212, ISSN: 0167-6423, doi: 10.1016/j.scico.2008.03.001.

  11. M. Autili, L. Mostarda, A. Navarra, M. Tivoli (2008). Synthesis of decentralized and concurrent adaptors for correctly assembling distributed component-based systems. THE JOURNAL OF SYSTEMS AND SOFTWARE, vol. 81, p. 2210-2236, ISSN: 0164-1212, doi: 10.1016/j.jss.2008.04.006.

  12. M. Kerholm, J. Carlson, J. Fredriksson, H. Hnsson, J. Hakansson, A. Mller, P. Pettersson, Tivoli M. (2007). The SAVE approach to component-based development of vehicular systems. THE JOURNAL OF SYSTEMS AND SOFTWARE, vol. 80, p. 655-667, ISSN: 0164-1212, doi: 10.1016/j.jss.2006.08.016.

  13. P. Inverardi, M. Tivoli (2003). Deadlock-free software architectures for COM/DCOM Applications. THE JOURNAL OF SYSTEMS AND SOFTWARE, vol. 65, p. 173-183, ISSN: 0164-1212, doi: 10.1016/S0164-1212(02)00037-7.

  14. P. Inverardi, M. Tivoli (2013). Automatic Synthesis of Modular Connectors via Composition of Protocol Mediation Patterns. In: Proc. of the 35th International Conference on Software Engineering (ICSE 2013). p. 3-12, Piscataway (NJ): IEEE, ISBN: 978-1-4673-3076-3, United States., May 18th - 26th, 2013, doi: 10.1109/ICSE.2013.6606546.

  15. A. Bertolino, P. Inverardi, P. Pelliccione, M. Tivoli (2009). Automatic synthesis of behavior protocols for composable web-services. In: Proc. of the 7th joint meeting of the European Software Engineering Conference and the ACM SIGSOFT International Symposium on Foundations of Software Engineering (ESEC/FSE 2009). p. 141-150, NEW YORK, NY, USA.:ACM, ISBN: 978-1-60558-001-2, Amsterdam, August 24-28, 2009, doi: 10.1145/1595696.1595719.

Architettura degli Elaboratori: Cambio aula per la lezione di lunedì 29.11.2021

Per gli studenti che seguiranno in presenza, si fa presente che la lezione di lunedì 29.11.2021 si svolgerà in aula C1.12 invece che in aula C1.10 come di consueto. ...

Architettura degli elaboratori

A causa della temporanea indisponibilità dell'aula, si avvisano gli studenti che la lezione di Giovedì 28 ottobre 2021 verrà effettuata via Teams attraverso il ...

Architettura degli elaboratori

Si avvisano gli studenti che la lezione di Giovedì 7 ottobre 2021 verrà sospesa perché il docente è impegnato come membro di commissione per un concorso ...

Utilizziamo i cookie per offrirti il ​​nostro servizio. Continuando a utilizzare questo sito acconsenti al nostro utilizzo dei cookie come descritto nella nostra policy.