Write a Blog >>
ICSE 2020
Wed 24 June - Thu 16 July 2020
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


ICSE 2020 Enhancing Trustability of Android Applications via User-Centric Flexible Permissions
Hey, my data are mine! Active data to empower the user
MOBILESoft 2020 On the Elicitation of Privacy and Ethics Preferences of Mobile Users
Show activities from other conferences

ICSE 2020-profile
View general profile