
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;
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://www.di.univaq.it/marco.autili/
Research interests: Software Engineering, Distributed Systems, Context-oriented Programming, Mobile Systems, Formal Methods
Contributions
MobileSoft 2018 | An Investigation into Android Run-time Permissions from the End Users’ Perspective Session Chair of S7: Adaptiveness (part of MobileSoft 2018) | ||||||||||||||||||||||||||||||||||||||||
Show activities from other conferences |
View general profile