Research

My research interests concern software engineering and are focused on the application of formal methods for the component-based development of distributed software systems. In particular, my research activities include the synthesis of software connectors/adapters/mediators and software services composition via the synthesis of orchestrations and choreographies.

More details about my research activites can be found in my curriculum vitae (click on the "Curriculum" tag above).

A complete list of my publications con be found to my IRIS records.

A partial list 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: https://doi.org/10.1016/j.jcss.2019.03.001.

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: https://doi.org/10.1016/j.scico.2017.10.010.

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.