Synthesis of correct and distributed adaptors for component-based systems: an automatic approach. - Paola Inverardi; Leonardo Mostarda; Massimo Tivoli; Marco Autili (ASE, 2005)

Synthesis of Concurrent and Distributed Adaptors for Component-Based Systems. - Marco Autili; Michele Flammini; Paola Inverardi; Alfredo Navarra; Massimo Tivoli (EWSA, 2006)

A scenario based notation for specifying temporal properties. - Marco Autili; Paola Inverardi; Patrizio Pelliccione (SCESM, 2006)

SYNTHESIS, a Tool for Synthesizing Correct and Protocol-Enhanced Adaptors. - Massimo Tivoli; Marco Autili (Obj. Logiciel Base données Réseaux, 2006)

Towards a Graphical Tool for Refining User to System Requirements. - Marco Autili; Patrizio Pelliccione (GT-VMT@ETAPS, 2006)

SYNTHESIS: A Tool for Automatically Assembling Correct and Distributed Component-Based Systems. - Marco Autili; Paola Inverardi; Alfredo Navarra; Massimo Tivoli (ICSE, 2007)

A Development Process for Self-adapting Service Oriented Applications. - Marco Autili; Luca Berardinelli; Vittorio Cortellessa; Antinisca Di Marco; Davide Di Ruscio; Paola Inverardi; Massimo Tivoli (ICSOC, 2007)

Graphical scenarios for specifying temporal properties: an automated approach. - Marco Autili; Paola Inverardi; Patrizio Pelliccione (Autom. Softw. Eng., 2007)

A Resource-Oriented Static Analysis Approach to Adaptable Java Applications. - Marco Autili; Paolo Di Benedetto; Paola Inverardi; Fabio Mancinelli (COMPSAC, 2008)

A development process for context-aware adaptive services. - Marco Autili; Paolo Di Benedetto; Davide Di Ruscio; Paola Inverardi; Massimo Tivoli (ASE Workshops, 2008)

Towards Self-evolving Context-aware Services. - Marco Autili; Paolo Di Benedetto; Paola Inverardi; Damien A. Tamburri (Electron. Commun. Eur. Assoc. Softw. Sci. Technol., 2008)

Synthesis of decentralized and concurrent adaptors for correctly assembling distributed component-based systems. - Marco Autili; Leonardo Mostarda; Alfredo Navarra; Massimo Tivoli (J. Syst. Softw., 2008)

Context-Aware Adaptive Services: The PLASTIC Approach. - Marco Autili; Paolo Di Benedetto; Paola Inverardi (FASE, 2009)

Architecting Service Oriented Middleware for pervasive networking. - Marco Autili; Mauro Caporuscio; Valérie Issarny (PESOS@ICSE, 2009)

Towards a Connector Algebra. - Marco Autili; Chris Chilton; Paola Inverardi; Marta Z. Kwiatkowska; Massimo Tivoli (ISoLA (2), 2010)

A programming model for adaptable Java applications. - Marco Autili; Paolo Di Benedetto; Paola Inverardi (PPPJ, 2010)

ModelLAND: Where Do Models Come from? - Marco Autili; Davide Di Ruscio; Paola Inverardi; Patrizio Pelliccione; Massimo Tivoli (Models@run.time@Dagstuhl, 2011)

A development process for requirements based service choreography. - Marco Autili; Davide Di Ruscio; Paola Inverardi; James Lockerbie; Massimo Tivoli (RESS, 2011)

EAGLE: engineering software in the ubiquitous globe by leveraging uncErtainty. - Marco Autili; Vittorio Cortellessa; Davide Di Ruscio; Paola Inverardi; Patrizio Pelliccione; Massimo Tivoli (SIGSOFT FSE, 2011)

Service-oriented middleware for the Future Internet: state of the art and research directions. - Valérie Issarny; Nikolaos Georgantas; Sara Hachem; Apostolos V. Zarras; Panos Vassiliadis; Marco Autili; Marco Aurélio Gerosa; Amira Ben Hamida (J. Internet Serv. Appl., 2011)

Erratum to: Service-oriented middleware for the Future Internet: state of the art and research directions. - Valérie Issarny; Nikolaos Georgantas; Sara Hachem; Apostolos V. Zarras; Panos Vassiliadis; Marco Autili; Marco Aurélio Gerosa; Amira Ben Hamida (J. Internet Serv. Appl., 2011)

