Marco Autili

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

Department of Information Engineering Computer Science and Mathematics (DISIM)
University of L'Aquila - ITALY

Member of the
Software Engineering and Synthesis group

Main research areas are:

  • Software Engineering
  • Distributed Systems
  • Context-oriented Programming
  • Formal Methods
In these areas, main Research & Development activities include:
  • Automated Software Synthesis for Composing Complex Distributed Systems, from System Architecture to Integration Code, from Coordination to Protocol Mediation/Adaptation
  • Modeling and Analysis of Complex Distributed Systems
  • Automated Synthesis of Context-aware (mobile) Applications
  • Resource-oriented Analysis of Adaptable (mobile) Applications
  • Formal Specification and Checking of Temporal Properties
He actively works on the (from theory to practice) application of software engineering methods to the modeling, verification, analysis and automatic synthesis of complex distributed systems, and application of context-oriented programming and analysis techniques to the development of adaptable (mobile) applications

Latest selection of

European Projects [read more]

  • Research Unit Co-coordinator (February 2017 - January 2020) - GAUSS project, he is coordinating the research unit of the University of L'Aquila in cooperation with Paola Inverardi.

  • Scientific and Technical Project Leader (January 2015 - January 2018) - CHOReVOLUTION project, he is responsible for (with respect to the EU commission) and he is coordinating the Research & Development (R&D) activity of the whole consortium, 8 partners for a total amount of 340 person-month distributed in 7 Work Packages. He evaluates and approves the scientific and technical quality of the achieved results, establishing and maintaining the overall project plan, further organizing the project reviews

  • Work Package Leader (January 2015 - January 2018) - CHOReVOLUTION project, he is responsible for (with respect to the CHOReVOLUTION consortium) and he is coordinating the Research & Development (R&D) activity of 6 partners, with a total effort of 49 person-months

  • Local Co-coordinator (January 2015 - January 2018) - CHOReVOLUTION project, he is responsible for (with respect to the DISIM department) and he is coordinating the research unit of the University of L'Aquila. He is further responsible of the funding amount of the University of L'Aquila

  • Scientific Coordinator (September 2014 - July 2017) - LeonardDO project, he is responsible for (with respect to the LeonarDO consortium) the research activity of the project. He is also coordinating the research unit of the University of L'Aquila in cooperation with Paola Inverardi and the involved members of DISIM department of the University of L'Aquila.

Selected Journals from 2013 to 2016 [see more]

  • IEEE Transactions on Software Engineering (TSE) - 2016 [DOI]
    Marco Autili, Antonia Bertolino, Guglielmo De Angelis, Davide Di Ruscio and Alessio Di Sandro, A Tool-supported Methodology for Validation and Refinement of Early-stage Domain Models

  • IEEE Transactions on Software Engineering (TSE) - 2015 [DOI]
    Marco Autili, Lars Grunske, Markus Lumpe, Patrizio Pelliccione and Antony Tang, Aligning Qualitative, Real-Time, and Probabilistic Property Specification Patterns Using a Structured English Grammar

  • IEEE SOFTWARE Magazine - 2015 [DOI]
    Marco Autili, Paola Inverardi and Massimo Tivoli, Automated Synthesis of Service Choreographies - Special Issue on "Software Engineering for Internet Computing: Internetware and Beyond"

  • SPRINGER Journal of Software & Systems Modeling (SoSyM) - 2014 [DOI]
    Marco Autili, Mauro Caporuscio, Valérie Issarny and Luca Berardinelli, Model-driven engineering of middleware-based ubiquitous services - "Theme Issue on Model-Driven Service Engineering (MoSE)"

  • ELSEVIER Journal of Science of Computer Programming (SCP) - 2013 [DOI]
    Marco Autili, Paolo Di Benedetto and Paola Inverardi, Hybrid Approach for Resource-based Comparison of Adaptable Java Applications - Special issue of BElgian-NEtherlands software eVOLution seminar (BENEVOL) on Software Evolution, Adaptability and Maintenance

Editorial Activities [see more] and Events Organization [see more]


Upcoming Events and Involvements

  • 6th International Conference on Model-Driven Engineering and Software Development
    (MODELSWARD 2018) - January 22-24, 2018 - Funchal, Madeira - Portugal

  • 4th International Workshop on Model-Driven Engineering for Component-Based Software Systems
    (ModComp 2017) at MODELS 2017 - September 17-19, 2017 - Austin, Texas, USA

  • 2017 International Workshop on Self-aware Computing (SeAC 2017) co-located with the 14th IEEE International Conference on Autonomic Computing (ICAC 2017) - July 17-18, 2017, Columbus, Ohio - USA

  • 1st International Workshop on Engineering the Web of Things (EnWoT 2017) held in conjunction with 17th International Conference on Web Engineering (ICWE 2017) - June 5-8, 2017, Rome, ITALY