Marco Autili

Registered user since Wed 2 May 2018

Name:Marco Autili

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.

Affiliation:University of L'Aquila, Italy
Research interests:Software Engineering, Distributed Systems, Context-oriented Programming, Mobile Systems, Formal Methods


AGERE 2021 Committee Member in Program Committee within the AGERE 2021-track
MSR 2021 Author of Challenges in Developing Desktop Web Apps: a Study of Stack Overflow and GitHub within the Technical Papers-track
ACSOS 2020 Author of A self-configuring and adaptive privacy-aware permission system for Android apps within the Research Papers-track
MOBILESoft 2020 Author of On the Elicitation of Privacy and Ethics Preferences of Mobile Users within the Visions-track
ICSE 2020 Author of Enhancing Trustability of Android Applications via User-Centric Flexible Permissions within the Journal First-track
Author of Hey, my data are mine! Active data to empower the user within the New Ideas and Emerging Results-track
MobileSoft 2018 Author of An Investigation into Android Run-time Permissions from the End Users’ Perspective within the MobileSoft 2018-track
Session Chair of S7: Adaptiveness (part of MobileSoft 2018)