Publications

A complete list of my publications can 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.