AUTILI, MARCO
AUTILI, MARCO
Dipartimento di Ingegneria e scienze dell'informazione e matematica
Engineering Digital Systems for Humanity: a Research Roadmap
2025-01-01 Autili, Marco; De Sanctis, Martina; Inverardi, Paola; Pelliccione, Patrizio
I'm Trustworthy! Don't you Trust me?
2025-01-01 Autili, Marco; Donati, Donatella; Inverardi, Paola; Melis, Beatrice; Pelliccione, Patrizio
A Systematic Mapping Study on Automated Negotiation for Autonomous Intelligent Systems
2025-01-01 Memon, MASHAL AFZAL; Scoccia, GIAN LUCA; Autili, Marco
Towards Ethical Prompt Engineering for Generative AI in SE: Limitations, Challenges and Research Roadmap
2025-01-01 Autili, Marco; Migliarini, Patrizio; Inverardi, Paola
Summary of the 5th International Workshop on Automated Andverifiable Software SYstem DEvelopment (ASYDE) Co-Located with the 38th IEEE/ACM ASE 2023
2024-01-01 Arbab, Farhad; Autili, Marco; Ciccozzi, Federico; Poizat, Pascal; Tivoli, Massimo
Enabling the Cloud-to-Autonomous-Vehicles continuum for future Industrial Applications: the CAVIA project approach
2024-01-01 Autili, Marco; Ceselli, Alberto; Filippone, Gianluca; Bernardeschi, Cinzia; Quadri, Christian; Vallati, Carlo
A High-level Architecture of an Automated Context-aware Ethics-based Negotiation Approach
2024-01-01 Memon, MASHAL AFZAL; Autili, Marco; Filippone, Gianluca; Scoccia, GIAN LUCA; Inverardi, Paola
Handling uncertainty in the specification of autonomous multi-robot systems through mission adaptation
2024-01-01 Filippone, G.; Pinera, A.; Autili, M.; Pelliccione, P.
6th International Workshop on Automated and verifiable Software sYstem DEvelopment (ASYDE 2024)
2024-01-01 Autili, Marco; Bucaioni, Alessio; Filippone, Gianluca; Marsso, Lina; Scoccia, GIAN LUCA
An architecture for ethics-based negotiation in the decision-making of intelligent autonomous systems
2024-01-01 Memon, MASHAL AFZAL; Scoccia, GIAN LUCA; Autili, Marco; Inverardi, Paola
5th International Workshop on Automated and verifiable Software sYstem DEvelopment (ASYDE 2023) at 38th IEEE/ACM International Conference on Automated Software Engineering (ASE 2023)
2023-01-01 Autili, M.; Bucaioni, A.; Filippone, G.; Fotrousi, F.; Saddem, R.; Scoccia, G. L.
Don't You Agree with My Ethics? Let's Negotiate!
2023-01-01 Memon, Mashal Afzal; Scoccia, Gian Luca; Inverardi, Paola; Autili, Marco
Automated Negotiation - Preliminary results of a systematic mapping study
2023-01-01 Memon, MASHAL AFZAL; Scoccia, GIAN LUCA; Autili, Marco
Migrating from monoliths to microservices: enforcing correct coordination
2023-01-01 Autili, Marco; Filippone, Gianluca; Tivoli, Massimo
An architectural style for scalable choreography-based microservice-oriented distributed systems
2023-01-01 Filippone, Gianluca; Pompilio, Claudio; Autili, Marco; Tivoli, Massimo
From monolithic to microservice architecture: an automated approach based on graph clustering and combinatorial optimization
2023-01-01 Filippone, Gianluca; Mehmood, NADEEM QAISAR; Autili, Marco; Rossi, Fabrizio; Tivoli, Massimo
Studying users' perception of IoT mobile companion apps
2023-01-01 Scoccia, GIAN LUCA; Eramo, Romina; Autili, Marco
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
2022-01-01 Autili, Marco; Berardinelli, Luca; Bucaioni, Alessio; Pompilio, Claudio
Thematic Series on Automated and Verifiable Internet Services and Applications Development
2022-01-01 Autili, Marco; Arbab, Farhad; Ciccozzi, Federico; Giannakopoulou, Dimitra; Poizat, Pascal; Tivoli, Massimo
Software Engineering and Formal Methods. SEFM 2021 Collocated Workshops - CIFMA, CoSim-CPS, OpenCERT, ASYDE, Virtual Event, December 6-10, 2021, Revised Selected Papers
2022-01-01 Cerone, Antonio; Autili, Marco; Bucaioni, Alessio; Gome, Claudio; Grazian, Pierluigi; Palmier, Maurizio; Temperini, Marco; Venture, Gentiane