Marco Autili
TitleCited byYear
Service-oriented middleware for the future internet: state of the art and research directions
V Issarny, N Georgantas, S Hachem, A Zarras, P Vassiliadist, M Autili, ...
Journal of Internet Services and Applications 2 (1), 23-45, 2011
1672011
Graphical scenarios for specifying temporal properties: an automated approach
M Autili, P Inverardi, P Pelliccione
Automated Software Engineering 14 (3), 293-340, 2007
992007
SYNTHESIS: a tool for automatically assembling correct and distributed component-based systems
M Autili, P Inverardi, A Navarra, M Tivoli
Proceedings of the 29th international conference on Software Engineering …, 2007
802007
Aligning qualitative, real-time, and probabilistic property specification patterns using a structured english grammar
M Autili, L Grunske, M Lumpe, P Pelliccione, A Tang
IEEE Transactions on Software Engineering 41 (7), 620-638, 2015
712015
Context-aware adaptive services: The plastic approach
M Autili, P Di Benedetto, P Inverardi
International Conference on Fundamental Approaches to Software Engineering …, 2009
672009
A scenario based notation for specifying temporal properties
M Autili, P Inverardi, P Pelliccione
Proceedings of the 2006 international workshop on Scenarios and state …, 2006
542006
Synthesis of correct and distributed adaptors for component-based systems: an automatic approach
P Inverardi, L Mostarda, M Tivoli, M Autili
Proceedings of the 20th IEEE/ACM international Conference on Automated …, 2005
442005
A model-based synthesis process for choreography realizability enforcement
M Autili, D Di Ruscio, A Di Salle, P Inverardi, M Tivoli
International Conference on Fundamental Approaches to Software Engineering …, 2013
422013
A development process for self-adapting service oriented applications
M Autili, L Berardinelli, V Cortellessa, A Di Marco, D Di Ruscio, P Inverardi, ...
International Conference on Service-Oriented Computing, 442-448, 2007
402007
A conceptual model for adaptable context-aware services
M Autili, V Cortellessa, A Di Marco, P Inverardi
International Workshop on Web Services–Modeling and Testing (WS-MaTe 2006), 15, 2006
362006
Synthesis, a tool for synthesizing correct and protocol-enhanced adaptors
M Tivoli, M Autili
362006
Automated synthesis of service choreographies
M Autili, P Inverardi, M Tivoli
IEEE Software 32 (1), 50-57, 2014
342014
Synthesis of decentralized and concurrent adaptors for correctly assembling distributed component-based systems
M Autili, L Mostarda, A Navarra, M Tivoli
Journal of Systems and Software 81 (12), 2210-2236, 2008
302008
An integrated development and runtime environment for the future internet
AB Hamida, F Kon, GA Oliva, CEM Dos Santos, JP Lorré, M Autili, ...
The Future Internet Assembly, 81-92, 2012
262012
Synthesis of concurrent and distributed adaptors for component-based systems
M Autili, M Flammini, P Inverardi, A Navarra, M Tivoli
European Workshop on Software Architecture, 17-32, 2006
232006
Synthesis of "correct" adaptors for protocol enhancement in component-based systems
M Autili, P Inverardi, M Tivoli, D Garlan
SAVCBS 2004 Specification and Verification of Component-Based Systems, 79, 2004
23*2004
Eagle: Engineering software in the ubiquitous globe by leveraging uncertainty
M Autili, V Cortellessa, D Di Ruscio, P Inverardi, P Pelliccione, M Tivoli
Proceedings of the 19th ACM SIGSOFT symposium and the 13th European …, 2011
222011
Synthesis and verification of self-aware computing systems
R Calinescu, M Autili, J Cámara, A Di Marco, S Gerasimou, P Inverardi, ...
Self-Aware Computing Systems, 337-373, 2017
202017
Distributed enforcement of service choreographies
M Autili, M Tivoli
arXiv preprint arXiv:1502.03512, 2015
202015
Towards a graphical tool for refining user to system requirements
M Autili, P Pelliccione
Electronic Notes in Theoretical Computer Science 211, 147-157, 2008
192008
The system can't perform the operation now. Try again later.
Articles 1–20