Marco Autili

Publication Activity (10 Years)

Years Active: 2005-2024
Publications (10 Years): 43

Top Topics

Combinatorial Optimization

Distributed Systems

Future Internet

Top Venues

J. Internet Serv. Appl.

ISSRE Workshops

Publications

Farhad Arbab, Marco Autili, Federico Ciccozzi, Pascal Poizat, Massimo Tivoli
Summary of the 5th International Workshop on Automated andverifiable Software sYstem DEvelopment (ASYDE)co-located with the 38th IEEE/ACM ASE 2023. ACM SIGSOFT Softw. Eng. Notes 49 (1) (2024)
Gianluca Filippone, Juan Antonio Piñera García, Marco Autili, Patrizio Pelliccione
Handling uncertainty in the specification of autonomous multi-robot systems through mission adaptation. SEAMS@ICSE (2024)
Marco Autili, Alessio Bucaioni, Gianluca Filippone, Farnaz Fotrousi, Rim Saddem, Gian Luca Scoccia
5th International Workshop on Automated and Verifiable Software System Development (ASYDE 2023). ASEW (2023)
Gian Luca Scoccia, Romina Eramo, Marco Autili
Studying users' perception of IoT mobile companion apps. Pervasive Mob. Comput. 92 (2023)
Gianluca Filippone, Claudio Pompilio, Marco Autili, Massimo Tivoli
An architectural style for scalable choreography-based microservice-oriented distributed systems. Computing 105 (9) (2023)
Gianluca Filippone, Nadeem Qaisar Mehmood, Marco Autili, Fabrizio Rossi, Massimo Tivoli
From monolithic to microservice architecture: an automated approach based on graph clustering and combinatorial optimization. ICSA (2023)
Mashal Afzal Memon, Gian Luca Scoccia, Paola Inverardi, Marco Autili
Don't You Agree with My Ethics? Let's Negotiate! HHAI (2023)
Marco Autili, Gianluca Filippone, Massimo Tivoli
Migrating from Monoliths to Microservices: Enforcing Correct Coordination. ASEW (2023)
Mashal Afzal Memon, Gian Luca Scoccia, Marco Autili
Automated Negotiation - Preliminary Results of a Systematic Mapping Study. ASEW (2023)
Gian Luca Scoccia, Marco Autili, Giovanni Stilo, Paola Inverardi
An empirical study of privacy labels on the Apple iOS mobile app store. MOBILESoft (2022)
Gianluca Filippone, Marco Autili, Massimo Tivoli
Synthesis of context-aware business-to-business processes for location-based services through choreographies. J. Softw. Evol. Process. 34 (10) (2022)
Gian Luca Scoccia, Ivano Malavolta, Marco Autili, Amleto Di Salle, Paola Inverardi
Enhancing Trustability of Android Applications via User-Centric Flexible Permissions. IEEE Trans. Software Eng. 47 (10) (2021)
Luciano Baresi, William G. Griswold, Grace A. Lewis, Marco Autili, Ivano Malavolta, Christine Julien
Trends and Challenges for Software Engineering in the Mobile Domain. IEEE Softw. 38 (1) (2021)
Marco Autili, Ivano Malavolta, Alexander Perucci, Gian Luca Scoccia, Roberto Verdecchia
Software engineering techniques for statically analyzing mobile apps: research trends, characteristics, and potential for industrial adoption. J. Internet Serv. Appl. 12 (1) (2021)
Marco Autili, Alexander Perucci, Leonardo A. F. Leite, Massimo Tivoli, Fabio Kon, Amleto Di Salle
Highly collaborative distributed systems: Synthesis and enactment at work. Concurr. Comput. Pract. Exp. 33 (6) (2021)
Gian Luca Scoccia, Patrizio Migliarini, Marco Autili
Challenges in Developing Desktop Web Apps: a Study of Stack Overflow and GitHub. MSR (2021)
Gianluca Filippone, Marco Autili, Fabrizio Rossi, Massimo Tivoli
Migration of Monoliths through the Synthesis of Microservices using Combinatorial Optimization. ISSRE Workshops (2021)
Marco Autili, Lei Chen, Cristofer Englund, Claudio Pompilio, Massimo Tivoli
Cooperative Intelligent Transport Systems: Choreography-Based Urban Traffic Coordination. IEEE Trans. Intell. Transp. Syst. 22 (4) (2021)
Patrizio Migliarini, Gian Luca Scoccia, Marco Autili, Paola Inverardi
On the elicitation of privacy and ethics preferences of mobile users. MOBILESoft@ICSE (2020)
Marco Autili, Amleto Di Salle, Claudio Pompilio, Massimo Tivoli
CHOReVOLUTION: Hands-On In-Service Training for Choreography-Based Systems. COORDINATION (2020)
Gian Luca Scoccia, Marco Autili
Web Frameworks for Desktop Apps: an Exploratory Study. ESEM (2020)
Gian Luca Scoccia, Marco Autili, Paola Inverardi
A self-configuring and adaptive privacy-aware permission system for Android apps. ACSOS (2020)
Gian Luca Scoccia, Marco Autili, Patrizio Pelliccione, Paola Inverardi, Matteo Maria Fiore, Alejandro Russo
Hey, my data are mine!: active data to empower the user. ICSE (NIER) (2020)
Gianluca Filippone, Marco Autili, Massimo Tivoli
Towards the synthesis of context-aware choreographies. ISSRE Workshops (2020)
Marco Autili, Amleto Di Salle, Francesco Gallo, Claudio Pompilio, Massimo Tivoli
CHOReVOLUTION: Service choreography in practice. Sci. Comput. Program. 197 (2020)
Marco Autili, Amleto Di Salle, Francesco Gallo, Claudio Pompilio, Massimo Tivoli
A Choreography-Based and Collaborative Road Mobility System for L'Aquila City. Future Internet 11 (6) (2019)
Marco Autili, Francesco Gallo, Paola Inverardi, Claudio Pompilio, Massimo Tivoli
Introducing Trust in Service-Oriented Distributed Systems through Blockchain. ISSRE Workshops (2019)
Marco Autili, Paola Inverardi, Romina Spalazzese, Massimo Tivoli, Filippo Mignosi
Automated synthesis of application-layer connectors from automata-based specifications. J. Comput. Syst. Sci. 104 (2019)
Marco Autili, Amleto Di Salle, Francesco Gallo, Claudio Pompilio, Massimo Tivoli
CHOReVOLUTION: Automating the Realization of Highly-Collaborative Distributed Applications. COORDINATION (2019)
Marco Autili, Davide Di Ruscio, Paola Inverardi, Patrizio Pelliccione, Massimo Tivoli
A Software Exoskeleton to Protect and Support Citizen's Ethics and Privacy in the Digital World. IEEE Access 7 (2019)
Marco Autili, Amleto Di Salle, Francesco Gallo, Claudio Pompilio, Massimo Tivoli
Aiding the realization of service-oriented distributed systems. SAC (2019)
Farhad Arbab, Marco Autili, Paola Inverardi, Massimo Tivoli
Different Glasses to Look into the Three Cs: Component, Connector, Coordination. Models, Languages, and Tools for Concurrent and Distributed Programming (2019)
Marco Autili, Amleto Di Salle, Francesco Gallo, Claudio Pompilio, Massimo Tivoli
On the Model-driven Synthesis of Adaptable Choreographies. MoDELS (Workshops) (2018)
Marco Autili, Dimitra Giannakopoulou, Massimo Tivoli
Thematic series on Verification and Composition for the Internet of Services and Things. J. Internet Serv. Appl. 9 (1) (2018)
Alexander Perucci, Marco Autili, Massimo Tivoli, Alessandro Aloisio, Paola Inverardi
Distributed Composition of Highly-Collaborative Services and Sensors in Tactical Domains. SEDA (2018)
Marco Autili, Paola Inverardi, Massimo Tivoli
Choreography Realizability Enforcement through the Automatic Synthesis of Distributed Coordination Delegates. Sci. Comput. Program. 160 (2018)
Gian Luca Scoccia, Stefano Ruberto, Ivano Malavolta, Marco Autili, Paola Inverardi
An investigation into Android run-time permissions from the end users' perspective. MOBILESoft@ICSE (2018)
Marco Autili, Amleto Di Salle, Francesco Gallo, Claudio Pompilio, Massimo Tivoli
On the model-driven synthesis of evolvable service choreographies. ECSA (Companion) (2018)
Marco Autili, Amleto Di Salle, Francesco Gallo, Claudio Pompilio, Massimo Tivoli
Model-driven adaptation of service choreographies. SAC (2018)
Alexander Perucci, Marco Autili, Massimo Tivoli
A Multipurpose Framework for Model-based Reuse-oriented Software Integration Synthesis. MoDELS (Satellite Events) (2017)
Gian Luca Scoccia, Ivano Malavolta, Marco Autili, Amleto Di Salle, Paola Inverardi
User-centric Android flexible permissions. ICSE (Companion Volume) (2017)
Marco Autili, Massimo Tivoli, Alfredo Goldman
Thematic series on service composition for the future internet. J. Internet Serv. Appl. 7 (1) (2016)
Marco Autili, Antonia Bertolino, Guglielmo De Angelis, Davide Di Ruscio, Alessio Di Sandro
A Tool-Supported Methodology for Validation and Refinement of Early-Stage Domain Models. IEEE Trans. Software Eng. 42 (1) (2016)
Marco Autili, Amleto Di Salle, Alexander Perucci, Massimo Tivoli
On the Automated Synthesis of Enterprise Integration Patterns to Adapt Choreography-based Distributed Systems. FOCLASA (2015)
Marco Autili, Lars Grunske, Markus Lumpe, Patrizio Pelliccione, Antony Tang
Aligning Qualitative, Real-Time, and Probabilistic Property Specification Patterns Using a Structured English Grammar. IEEE Trans. Software Eng. 41 (7) (2015)
Marco Autili, Paola Inverardi, Massimo Tivoli
Synthesis of correct adaptors for protocol enhancement in component-based systems. CoRR (2015)
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
TACTICS: TACTICal Service Oriented Architecture. CoRR (2015)
Marco Autili, Ivano Malavolta, Alexander Perucci, Gian Luca Scoccia
Perspectives on static analysis of mobile apps (invited talk). DeMobile@SIGSOFT FSE (2015)
Marco Autili, Amleto Di Salle, Francesco Gallo, Alexander Perucci, Massimo Tivoli
Biological Immunity and Software Resilience: Two Faces of the Same Coin? SERENE (2015)
Marco Autili, Paola Inverardi, Massimo Tivoli
Automated Integration of Service-Oriented Software Systems. FSEN (2015)
Marco Autili, Paola Inverardi, Filippo Mignosi, Romina Spalazzese, Massimo Tivoli
Automated Synthesis of Application-Layer Connectors from Automata-Based Specifications. LATA (2015)
Marco Autili, Alfredo Goldman, Massimo Tivoli
IEEE Services Visionary Track on Service Composition for the Future Internet (SCFI 2015). SERVICES (2015)
Marco Autili, Paola Inverardi, Massimo Tivoli
Automated Synthesis of Service Choreographies. IEEE Softw. 32 (1) (2015)
Marco Autili, Vittorio Cortellessa, Paolo Di Benedetto, Paola Inverardi
On the adaptation of context-aware services. CoRR (2015)
Marco Autili, Davide Di Ruscio, Amleto Di Salle, Alexander Perucci
CHOReOSynt: enforcing choreography realizability in the future internet. SIGSOFT FSE (2014)
Marco Autili, Davide Di Ruscio, Amleto Di Salle, Paola Inverardi
Synthesizing an Automata-based Representation of BPMN2 Choreography Diagrams. ModComp@MoDELS (2014)
Marco Autili, Paola Inverardi, Massimo Tivoli
Automatic adaptor synthesis for protocol transformation. CoRR (2014)
Marco Autili, Alfredo Goldman, Massimo Tivoli
IEEE First International Workshop on Service Orchestration and Choreography for the Future Internet (OrChor 2014). SERVICES (2014)
Marco Autili, Mauro Caporuscio, Valérie Issarny, Luca Berardinelli
Model-driven engineering of middleware-based ubiquitous services. Softw. Syst. Model. 13 (2) (2014)
Marco Autili, Paola Inverardi, Massimo Tivoli
CHOREOS: Large scale choreographies for the future internet. CSMR-WCRE (2014)
Marco Autili, Massimo Tivoli
Distributed Enforcement of Service Choreographies. FOCLASA (2014)
Paola Inverardi, Marco Autili, Davide Di Ruscio, Patrizio Pelliccione, Massimo Tivoli
Producing software by integration: challenges and research directions (keynote). ESEC/SIGSOFT FSE (2013)
Marco Autili, Paola Inverardi, Alexander Perucci, Massimo Tivoli
Synthesis of Distributed and Adaptable Coordinators to Enable Choreography Evolution. Software Engineering for Self-Adaptive Systems (2013)
Marco Autili, Davide Di Ruscio, Amleto Di Salle, Paola Inverardi, Massimo Tivoli
A Model-Based Synthesis Process for Choreography Realizability Enforcement. FASE (2013)
Marco Autili, Amleto Di Salle, Massimo Tivoli
Synthesis of Resilient Choreographies. SERENE (2013)
Marco Autili, Paolo Di Benedetto, Paola Inverardi
A hybrid approach for resource-based comparison of adaptable Java applications. Sci. Comput. Program. 78 (8) (2013)
Marco Autili, Paola Inverardi, Patrizio Pelliccione, Massimo Tivoli
Developing highly complex distributed systems: a software engineering perspective. J. Internet Serv. Appl. 3 (1) (2012)
Marco Autili, Luca Berardinelli, Davide Di Ruscio, Catia Trubiani
Providing lightweight and adaptable service technology for information and communication (PLASTIC) in the mobile ehealth case study. PESOS@ICSE (2012)
Marco Autili, Vittorio Cortellessa, Davide Di Ruscio, Paola Inverardi, Patrizio Pelliccione, Massimo Tivoli
Integration Architecture Synthesis for Taming Uncertainty in the Digital Space. Monterey Workshop (2012)
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
An Integrated Development and Runtime Environment for the Future Internet. Future Internet Assembly (2012)
Valérie Issarny, Nikolaos Georgantas, Sara Hachem, Apostolos V. Zarras, Panos Vassiliadis, Marco Autili, Marco Aurélio Gerosa, Amira Ben Hamida
Erratum to: Service-oriented middleware for the Future Internet: state of the art and research directions. J. Internet Serv. Appl. 2 (3) (2011)
Marco Autili, Vittorio Cortellessa, Davide Di Ruscio, Paola Inverardi, Patrizio Pelliccione, Massimo Tivoli
EAGLE: engineering software in the ubiquitous globe by leveraging uncErtainty. SIGSOFT FSE (2011)
Marco Autili, Davide Di Ruscio, Paola Inverardi, Patrizio Pelliccione, Massimo Tivoli
ModelLAND: Where Do Models Come from? Models@run.time@Dagstuhl (2011)
Marco Autili, Davide Di Ruscio, Paola Inverardi, James Lockerbie, Massimo Tivoli
A development process for requirements based service choreography. RESS (2011)
Valérie Issarny, Nikolaos Georgantas, Sara Hachem, Apostolos V. Zarras, Panos Vassiliadis, Marco Autili, Marco Aurélio Gerosa, Amira Ben Hamida
Service-oriented middleware for the Future Internet: state of the art and research directions. J. Internet Serv. Appl. 2 (1) (2011)
Marco Autili, Paolo Di Benedetto, Paola Inverardi
A programming model for adaptable Java applications. PPPJ (2010)
Marco Autili, Chris Chilton, Paola Inverardi, Marta Z. Kwiatkowska, Massimo Tivoli
Towards a Connector Algebra. ISoLA (2) (2010)
Marco Autili, Paolo Di Benedetto, Paola Inverardi
Context-Aware Adaptive Services: The PLASTIC Approach. FASE (2009)
Marco Autili, Mauro Caporuscio, Valérie Issarny
Architecting Service Oriented Middleware for pervasive networking. PESOS@ICSE (2009)
Marco Autili, Paolo Di Benedetto, Davide Di Ruscio, Paola Inverardi, Massimo Tivoli
A development process for context-aware adaptive services. ASE Workshops (2008)
Marco Autili, Patrizio Pelliccione
Towards a Graphical Tool for Refining User to System Requirements. Electron. Notes Theor. Comput. Sci. 211 (2008)
Marco Autili, Leonardo Mostarda, Alfredo Navarra, Massimo Tivoli
Synthesis of decentralized and concurrent adaptors for correctly assembling distributed component-based systems. J. Syst. Softw. 81 (12) (2008)
Marco Autili, Paolo Di Benedetto, Paola Inverardi, Fabio Mancinelli
A Resource-Oriented Static Analysis Approach to Adaptable Java Applications. COMPSAC (2008)
Marco Autili, Paolo Di Benedetto, Paola Inverardi, Damien A. Tamburri
Towards Self-evolving Context-aware Services. Electron. Commun. Eur. Assoc. Softw. Sci. Technol. 11 (2008)
Marco Autili, Paola Inverardi, Patrizio Pelliccione
Graphical scenarios for specifying temporal properties: an automated approach. Autom. Softw. Eng. 14 (3) (2007)
Marco Autili, Paola Inverardi, Alfredo Navarra, Massimo Tivoli
SYNTHESIS: A Tool for Automatically Assembling Correct and Distributed Component-Based Systems. ICSE (2007)
Marco Autili, Luca Berardinelli, Vittorio Cortellessa, Antinisca Di Marco, Davide Di Ruscio, Paola Inverardi, Massimo Tivoli
A Development Process for Self-adapting Service Oriented Applications. ICSOC (2007)
Massimo Tivoli, Marco Autili
SYNTHESIS, a Tool for Synthesizing Correct and Protocol-Enhanced Adaptors. Obj. Logiciel Base données Réseaux 12 (1) (2006)
Marco Autili, Paola Inverardi, Patrizio Pelliccione
A scenario based notation for specifying temporal properties. SCESM (2006)
Marco Autili, Michele Flammini, Paola Inverardi, Alfredo Navarra, Massimo Tivoli
Synthesis of Concurrent and Distributed Adaptors for Component-Based Systems. EWSA (2006)
Paola Inverardi, Leonardo Mostarda, Massimo Tivoli, Marco Autili
Synthesis of correct and distributed adaptors for component-based systems: an automatic approach. ASE (2005)