Marco Autili

Researcher

Blocco Zero, Room 208
marco.autili@univaq.it
+39 0862 43 3186

 

Short Bio

Marco Autili is an Assistant Professor at Dipartimento di Ingegneria e Scienze dell'Informazione e Matematica (DISIM) - Universtà dell'Aquila. His main research areas are Context-Oriented Programming, Application of Formal Methods to the Verification, Analysis and automatic Synthesis of complex systems, Component Based Software Engineering, and Software Architectures with particular reference to Service Oriented Architectures. As WP Leader of CHOReOS, IP EU project, FP7 (Oct, 2010 - Sep, 2013), he is currently working on a systematic approach to the enforcement of choreographies: from specification to coordination code synthesis.

 

Education

 

  • Ph.D. in Computer Science, University of L'Aquila, AQ - (ITALY) 
    Ph.D. thesis title: Synthesis Of Distributed Adaptors To Enforce Temporal Properties Specified Through Graphical Scenarios 
    Ph.D thesis defence: April 11, 2008 
    Ph.D. advisor Prof.ssa Paola Inverardi
  • Master's Degree: Laurea cum laude in Computer Science, University of L'Aquila, AQ - (ITALY) 
    Thesis title: Automatic synthesis of software coordinators for communication protocols enhancement 
    Master's Degree thesis defence: April 20, 2004 
    Advisor Prof.ssa Paola Inverardi

 

Previous professional experiences

 

  • March 1, 2010- June 30, 2010: Research Fellow - Department of Computer Science of the University of L'Aquila. He has been involved in the CONNECT FET EU project, FP7 and the D-ASAP, Italian PRIN.
  • March 1, 2009- February 28, 2010: temporary position as Research Assistant - Department of Computer Science of the University of L'Aquila. He has been involved in the CONNECT FET EU project, FP7 and the D-ASAP, Italian PRIN.
  • March 1, 2008- February 28, 2009: temporary position as Research Assistant - Department of Computer Science of the University of L'Aquila. He has been involved in the EC PLASTIC project.

 

Experiences abroad

 

 

Services

Local organizer of the International Conference on Automated Software Engineering (ASE'08) 

PC member, reviewer and/or partecipant of many international workshops, conferences, journals among which: CSMR-WCRE'14, ACME'13, CBSE'13, FACS'10, MIT-BOOK'07, TSE, SCP, JSS, SC, FASE, ICSE, ICSOC, ASE, WADS, WICSA, FORTE, COMPSAC, MODELS, JUCS-WCAT, ServiceWave, WADS, ISEC 

Reviewer of projects for the Agence Nationale de la Recherche (ANR), 212 rue de Bercy, 75012 Paris, France 

Internal reviewer of all the European projects he is (has been) involved in

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

· 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

· 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)

· Marco Autili, Mauro Caporuscio, Valérie Issarny and Luca Berardinelli, Model-driven engineering of middleware-based ubiquitous services (2013), in: Software & Systems Modeling journal (SoSyM) - Theme Issue on Model-Driven Service Engineering (MoSE), Springer-Verlag Berlin Heidelberg(1-31)

· Marco Autili, Davide Di Ruscio, Paola Inverardi, Patrizio Pelliccione and Massimo Tivoli, ModelLAND: Where do models come from?, pages -, State-of-the-Art Survey Volume on Models@run.time Edited by:Betty Cheng, Uwe Assmann, Gordon Blair, Robert France, Nelly Bencom, Lecture Notes in Computer Science - LNCS, 2013

· 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

· Marco Autili, Amleto De 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

2012

· Amira Ben Hamida, Fabio Kon, Gustavo A. Oliva, Carlos E. M. Dos Santos, Jean-Pierre Lorre', Marco Autili,Guglielmo De Angelis, Apostolos Zarras, Nikolaos Georgantas, Valérie Issarny and Antonia Bertolino, An Integrated Development and Runtime Environment for the Future Internet, pages 81-92, Springer, LNCS, volume 7281, 2012

