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 Leader (January 2015 - ongoing) - CHOReVOLUTION project, he is responsabile 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 responsabile 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 responsabile 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

  • Springer Journal of Internet Services and Applications (JISA) - Thematic Series on Service Composition for the Future Internet - Download the Call for Papers
  • 3rd IEEE/ACM International Conference on Mobile Software Engineering and Systems
    (MOBILESoft 2016) co-located with ICSE 2016 - May 14-22, 2016 - Austin, TX, USA
  • ModelCyPhy Track on Model-Driven Engineering for Cyber-Physical Systems
    (ModelCyPhy 2016) at the 13th International Conference On Information Technology: New Generations ITGN - April 11-13, 2016 - Las Vegas, Nevada, USA
  • 2nd International Workshop on Model-Driven Engineering for Component-Based Software Systems
    (ModComp 2015) at MODELS 2015 - September 28th, 2015 - Ottawa, Canada
  • 1st International Workshop on the ART of Software Composition
    (SCART 2015), co-located with SEFM 2015 - September 8th, 2015 - York, UK.
  • 14th International Workshop on Foundations of Coordination Languages and Self-Adaptive Systems
    (FOCLASA 2015), co-located with CONCUR 2015 - September 5, 2015 - Madrid, Spain.
  • 10th International Conference on Software Engineering Advances
    (ICSEA 2015) - November 15 to 20, 2015 - Barcelona, Spain
  • 7th International Workshop on Software Engineering for Resilient Systems
    (SERENE 2015) 7-8th September 2015, Paris
  • 1st International Conference on Fundamentals and Advances in Software Systems Integration
    (FASSI) - August 23 to 28, 2015 - Venice, Italy, under the NetWare 2015 umbrella.