1. Smart cities at the forefront of the future internet;Hernández-Muñoz,2011
2. CHOReVOLUTION: automating the realization of highly-collaborative distributed applications;Autili,2019
3. Choreography realizability enforcement through the automatic synthesis of distributed coordination delegates;Autili;Sci. Comput. Program.,2018
4. On the model-driven synthesis of evolvable service choreographies;Autili,2018