Marco Autili

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

Assistant Professor at the Department of Information Engineering Computer Science and Mathematics (DISIM), University of L'Aquila - ITALY.
He is member of the Software Engineering and Architecture group (SEA Lab) at DISIM.

Main research areas are:

  • Software Engineering
  • Distributed Systems
  • Formal Methods
  • Context-oriented Programming
In these areas, main Research & Development activities include:
  • Automated Synthesis for Composing Complex Distributed Systems, 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 formal methods to the 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.

Last 2 Years 2013-2015: a selection of

(2015 only) European Projects [read more]

  • Scientific and Technical Project Leader (January 2015 - ongoing) - 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 - ongoing) - 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 - ongoing) - 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

(2013-2015) Selected Journals [see more]

  • IEEE Transactions on Software Engineering (TSE) - 2015 [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

(2014-2015) Editorial Activities [see more] and Events Organization [see more]


Upcoming Events