An Integrated Development and Runtime Environment for the Future Internet. - Amira Ben Hamida; Fabio Kon; Gustavo Ansaldi Oliva; Carlos Eduardo Moreira Dos Santos; Jean-Pierre Lorré; Marco Autili; Guglielmo De Angelis; Apostolos V. Zarras; Nikolaos Georgantas; Valérie Issarny; Antonia Bertolino (Future Internet Assembly, 2012)

Providing lightweight and adaptable service technology for information and communication (PLASTIC) in the mobile ehealth case study. - Marco Autili; Luca Berardinelli; Davide Di Ruscio; Catia Trubiani (PESOS@ICSE, 2012)

Integration Architecture Synthesis for Taming Uncertainty in the Digital Space. - Marco Autili; Vittorio Cortellessa; Davide Di Ruscio; Paola Inverardi; Patrizio Pelliccione; Massimo Tivoli (Monterey Workshop, 2012)

Developing highly complex distributed systems: a software engineering perspective. - Marco Autili; Paola Inverardi; Patrizio Pelliccione; Massimo Tivoli (J. Internet Serv. Appl., 2012)

Synthesis of Distributed and Adaptable Coordinators to Enable Choreography Evolution. - Marco Autili; Paola Inverardi; Alexander Perucci; Massimo Tivoli (Software Engineering for Self-Adaptive Systems, 2013)

A Model-Based Synthesis Process for Choreography Realizability Enforcement. - Marco Autili; Davide Di Ruscio; Amleto Di Salle; Paola Inverardi; Massimo Tivoli (FASE, 2013)

Synthesis of Resilient Choreographies. - Marco Autili; Amleto Di Salle; Massimo Tivoli (SERENE, 2013)

Producing software by integration: challenges and research directions (keynote). - Paola Inverardi; Marco Autili; Davide Di Ruscio; Patrizio Pelliccione; Massimo Tivoli (ESEC/SIGSOFT FSE, 2013)

A hybrid approach for resource-based comparison of adaptable Java applications. - Marco Autili; Paolo Di Benedetto; Paola Inverardi (Sci. Comput. Program., 2013)

CHOREOS: Large scale choreographies for the future internet. - Marco Autili; Paola Inverardi; Massimo Tivoli (CSMR-WCRE, 2014)

Synthesizing an Automata-based Representation of BPMN2 Choreography Diagrams. - Marco Autili; Davide Di Ruscio; Amleto Di Salle; Paola Inverardi (ModComp@MoDELS, 2014)

IEEE First International Workshop on Service Orchestration and Choreography for the Future Internet (OrChor 2014). - Marco Autili; Alfredo Goldman; Massimo Tivoli (SERVICES, 2014)

CHOReOSynt: enforcing choreography realizability in the future internet. - Marco Autili; Davide Di Ruscio; Amleto Di Salle; Alexander Perucci (SIGSOFT FSE, 2014)

Automatic adaptor synthesis for protocol transformation. - Marco Autili; Paola Inverardi; Massimo Tivoli (CoRR, 2014)

Distributed Enforcement of Service Choreographies. - Marco Autili; Massimo Tivoli (FOCLASA, 2014)

Model-driven engineering of middleware-based ubiquitous services. - Marco Autili; Mauro Caporuscio; Valérie Issarny; Luca Berardinelli (Softw. Syst. Model., 2014)

Automated Integration of Service-Oriented Software Systems. - Marco Autili; Paola Inverardi; Massimo Tivoli (FSEN, 2015)

Biological Immunity and Software Resilience: Two Faces of the Same Coin? - Marco Autili; Amleto Di Salle; Francesco Gallo; Alexander Perucci; Massimo Tivoli (SERENE, 2015)

IEEE Services Visionary Track on Service Composition for the Future Internet (SCFI 2015). - Marco Autili; Alfredo Goldman; Massimo Tivoli (SERVICES, 2015)

Perspectives on static analysis of mobile apps (invited talk). - Marco Autili; Ivano Malavolta; Alexander Perucci; Gian Luca Scoccia (DeMobile@SIGSOFT FSE, 2015)

TACTICS: TACTICal Service Oriented Architecture. - Alessandro Aloisio; Marco Autili; Alfredo D'Angelo; Antti Viidanoja; Jérémie Leguay; Tobias Ginzler; Thorsten A. Lampe; Luca Spagnolo; Stephen D. Wolthusen; Adam Flizikowski; Joanna Sliwa 001 (CoRR, 2015)

