Summary of the 5th International Workshop on Automated andverifiable Software sYstem DEvelopment (ASYDE) co-located with the 38th IEEE/ACM ASE 2023 F Arbab, M Autili, F Ciccozzi, P Poizat, M Tivoli ACM SIGSOFT Software Engineering Notes 49 (1), 24-26, 2023 | | 2023 |
Migrating from monoliths to microservices: Enforcing correct coordination M Autili, G Filippone, M Tivoli 2023 38th IEEE/ACM International Conference on Automated Software …, 2023 | 1 | 2023 |
An architectural style for scalable choreography-based microservice-oriented distributed systems G Filippone, C Pompilio, M Autili, M Tivoli Computing 105 (9), 1933-1956, 2023 | 2 | 2023 |
From monolithic to microservice architecture: an automated approach based on graph clustering and combinatorial optimization G Filippone, NQ Mehmood, M Autili, F Rossi, M Tivoli 2023 IEEE 20th International Conference on Software Architecture (ICSA), 47-57, 2023 | 3 | 2023 |
Synthesis of context‐aware business‐to‐business processes for location‐based services through choreographies G Filippone, M Autili, M Tivoli Journal of Software: Evolution and Process 34 (10), e2416, 2022 | 4 | 2022 |
Ethical-aware autonomous systems from a social psychological lens. P Inverardi, M Palmiero, P Pelliccione, M Tivoli CoPDA@ AVI, 43-48, 2022 | 2 | 2022 |
Migration of monoliths through the synthesis of microservices using combinatorial optimization G Filippone, M Autili, F Rossi, M Tivoli 2021 IEEE International Symposium on Software Reliability Engineering …, 2021 | 6 | 2021 |
Highly collaborative distributed systems: Synthesis and enactment at work M Autili, A Perucci, L Leite, M Tivoli, F Kon, A Di Salle Concurrency and Computation: Practice and Experience 33 (6), e6039, 2021 | 5 | 2021 |
Cooperative intelligent transport systems: Choreography-based urban traffic coordination M Autili, L Chen, C Englund, C Pompilio, M Tivoli IEEE Transactions on Intelligent Transportation Systems 22 (4), 2088-2099, 2021 | 39 | 2021 |
Towards the synthesis of context-aware choreographies G Filippone, M Autili, M Tivoli 2020 IEEE International Symposium on Software Reliability Engineering …, 2020 | 2 | 2020 |
CHOReVOLUTION: service choreography in practice M Autili, A Di Salle, F Gallo, C Pompilio, M Tivoli Science of Computer Programming 197, 102498, 2020 | 12 | 2020 |
CHOReVOLUTION: Hands-On In-Service Training for Choreography-Based Systems M Autili, A Di Salle, C Pompilio, M Tivoli International Conference on Coordination Languages and Models, 3-19, 2020 | | 2020 |
Distributed composition of highly-collaborative services and sensors in tactical domains A Perucci, M Autili, M Tivoli, A Aloisio, P Inverardi Proceedings of 6th International Conference in Software Engineering for …, 2020 | 8 | 2020 |
Introducing trust in service-oriented distributed systems through blockchain M Autili, F Gallo, P Inverardi, C Pompilio, M Tivoli 2019 IEEE International Symposium on Software Reliability Engineering …, 2019 | 13 | 2019 |
Automated synthesis of application-layer connectors from automata-based specifications M Autili, P Inverardi, R Spalazzese, M Tivoli, F Mignosi Journal of Computer and System Sciences 104, 17-40, 2019 | 27 | 2019 |
A choreography-based and collaborative road mobility system for L’Aquila city M Autili, A Di Salle, F Gallo, C Pompilio, M Tivoli Future Internet 11 (6), 132, 2019 | 10 | 2019 |
A software exoskeleton to protect and support citizen’s ethics and privacy in the digital world M Autili, D Di Ruscio, P Inverardi, P Pelliccione, M Tivoli IEEE Access 7, 62011-62021, 2019 | 28 | 2019 |
Aiding the realization of service-oriented distributed systems M Autili, A Di Salle, F Gallo, C Pompilio, M Tivoli Proceedings of the 34th ACM/SIGAPP Symposium on Applied Computing, 1701-1710, 2019 | 12 | 2019 |
Editorial to theme issue on model-driven engineering of component-based software systems F Ciccozzi, J Carlson, P Pelliccione, M Tivoli Software & Systems Modeling 18, 7-10, 2019 | 7 | 2019 |
Different glasses to look into the three cs: component, connector, coordination F Arbab, M Autili, P Inverardi, M Tivoli Models, Languages, and Tools for Concurrent and Distributed Programming …, 2019 | 1 | 2019 |