Marco Autili

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

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

Member of the Software Engineering and Integration Code Synthesis group

Main research areas are:

  • Software Engineering
  • Distributed Systems
  • Context-oriented Programming
  • Formal Methods
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 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]

  • 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

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

  • CfP - Springer Book "Digital Marketplaces Unleashed - There is no future for companies which do not digitalize" (Call for expert knowledge) - Springer publisher, Heidelberg (CfP as PDF)
  • CfP - Springer Journal of Internet Services and Applications (JISA)
    - Thematic Series on Verification and Composition for the Internet of Services and Things
  • 3rd International Workshop on Model-Driven Engineering for Component-Based Software Systems
    (ModComp 2016) at MODELS 2016 - October 2nd - 7th, 2016 - Saint Malo, Brittany, France
  • 39th ACM/IEEE International Conference on Software Engineering - Poster Track
    (ICSE 2017 Poster Track) - May 2017 - Buenos Aires, Argentina
  • 5th International Conference on Model-Driven Engineering and Software Development
    (MODELSWARD 2017) - February 19-21, 2017 - Porto, Portugal
  • 8th International Workshop on Software Engineering for Resilient Systems
    (SERENE 2016) 5-6th September 2015, Gothenburg, Sweden
  • 11th International Conference on Software Engineering Advances
    (ICSEA 2016) - August 21 - 25, 2016 - Brussels, Belgium
  • ACM Student Research Competition (ACM SRC) sponsored by Microsoft Research
    The competition is hosted by MOBILESoft 2016 (co-located with ICSE 2016 - May 14-22, 2016 - Austin, TX, USA
  • 2st International Conference on Fundamentals and Advances in Software Systems Integration
    (FASSI 2016) - July 24 - 28, 2016 - Nice, France, under the NetWare 2016 umbrella
  • 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