Marco Autili

Dipartimento di Ingegneria e Scienze dell'Informazione e Matematica (DISIM)
Università dell'Aquila
Via Vetoio, 67100 L'Aquila (Italy)


Marco Autili
First name(s): Marco
Last name(s): Autili

Publications of Marco Autili (65)
2017
Camara Javier, Bellman Kirstie, Kephart Jeffrey, Marco Autili, Nelly Bencomo, Diaconescu Ada, Holger Giese, Gotz Sebastian, Paola Inverardi, Kounev Samuel and Massimo Tivoli, Self-aware Computing Systems: Related Concepts and Research Areas, chapter 2, pages 17-49, Cham: Springer International Publishing AG, Lecture Notes In Computer Science - LNCS, volume Part I (2), 2017
[DOI]
[URL]
Marco Autili, Bellman Kirstie, Diaconescu Ada, Lukas Esterle, Massimo Tivoli and Andrea Zisman, Transition Strategies for Increasing Self-awareness in Existing Types of Computing Systems, chapter 10, pages 305-336, Cham: Springer International Publishing AG, Lecture Notes In Computer Science - LNCS, volume Part III (10), 2017
[DOI]
[URL]
Gian L. Scoccia, Ivano Malavolta, Marco Autili, Amleto Di Salle and Paola Inverardi, User-centric Android Flexible Permissions, in: ACM/IEEE-CS 39th International Conference on Software Engineering (ICSE'17), Buenos Aires, Argentina, ACM (To Appear), 2017
2016
Marco Autili, Alfredo Goldman and Massimo Tivoli, (Editor of) Thematic Series on Service Composition for the Future Internet, Springer Science and Business Media, Springer Open, volume 7, 2016
attachment
[DOI]
[URL]
Marco Autili, Paola Inverardi, Alexander Perucci and Massimo Tivoli, Synthesis of Distributed and Adaptable Coordinators to Enable Choreography Evolution, pages 1-25, Springer, Lecture Notes In Computer Science - LNCS, volume (In Press), 2016
2015
Marco Autili, Tom Ritter, Andrey Sadovykh and Massimo Tivoli, (Editor of) Proceedings of the Projects Showcase @ STAF'15, CEUR PROCEEDINGS - Software Technologies: Applications and Foundations federation of conferences - STAF, 2015
attachment
[URL]
Marco Autili, Alfredo Goldman and Massimo Tivoli, (Organizer of) Proceedings of the International Workshop on the "ART" of Software Composition and Formal Verification (VERY*SCART 2015), Springer-Verlag Berlin Heidelberg, LNCS - 13th International Conference on Software Engineering and Formal Methods (SEFM 2015), 2015
attachment
[DOI]
Marco Autili, Paola Inverardi and Massimo Tivoli, Automated Integration of Service-oriented Software Systems, in: LNCS Proceedings of the 6th International Conference on Fundamentals of Software Engineering (FSEN 2015), pages 30-45, Springer International Publishing, 2015
attachment
[DOI]
[URL]
Marco Autili, Paola Inverardi, Filippo Mignosi, Romina Spalazzese and Massimo Tivoli, Automated Synthesis of Application-layer Connectors from Automata-based Specifications, in: LNCS Proceedings of the 9th International Conference on Language and Automata Theory and Applications (LATA 2015), pages 3-24, Springer International Publishing, 2015
attachment
[DOI]
[URL]
Marco Autili, Paola Inverardi and Massimo Tivoli, Automated Synthesis of Service Choreographies (2015), in: IEEE SOFTWARE - Special Issue on "Software Engineering for Internet Computing: Internetware and Beyond", 32:1(50-57)
attachment
[DOI]
[URL]
Marco Autili, Amleto Di Salle, Francesco Gallo, Alexander Perucci and Massimo Tivoli, Biological Immunity and Software Resilience: two faces of the same coin, in: 7th International Workshop on Software Engineering for Resilient Systems (SERENE'15), pages 1-15, Springer International Publishing - LNCS, 2015
attachment
[DOI]
Marco Autili, Amleto Di Salle, Alexander Perucci and Massimo Tivoli, On the Automated Synthesis of Enterprise Integration Patterns to Adapt Choreography-based Distributed Systems, in: In Proceedings of 14th Coordination Languages and Self-Adaptive Systems (FOCLASA'15), pages 33-47, 2015
attachment
[DOI]
[URL]
Marco Autili, Ivano Malavolta, Alexander Perucci and Gian L. Scoccia, Perspectives on Static Analysis of Mobile Apps (Invited Talk), in: Proceedings of the ACM 3th International Workshop on Software Development Lifecycle for Mobile (DeMobile 2015) - Co-located with the joint meeting of the European Software Engineering Conference and the ACM SIGSOFT Symposium on the Foundations of Software, ACM Digital Library, 2015
attachment
[DOI]
[URL]
2014
Marco Autili, Paola Inverardi and Massimo Tivoli, CHOReOS: Large Scale Choreographies for the Future Internet, in: IEEE Conference on Software Maintenance, Reengineering and Reverse Engineering (CSMR-WCRE), 2014 Software Evolution Week, pages 391-394, IEEE Digital Library, 2014
attachment
[DOI]
[URL]
Marco Autili, Davide Di Ruscio, Amleto Di Salle and Alexander Perucci, CHOReOSynt: Enforcing choreography realizability in the Future Internet, in: Proceedings of the 22nd ACM SIGSOFT International Symposium on the Foundations of Software Engineering (FSE'14) - Tool Demo, pages 723-726, ACM New York, 2014
attachment
[DOI]
Marco Autili and Massimo Tivoli, Distributed Enforcement of Service Choreographies, in: In Proceedings of 13th FOCLASA 2014, pages 18-35, 2014
attachment
[DOI]
Marco Autili, Mauro Caporuscio, Valérie Issarny and Luca Berardinelli, Model-driven engineering of middleware-based ubiquitous services (2014), in: Software & Systems Modeling journal (SoSyM) - Theme Issue on Model-Driven Service Engineering (MoSE), Springer-Verlag Berlin Heidelberg(1-31)
attachment
[DOI]
Marco Autili, Davide Di Ruscio, Paola Inverardi, Patrizio Pelliccione and Massimo Tivoli, ModelLAND: Where do models come from?, pages 162-187, Springer International Publishing, Lecture Notes in Computer Science - LNCS, volume 8378, 2014
attachment
[DOI]
[URL]
Marco Autili, Davide Di Ruscio, Amleto Di Salle and Paola Inverardi, Synthesizing an Automata-based Representation of BPMN2 Choreography Diagrams, in: Proceedings of the International Workshop on Model-Driven Engineering for Component-Based Software Systems (ModComp 2014) - @MoDELS 2014, Valencia, Spain, pages 67-77, CEUR-WS.org, 2014
attachment
[URL]
2013
Marco Autili, Davide Di Ruscio, Amleto Di Salle, Paola Inverardi and Massimo Tivoli, A model-based synthesis process for choreography realizability enforcement, in: 16th International Conference on Fundamental Approaches to Software Engineering (FASE), Rome, Italy, pages 37-52, Springer Berlin Heidelberg, 2013
attachment
[DOI]
Marco Autili, Amira Ben Hamida, Guglielmo De Angelis and Darius Silingas, Composing Services in the Future Internet: Choreography-Based Approach, pages 163-174, Future Strategies Inc., www.futstrat.com, volume Intelligent BPM Systems (iBPMS) Book: Impact and Opportunity, 2013
attachment
[URL]
Marco Autili, Paolo Di Benedetto and Paola Inverardi, Hybrid Approach for Resource-based Comparison of Adaptable Java Applications (2013), in: Journal of Science of Computer Programming (SCP) - Special issue of BElgian-NEtherlands software eVOLution seminar (BENEVOL) on Software Evolution, Adaptability and Maintenance, 78:8(987-1009)
attachment
[DOI]
[URL]
Paola Inverardi, Marco Autili, Davide Di Ruscio, Patrizio Pelliccione and Massimo Tivoli, Producing Software by Integration: Challenges and Research Directions (Keynote), in: ESEC/FSE'13: Joint Meeting of the European Software Engineering Conference and the ACM SIGSOFT Symposium on the Foundations of Software Engineering, 2013
attachment
[DOI]
Marco Autili, Amleto Di Salle and Massimo Tivoli, Synthesis of resilient choreographies, in: A. Gorbenko, A. Romanovsky, V. Kharchenko (Eds). Software Engineering for Resilient Systems - 5th International Workshop, SERENE 2013, Kiev, Ukraine, October 3-4, 2013. Proceedings. Springer 2013., pages 94-108, Springer-Verlang, Berlin Heidelberg, 2013
attachment
[DOI]
2012
Marco Autili, Paola Inverardi, Patrizio Pelliccione and Massimo Tivoli, Developing highly complex distributed systems: A software engineering perspective (2012), in: Journal of Internet Services and Applications (JISA), Special issue: FOME - The Future of Middleware, 3:1(15-22)
attachment
[DOI]
Marco Autili, Vittorio Cortellessa, Davide Di Ruscio, Paola Inverardi, Patrizio Pelliccione and Massimo Tivoli, Integration architecture synthesis for taming uncertainty in the Digital Space, pages 118-131, Springer-Verlag Berlin Heidelberg, Lecture Notes in Computer Science, volume 7539, 2012
attachment
[DOI]
[URL]
2011
Marco Autili, Davide Di Ruscio, Paola Inverardi, James Lockerbie and Massimo Tivoli, A Development Process for Requirements Based Service Choreography, in: Workshop on Requirements Engineering for Systems, Services and Systems-of-Systems (RESS), Luciano Baresi, Liliana Pasquale, Neil Maiden, and James Lockerbie, IEEE Digital Library, 2011
attachment
[DOI]
2010
Marco Autili, Paolo Di Benedetto and Paola Inverardi, A Programming Model for Adaptable Java Applications, in: 8th International Conference on the Principles and Practice of Programming in Java (PPPJ 2010), Vienna, Austria, pages 119--128, ACM New York, NY, USA, 2010
attachment
[DOI]
Marco Autili, Paola Inverardi and Massimo Tivoli, Run time models in adaptive service infrastructure, pages 125-152, Springer, Autonomic Systems, 2010
attachment
[DOI]
[URL]
Marco Autili, Chris Chilton, Paola Inverardi, Marta Kwiatkowska and Massimo Tivoli, Towards a Connector Algebra, in: 4th International Symposium on Leveraging Applications (ISoLA 2010) of Formal Methods, Verification and Validation, pages 278-292, LNCS, 2010
attachment
[DOI]
2009
Mauro Caporuscio, Marco Autili and Valérie Issarny, Architecting Service Oriented Middleware for Pervasive Networking Environments, in: Proc. of the 31st International Conference on Software Engineering (ICSE'09), Principles of Engineering Service Oriented Systems (PESOS'09), Vancouver, Canada, pages 58-61, 2009
attachment
[DOI]
Sonia Ben Mokhtar, Nikolaos Georgantas, Valérie Issarny, Pierre Guillaume Raverdy and Marco Autili, At Your Service, chapter Service Discovery in Pervasive Computing Environments, The MIT Press, 55 Hayward st, Cambridge, Massachussets London, England, Service Engineering in the Information Society Technologies Program, 2009
attachment
2008
Marco Autili, Paolo Di Benedetto, Davide Di Ruscio, Paola Inverardi and Massimo Tivoli, A Development Process for Context-Aware Adaptive Services, in: 23rd IEEE/ACM International Conference on Automated Software Engineering 2008 (ASE'08), Automated engineeRing of Autonomous and run-tiMe evolvIng Systems (ARAMIS'08), pages 9-16, IEEE/ACM, 2008
attachment
[DOI]
Marco Autili, Mauro Caporuscio and Valérie Issarny, A Reference Model for Service Oriented Middleware, INRIA Paris-Rocquencourt, number inria-00326479, 2008
attachment
Marco Autili, Paolo Di Benedetto, Paola Inverardi and Fabio Mancinelli, A Resource-oriented Static Analysis Approach to Adaptable Java Applications., in: Proc. of the IEEE/COMPSAC'08, Component-Based Design of Resource-Constrained Systems (CORCS'08), 2008
attachment
[DOI]
Marco Autili, Antonia Bertolino, Christophe Cordier, Bhushan Bharat, Isabel Ordás, Carlos Baladrón, Joe Gorman, Erik Klintskog and Alisa Devlic, Service Lifecycle Management, Information Society Technologies - Community Research & Development Information Service (CORDIS), 2008
attachment
[URL]
Marco Autili and Patrizio Pelliccione, Towards a Graphical Tool for Refining User to System Requirements (2008), in: ELECTRONIC NOTES IN THEORETICAL COMPUTER SCIENCE, 211(147-157)
attachment
[DOI]
2007
Marco Autili, Luca Berardinelli, Vittorio Cortellessa, Antinisca Di Marco, Davide Di Ruscio, Paola Inverardi and Massimo Tivoli, A Development Process for Self-Adapting Service Oriented Applications, in: International Conference on Service Oriented Computing (ICSOC 2007), pages 442-448, Springer, 2007
attachment
[DOI]
Marco Autili, Paola Inverardi and Patrizio Pelliccione, Graphical Scenarios for Specifying Temporal Properties : an Automated Approach (2007), in: Automated Software Engineering, Volume 14, Number 3(293-340)
  • []:

    (2009 ISI IF = 1,267; Rank 43/93 in the category COMPUTER SCIENCE, SOFTWARE ENGINEERING (Quartile in Category = Q2);  Last 5-Year IF = _)


attachment
[DOI]
Marco Autili, Vittorio Cortellessa, Paolo Di Benedetto and Paola Inverardi, On the adaptation of context-aware services, in: Proceedings of the International Workshop on Service Oriented Computing: a look at the Inside (SOC@Inside'07 colocated with ICSOC'07), Vienna, Austria, 2007
attachment
2006
Marco Autili, Vittorio Cortellessa, Antinisca Di Marco and Paola Inverardi, A Conceptual Model for Adaptable Context-aware Services, in: Proceedings of the International Workshop on Web Services Modeling and Testing (WS-MaTe2006), pages 15--33, 2006
attachment
Marco Autili, Paola Inverardi and Patrizio Pelliccione, A Scenario Based Notation for Specifying Temporal Properties, in: 5th International Workshop on Scenarios and State Machines: Models, Algorithms and Tools (SCESM'06), Shanghai, China, 2006

attachment
2005
Paola Inverardi, Leonardo Mostarda and Marco Autili, Synthesis of Correct and Distributed Adaptors for Component-Based Systems: an Automatic Approach, University of L'Aquila, Computer Science Department, number univaq-24 (Companion paper of the same titled paper at ASE'05), 2005
attachment
[URL]
2004
Marco Autili, Paola Inverardi and Massimo Tivoli, Automatic adaptor synthesis for protocol transformation, in: proceedings of the 1st International Workshop on Coordination and Adaptation Techniques for Software Entities (WCAT04), held in conjunction with ECOOP2004. Oslo, Norway, pages 39-46, 2004
attachment
Marco Autili, Paola Inverardi, Massimo Tivoli and David Garlan, Synthesis of correct adaptors for protocol enhancement in component based systems, in: proceedings of Specification and Verification of Component-Based Systems (SAVCBS'04 Workshop at FSE 2004). Newport Beach (CA), USA, pages 79-86, 2004
  • []: (acceptance rate 43% (13/30))

attachment