Write a Blog >>
ACSOS 2020
Mon 17 - Fri 21 August 2020
Marco Autili

Registered user since Wed 2 May 2018

Name: Marco Autili

Bio: 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;

Privacy and Ethics-aware (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.

Country: Italy

Affiliation: University of L’Aquila, Italy

Personal website: http://people.disim.univaq.it/marco.autili/

Research interests: Software Engineering, Distributed Systems, Context-oriented Programming, Mobile Systems, Formal Methods


ACSOS 2020Author of A self-configuring and adaptive privacy-aware permission system for Android apps within the Research Papers-track
Show activities from other conferences

ACSOS 2020-profile
View general profile