On the adaptation of context-aware services. - Marco Autili; Vittorio Cortellessa; Paolo Di Benedetto; Paola Inverardi (CoRR, 2015)

Synthesis of correct adaptors for protocol enhancement in component-based systems. - Marco Autili; Paola Inverardi; Massimo Tivoli (CoRR, 2015)

On the Automated Synthesis of Enterprise Integration Patterns to Adapt Choreography-based Distributed Systems. - Marco Autili; Amleto Di Salle; Alexander Perucci; Massimo Tivoli (FOCLASA, 2015)

Automated Synthesis of Service Choreographies. - Marco Autili; Paola Inverardi; Massimo Tivoli (IEEE Softw., 2015)

Aligning Qualitative, Real-Time, and Probabilistic Property Specification Patterns Using a Structured English Grammar. - Marco Autili; Lars Grunske; Markus Lumpe; Patrizio Pelliccione; Antony Tang (IEEE Trans. Software Eng., 2015)

Thematic series on service composition for the future internet. - Marco Autili; Massimo Tivoli; Alfredo Goldman (J. Internet Serv. Appl., 2016)

A Tool-Supported Methodology for Validation and Refinement of Early-Stage Domain Models. - Marco Autili; Antonia Bertolino; Guglielmo De Angelis; Davide Di Ruscio; Alessio Di Sandro (IEEE Trans. Software Eng., 2016)

Transition Strategies for Increasing Self-awareness in Existing Types of Computing Systems. - Marco Autili; Kirstie L. Bellman; Ada Diaconescu; Lukas Esterle; Massimo Tivoli; Andrea Zisman (Self-Aware Computing Systems, 2017)

Synthesis and Verification of Self-aware Computing Systems. - Radu Calinescu; Marco Autili; Javier Cámara 001; Antinisca Di Marco; Simos Gerasimou; Paola Inverardi; Alexander Perucci; Nils Jansen 001; Joost-Pieter Katoen; Marta Z. Kwiatkowska; Ole J. Mengshoel; Romina Spalazzese; et al. (Self-Aware Computing Systems, 2017)

Self-aware Computing Systems: Related Concepts and Research Areas. - Javier Cámara 001; Kirstie L. Bellman; Jeffrey O. Kephart; Marco Autili; Nelly Bencomo; Ada Diaconescu; Holger Giese; Sebastian Götz; Paola Inverardi; Samuel Kounev; Massimo Tivoli (Self-Aware Computing Systems, 2017)

User-centric Android flexible permissions. - Gian Luca Scoccia; Ivano Malavolta; Marco Autili; Amleto Di Salle; Paola Inverardi (ICSE (Companion Volume), 2017)

A Multipurpose Framework for Model-based Reuse-oriented Software Integration Synthesis. - Alexander Perucci; Marco Autili; Massimo Tivoli (MoDELS (Satellite Events), 2017)

On the model-driven synthesis of evolvable service choreographies. - Marco Autili; Amleto Di Salle; Francesco Gallo; Claudio Pompilio; Massimo Tivoli (ECSA (Companion), 2018)

An investigation into Android run-time permissions from the end users' perspective. - Gian Luca Scoccia; Stefano Ruberto; Ivano Malavolta; Marco Autili; Paola Inverardi (MOBILESoft@ICSE, 2018)

On the Model-driven Synthesis of Adaptable Choreographies. - Marco Autili; Amleto Di Salle; Francesco Gallo; Claudio Pompilio; Massimo Tivoli (MoDELS (Workshops), 2018)

Model-driven adaptation of service choreographies. - Marco Autili; Amleto Di Salle; Francesco Gallo; Claudio Pompilio; Massimo Tivoli (SAC, 2018)

Distributed Composition of Highly-Collaborative Services and Sensors in Tactical Domains. - Alexander Perucci; Marco Autili; Massimo Tivoli; Alessandro Aloisio; Paola Inverardi (SEDA, 2018)

Thematic series on Verification and Composition for the Internet of Services and Things. - Marco Autili; Dimitra Giannakopoulou; Massimo Tivoli (J. Internet Serv. Appl., 2018)

Choreography Realizability Enforcement through the Automatic Synthesis of Distributed Coordination Delegates. - Marco Autili; Paola Inverardi; Massimo Tivoli (Sci. Comput. Program., 2018)