· Marco Autili, Paola Inverardi and Massimo Tivoli, Assessing dependability for mobile and ubiquitous systems: is there a role for software architectures?, pages 1-12, Springer-Verlag London, volume XII, 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)

· 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

· Marco Autili, Luca Berardinelli, Davide Di Ruscio and Catia Trubiani, Providing Lightweight and Adaptable Service Technology for Information and Communication (PLASTIC) in the Mobile eHealth Case Study, in: 4th International ICSE Workshop on Principles of Engineering Service-Oriented Systems, pages 69-70, 2012

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

· Marco Autili, Vittorio Cortellessa, Davide Di Ruscio, Paola Inverardi, Patrizio Pelliccione and Massimo Tivoli,EAGLE: Engineering softwAre in the ubiquitous Globe by Leveraging uncErtainty, in: ESEC/FSE 2011 New Ideas track, 2011

· Valérie Issarny, Nikolaos Georgantas, Sara Hachem, Apostolos Zarras, Panos Vassiliadis, Marco Autili,Marco Aurélio Gerosa and Amira Ben Hamida, Service-Oriented Middleware for the Future Internet: State of the Art and Research Directions (2011), in: Journal of Internet Services and Applications (JISA)(1-23)

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

· Marco Autili, Paola Inverardi and Massimo Tivoli, Run time models in adaptive service infrastructure, Springer Birkhauser's "Autonomic Systems" series -, 2010

· 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

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

· 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

· Marco Autili, Paolo Di Benedetto and Paola Inverardi, Context-Aware Adaptive Services: The PLASTIC Approach., in: FASE, pages 124-139, Springer, 2009

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

· Marco Autili, Mauro Caporuscio and Valérie Issarny, A Reference Model for Service Oriented Middleware, INRIA Paris-Rocquencourt, number inria-00326479, 2008

· 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

· Marco Autili, Paolo Di Benedetto and Paola Inverardi, Resource oriented static analysis of Java programs, University of L'Aquila, number univaq-1243, http://www.di.univaq.it/chameleon/output/download.php?fileID=1243, 2008

· Marco Autili, Paolo Di Benedetto and Paola Inverardi, Resource oriented static analysis of Java programs, University of L'Aquila, number univaq-1243, http://www.di.univaq.it/chameleon/output/download.php?fileID=1243, 2008

· 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

· Marco Autili, Leonardo Mostarda, Alfredo Navarra and Massimo Tivoli, Synthesis of decentralized and concurrent adaptors for correctly assembling distributed component-based systems (2008), in: Journal of Systems and Software, 81:12(2210-2236)

· Marco Autili, Synthesis Of Distributed Adaptors To Enforce Temporal Properties Specified Through Graphical Scenarios, University of L'Aquila, Computer Science Department, 2008

· 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)

· Marco Autili, Paolo Di Benedetto, Paola Inverardi and Damien A. Tamburri, Towards Self-evolving Context-aware Services (2008), in: ELECTRONIC COMMUNICATIONS OF THE EASST, 11

2007

· Marco Autili, Luca Berardinelli, Vittorio Cortellessa, Antinisca Di Marco, Davide Di Ruscio, Paola Inverardiand 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

· 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)

· 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

· Marco Autili, Paola Inverardi, Alfredo Navarra and Massimo Tivoli, SYNTHESIS: A Tool for Automatically Assembling Correct and Distributed Component-Based Systems, in: ICSE, pages 784-787, 2007

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

· 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

· Marco Autili, Michele Flammini, Paola Inverardi, Alfredo Navarra and Massimo Tivoli, Synthesis of Concurrent and Distributed Adaptors for Component-Based Systems, in: EWSA, pages 17-32, 2006

· Massimo Tivoli and Marco Autili, SYNTHESIS, a Tool for Synthesizing Correct and Protocol-Enhanced Adaptors (2006), in: L'OBJET, 12:1(77-103)

2005

· Paola Inverardi, Leonardo Mostarda, Massimo Tivoli and Marco Autili, Synthesis of correct and distributed adaptors for component-based systems: an automatic approach, in: ASE, pages 405-409, 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, 2005

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

· 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