MSR 2020
Mon 29 - Tue 30 June 2020
co-located with ICSE 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
Research interests:Software Engineering, Distributed Systems, Context-oriented Programming, Mobile Systems, Formal Methods

Contributions

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