Different Glasses to Look into the Three Cs: Component, Connector, Coordination. - Farhad Arbab; Marco Autili; Paola Inverardi; Massimo Tivoli (Models, Languages, and Tools for Concurrent and Distributed Programming, 2019)

CHOReVOLUTION: Automating the Realization of Highly-Collaborative Distributed Applications. - Marco Autili; Amleto Di Salle; Francesco Gallo; Claudio Pompilio; Massimo Tivoli (COORDINATION, 2019)

Introducing Trust in Service-Oriented Distributed Systems through Blockchain. - Marco Autili; Francesco Gallo; Paola Inverardi; Claudio Pompilio; Massimo Tivoli (ISSRE Workshops, 2019)

Aiding the realization of service-oriented distributed systems. - Marco Autili; Amleto Di Salle; Francesco Gallo; Claudio Pompilio; Massimo Tivoli (SAC, 2019)

A Software Exoskeleton to Protect and Support Citizen's Ethics and Privacy in the Digital World. - Marco Autili; Davide Di Ruscio; Paola Inverardi; Patrizio Pelliccione; Massimo Tivoli (IEEE Access, 2019)

A Choreography-Based and Collaborative Road Mobility System for L'Aquila City. - Marco Autili; Amleto Di Salle; Francesco Gallo; Claudio Pompilio; Massimo Tivoli (Future Internet, 2019)

Automated synthesis of application-layer connectors from automata-based specifications. - Marco Autili; Paola Inverardi; Romina Spalazzese; Massimo Tivoli; Filippo Mignosi (J. Comput. Syst. Sci., 2019)

A Hybrid Approach to Microservices Load Balancing. - Marco Autili; Alexander Perucci; Lorenzo De Lauretis (Microservices, Science and Engineering, 2020)

A self-configuring and adaptive privacy-aware permission system for Android apps. - Gian Luca Scoccia; Marco Autili; Paola Inverardi (ACSOS, 2020)

CHOReVOLUTION: Hands-On In-Service Training for Choreography-Based Systems. - Marco Autili; Amleto Di Salle; Claudio Pompilio; Massimo Tivoli (COORDINATION, 2020)

Web Frameworks for Desktop Apps: an Exploratory Study. - Gian Luca Scoccia; Marco Autili (ESEM, 2020)

On the elicitation of privacy and ethics preferences of mobile users. - Patrizio Migliarini; Gian Luca Scoccia; Marco Autili; Paola Inverardi (MOBILESoft@ICSE, 2020)

Hey, my data are mine!: active data to empower the user. - Gian Luca Scoccia; Marco Autili; Patrizio Pelliccione; Paola Inverardi; Matteo Maria Fiore; Alejandro Russo (ICSE (NIER), 2020)

Towards the synthesis of context-aware choreographies. - Gianluca Filippone; Marco Autili; Massimo Tivoli (ISSRE Workshops, 2020)

CHOReVOLUTION: Service choreography in practice. - Marco Autili; Amleto Di Salle; Francesco Gallo; Claudio Pompilio; Massimo Tivoli (Sci. Comput. Program., 2020)

Migration of Monoliths through the Synthesis of Microservices using Combinatorial Optimization. - Gianluca Filippone; Marco Autili; Fabrizio Rossi; Massimo Tivoli (ISSRE Workshops, 2021)

Challenges in Developing Desktop Web Apps: a Study of Stack Overflow and GitHub. - Gian Luca Scoccia; Patrizio Migliarini; Marco Autili (MSR, 2021)

Highly collaborative distributed systems: Synthesis and enactment at work. - Marco Autili; Alexander Perucci; Leonardo A. F. Leite; Massimo Tivoli; Fabio Kon; Amleto Di Salle (Concurr. Comput. Pract. Exp., 2021)

Software engineering techniques for statically analyzing mobile apps: research trends, characteristics, and potential for industrial adoption. - Marco Autili; Ivano Malavolta; Alexander Perucci; Gian Luca Scoccia; Roberto Verdecchia (J. Internet Serv. Appl., 2021)

Trends and Challenges for Software Engineering in the Mobile Domain. - Luciano Baresi; William G. Griswold; Grace A. Lewis; Marco Autili; Ivano Malavolta; Christine Julien 001 (IEEE Softw., 2021)

Cooperative Intelligent Transport Systems: Choreography-Based Urban Traffic Coordination. - Marco Autili; Lei Chen 006; Cristofer Englund; Claudio Pompilio; Massimo Tivoli (IEEE Trans. Intell. Transp. Syst., 2021)

