AUTILI, MARCO

AUTILI, MARCO  

Dipartimento di Ingegneria e scienze dell'informazione e matematica  

Mostra records
Risultati 1 - 20 di 114 (tempo di esecuzione: 0.021 secondi).
Titolo Data di pubblicazione Autore(i) File
Summary of the 5th International Workshop on Automated Andverifiable Software SYstem DEvelopment (ASYDE) Co-Located with the 38th IEEE/ACM ASE 2023 1-gen-2024 Arbab, Farhad; Autili, Marco; Ciccozzi, Federico; Poizat, Pascal; Tivoli, Massimo
Handling uncertainty in the specification of autonomous multi-robot systems through mission adaptation 1-gen-2024 Filippone, G.; Pinera, A.; Autili, M.; Pelliccione, P.
An architecture for ethics-based negotiation in the decision-making of intelligent autonomous systems 1-gen-2024 Memon, MASHAL AFZAL; Scoccia, GIAN LUCA; Autili, Marco; Inverardi, Paola
An architectural style for scalable choreography-based microservice-oriented distributed systems 1-gen-2023 Filippone, Gianluca; Pompilio, Claudio; Autili, Marco; Tivoli, Massimo
From monolithic to microservice architecture: an automated approach based on graph clustering and combinatorial optimization 1-gen-2023 Filippone, Gianluca; Mehmood, NADEEM QAISAR; Autili, Marco; Rossi, Fabrizio; Tivoli, Massimo
Migrating from monoliths to microservices: enforcing correct coordination 1-gen-2023 Autili, Marco; Filippone, Gianluca; Tivoli, Massimo
Don't You Agree with My Ethics? Let's Negotiate! 1-gen-2023 Memon, Mashal Afzal; Scoccia, Gian Luca; Inverardi, Paola; Autili, Marco
Automated Negotiation - Preliminary results of a systematic mapping study 1-gen-2023 Memon, MASHAL AFZAL; Scoccia, GIAN LUCA; Autili, Marco
Studying users' perception of IoT mobile companion apps 1-gen-2023 Scoccia, GIAN LUCA; Eramo, Romina; Autili, Marco
5th International Workshop on Automated and verifiable Software sYstem DEvelopment (ASYDE 2023) at 38th IEEE/ACM International Conference on Automated Software Engineering (ASE 2023) 1-gen-2023 Autili, M.; Bucaioni, A.; Filippone, G.; Fotrousi, F.; Saddem, R.; Scoccia, G. L.
Thematic Series on Automated and Verifiable Internet Services and Applications Development 1-gen-2022 Autili, Marco; Arbab, Farhad; Ciccozzi, Federico; Giannakopoulou, Dimitra; Poizat, Pascal; Tivoli, Massimo
Proceedings Fourth International Workshop on Formal Methods for Autonomous Systems (FMAS) and Fourth International Workshop on Automated and verifiable Software sYstem DEvelopment (ASYDE) - ASYDE 2022 Organizers' Message 1-gen-2022 Autili, Marco; Berardinelli, Luca; Bucaioni, Alessio; Pompilio, Claudio
Software Engineering and Formal Methods. SEFM 2021 Collocated Workshops - CIFMA, CoSim-CPS, OpenCERT, ASYDE, Virtual Event, December 6-10, 2021, Revised Selected Papers 1-gen-2022 Cerone, Antonio; Autili, Marco; Bucaioni, Alessio; Gome, Claudio; Grazian, Pierluigi; Palmier, Maurizio; Temperini, Marco; Venture, Gentiane
Synthesis of context-aware business-to-business processes for location-based services through choreographies 1-gen-2022 Filippone, G.; Autili, M.; Tivoli, M.
An empirical study of privacy labels on the Apple iOS mobile app store 1-gen-2022 Scoccia, GIAN LUCA; Autili, Marco; Stilo, Giovanni; Inverardi, Paola
Highly collaborative distributed systems: Synthesis and enactment at work 1-gen-2021 Autili, Marco; Perucci, Alexander; Leite, Leonardo; Tivoli, Massimo; Kon, Fabio; DI SALLE, Amleto
Migration of Monoliths through the Synthesis of Microservices using Combinatorial Optimization 1-gen-2021 Filippone, G.; Autili, M.; Rossi, F.; Tivoli, M.
Enhancing Trustability of Android Applications via User-Centric Flexible Permissions 1-gen-2021 Scoccia, Gian Luca; Malavolta, Ivano; Autili, Marco; Di Salle, Amleto; Inverardi, Paola
Cooperative Intelligent Transport Systems: Choreography-based Urban Traffic Coordination 1-gen-2021 Autili, Marco; Chen, L.; Englund, C.; Pompilio, Claudio; Tivoli, Massimo
Software engineering techniques for statically analyzing mobile apps: research trends, characteristics, and potential for industrial adoption 1-gen-2021 Autili, M.; Malavolta, I.; Perucci, A.; Scoccia, G. L.; Verdecchia, R.