• Shatnawi A, Faye E, Rima B, Shara Z and Seriai A. The State of the Art of Emergent Software Systems. IEEE Access. 10.1109/ACCESS.2024.3369903. 12. (31808-31823).

    https://ieeexplore.ieee.org/document/10445183/

  • Spalazzi L, Spegni F, Corneli A and Naticchia B. (2021). Blockchain based choreographies: The construction industry case study. Concurrency and Computation: Practice and Experience. 10.1002/cpe.6740. 35:16. Online publication date: 25-Jul-2023.

    https://onlinelibrary.wiley.com/doi/10.1002/cpe.6740

  • Autili M, Chen L, Englund C, Pompilio C and Tivoli M. Cooperative Intelligent Transport Systems: Choreography-Based Urban Traffic Coordination. IEEE Transactions on Intelligent Transportation Systems. 10.1109/TITS.2021.3059394. 22:4. (2088-2099).

    https://ieeexplore.ieee.org/document/9363009/

  • Najem T and Perucci A. (2020). Mapping BPMN2 Service Choreographies to Colored Petri Nets. Software Engineering and Formal Methods. 10.1007/978-3-030-57506-9_8. (85-100).

    http://link.springer.com/10.1007/978-3-030-57506-9_8

  • Barbanera F, Lanese I and Tuosto E. (2020). Choreography Automata. Coordination Models and Languages. 10.1007/978-3-030-50029-0_6. (86-106).

    http://link.springer.com/10.1007/978-3-030-50029-0_6

  • Autili M, Di Salle A, Pompilio C and Tivoli M. (2020). CHOReVOLUTION: Hands-On In-Service Training for Choreography-Based Systems. Coordination Models and Languages. 10.1007/978-3-030-50029-0_1. (3-19).

    http://link.springer.com/10.1007/978-3-030-50029-0_1

  • Autili M, Di Salle A, Gallo F, Pompilio C and Tivoli M. (2019). A Choreography-Based and Collaborative Road Mobility System for L’Aquila City. Future Internet. 10.3390/fi11060132. 11:6. (132).

    https://www.mdpi.com/1999-5903/11/6/132

  • Autili M, Di Salle A, Gallo F, Pompilio C and Tivoli M. (2019). CHOReVOLUTION: Automating the Realization of Highly–Collaborative Distributed Applications. Coordination Models and Languages. 10.1007/978-3-030-22397-7_6. (92-108).

    https://link.springer.com/10.1007/978-3-030-22397-7_6

  • Calinescu R, Autili M, Cámara J, Di Marco A, Gerasimou S, Inverardi P, Perucci A, Jansen N, Katoen J, Kwiatkowska M, Mengshoel O, Spalazzese R and Tivoli M. (2017). Synthesis and Verification of Self-aware Computing Systems. Self-Aware Computing Systems. 10.1007/978-3-319-47474-8_11. (337-373).

    http://link.springer.com/10.1007/978-3-319-47474-8_11

  • Autili M, Di Salle A, Perucci A and Tivoli M. (2015). On the Automated Synthesis of Enterprise Integration Patterns to Adapt Choreography-based Distributed Systems. Electronic Proceedings in Theoretical Computer Science. 10.4204/EPTCS.201.3. 201. (33-47).

    http://arxiv.org/abs/1512.07682

  • Salle A, Gallo F and Perucci A. Towards Adapting Choreography-Based Service Compositions Through Enterprise Integration Patterns. Revised Selected Papers of the SEFM 2015 Collocated Workshops on Software Engineering and Formal Methods - Volume 9509. (240-252).

    https://doi.org/10.1007/978-3-662-49224-6_20

  • Görlach K and Leymann F. A Flexible Engine for the Unified Execution of Service Compositions. Proceedings of the 2015 IEEE Symposium on Service-Oriented System Engineering. (133-142).

    https://doi.org/10.1109/SOSE.2015.25

  • Autili M, Inverardi P and Tivoli M. (2015). Automated Integration of Service-Oriented Software Systems. Fundamentals of Software Engineering. 10.1007/978-3-319-24644-4_2. (30-45).

    http://link.springer.com/10.1007/978-3-319-24644-4_2