Enhancing Trustability of Android Applications via User-Centric Flexible Permissions. - Gian Luca Scoccia; Ivano Malavolta; Marco Autili; Amleto Di Salle; Paola Inverardi (IEEE Trans. Software Eng., 2021)

An empirical study of privacy labels on the Apple iOS mobile app store. - Gian Luca Scoccia; Marco Autili; Giovanni Stilo; Paola Inverardi (MOBILESoft, 2022)

Synthesis of context-aware business-to-business processes for location-based services through choreographies. - Gianluca Filippone; Marco Autili; Massimo Tivoli (J. Softw. Evol. Process., 2022)

Don't You Agree with My Ethics? Let's Negotiate! - Mashal Afzal Memon; Gian Luca Scoccia; Paola Inverardi; Marco Autili (HHAI, 2023)

From monolithic to microservice architecture: an automated approach based on graph clustering and combinatorial optimization. - Gianluca Filippone; Nadeem Qaisar Mehmood; Marco Autili; Fabrizio Rossi; Massimo Tivoli (ICSA, 2023)

5th International Workshop on Automated and Verifiable Software System Development (ASYDE 2023). - Marco Autili; Alessio Bucaioni; Gianluca Filippone; Farnaz Fotrousi; Rim Saddem; Gian Luca Scoccia (ASEW, 2023)

Migrating from Monoliths to Microservices: Enforcing Correct Coordination. - Marco Autili; Gianluca Filippone; Massimo Tivoli (ASEW, 2023)

Automated Negotiation - Preliminary Results of a Systematic Mapping Study. - Mashal Afzal Memon; Gian Luca Scoccia; Marco Autili (ASEW, 2023)

Studying users' perception of IoT mobile companion apps. - Gian Luca Scoccia; Romina Eramo; Marco Autili (Pervasive Mob. Comput., 2023)

An architectural style for scalable choreography-based microservice-oriented distributed systems. - Gianluca Filippone; Claudio Pompilio; Marco Autili; Massimo Tivoli (Computing, 2023)

An Architecture for Ethics-Based Negotiation in the Decision-Making of Intelligent Autonomous Systems. - Mashal Afzal Memon; Gian Luca Scoccia; Marco Autili; Paola Inverardi (ICSA-C, 2024)

6th International Workshop on Automated and verifiable Software sYstem DEvelopment (ASYDE 2024). - Marco Autili; Alessio Bucaioni; Gianluca Filippone; Lina Marsso; Gian Luca Scoccia (ASE Workshops, 2024)

A High-level Architecture of an Automated Context-aware Ethics-based Negotiation Approach. - Mashal Afzal Memon; Marco Autili; Gianluca Filippone; Gian Luca Scoccia; Paola Inverardi (ASE, 2024)

Handling uncertainty in the specification of autonomous multi-robot systems through mission adaptation. - Gianluca Filippone; Juan Antonio Piñera García; Marco Autili; Patrizio Pelliccione (SEAMS@ICSE, 2024)

Summary of the 5th International Workshop on Automated andverifiable Software sYstem DEvelopment (ASYDE)co-located with the 38th IEEE/ACM ASE 2023. - Farhad Arbab; Marco Autili; Federico Ciccozzi; Pascal Poizat; Massimo Tivoli (ACM SIGSOFT Softw. Eng. Notes, 2024)

Summary of the 6th International Workshop on Automated and verifiable Software sYstem DEvelopment (ASYDE) co-located with the 39th IEEE/ACM ASE 2024. - Marco Autili; Alessio Bucaioni; Gianluca Filippone; Lina Marsso; Gian Luca Scoccia (ACM SIGSOFT Softw. Eng. Notes, 2025)

Engineering Digital Systems for Humanity: A Research Roadmap. - Marco Autili; Martina De Sanctis; Paola Inverardi; Patrizio Pelliccione (ACM Trans. Softw. Eng. Methodol., 2025)

RobEthiChor: Automated Context-aware Ethics-based Negotiation for Autonomous Robots. - Mashal Afzal Memon; Gianluca Filippone; Gian Luca Scoccia; Marco Autili; Paola Inverardi (CoRR, 2025)

A systematic mapping study on automated negotiation for autonomous intelligent systems. - Mashal Afzal Memon; Gian Luca Scoccia; Marco Autili (Autom. Softw. Eng., 2025)