Marco Autili - Google Scholar Citations

Cited by

	All	Since 2014
Citations	1269	712
h-index	19	13
i10-index	31	20

140

105

2005200620072008200920102011201220132014201520162017201820197 30 40 81 59 78 71 78 93 119 99 100 111 134 137

Co-authors

Massimo TivoliAssociate Professor, Dipartimento di Ingegneria e Scienze dell'Informazione e Matematica (DISIM)Verified email at di.univaq.it
Paola InverardiProfessor of Computer ScienceVerified email at univaq.it
Davide Di RuscioAssociate Professor, DISIM, University of L'Aquila (Italy)Verified email at di.univaq.it
Patrizio PelliccioneAssociate Professor, Chalmers | University of Gothenburg and University of L'AquilaVerified email at chalmers.se
Apostolos ZarrasDepartment of Computer Science & Engineering - University of IoanninaVerified email at cs.uoi.gr
Amleto Di SalleResearch Fellow at the Department of Information Engineering Computer Science and MathematicsVerified email at univaq.it
Panos VassiliadisDept. of Comp. Science and Eng., Univ. of IoanninaVerified email at cs.uoi.gr
Marco Aurelio GerosaNorthern Arizona University & University of São PauloVerified email at nau.edu
Antonia BertolinoISTI-CNRVerified email at isti.cnr.it
Alexander PerucciPh.D. in Engineering and Information Science, University of L'AquilaVerified email at univaq.it
Vittorio CortellessaUniversità dell'Aquila, ItalyVerified email at univaq.it
Guglielmo De AngelisISTI-CNRVerified email at isti.cnr.it
Antinisca Di MarcoUniversità degli Studi di L'AquilaVerified email at univaq.it
Marta KwiatkowskaProfessor of Computing Systems, University of OxfordVerified email at comlab.ox.ac.uk
Leonardo MostardaAssociate ProfessorVerified email at unicam.it
Dionysis AthanasopoulosLecturer @ Queen's University of BelfastVerified email at qub.ac.uk
Alfredo GoldmanProfessor of Computer Science, University of São PauloVerified email at ime.usp.br
Gustavo Ansaldi OlivaQueen's UniversityVerified email at cs.queensu.ca
Fabio KonFull Professor of Computer ScienceVerified email at ime.usp.br
Lars GrunskeProfessor for Software Engineering, Humboldt-Universität zu Berlin, GermanyVerified email at informatik.hu-berlin.de

Marco Autili

Assistant Professor, Computer Science, University of L'Aquila

Verified email at univaq.it - Homepage

Software Engineering Distributed Systems and Code Synthesis Formal Methods Context Oriented Computing Adaptive Systems


Title	Cited by	Year
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	167	2011
Graphical scenarios for specifying temporal properties: an automated approach M Autili, P Inverardi, P Pelliccione Automated Software Engineering 14 (3), 293-340, 2007	99	2007
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	80	2007
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	71	2015
Context-aware adaptive services: The plastic approach M Autili, P Di Benedetto, P Inverardi International Conference on Fundamental Approaches to Software Engineering …, 2009	67	2009
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	54	2006
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	44	2005
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	42	2013
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	40	2007
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	36	2006
Synthesis, a tool for synthesizing correct and protocol-enhanced adaptors M Tivoli, M Autili	36	2006
Automated synthesis of service choreographies M Autili, P Inverardi, M Tivoli IEEE Software 32 (1), 50-57, 2014	34	2014
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	30	2008
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	26	2012
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	23	2006
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	22	2011
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	20	2017
Distributed enforcement of service choreographies M Autili, M Tivoli arXiv preprint arXiv:1502.03512, 2015	20	2015
Towards a graphical tool for refining user to system requirements M Autili, P Pelliccione Electronic Notes in Theoretical Computer Science 211, 147-157, 2008	19	2008

The system can't perform the operation now. Try again later.

Articles 1–20

Citations per year

Duplicate citations

Merged citations

Add co-authorsCo-authors

Upload PDF

Follow this author

Cited by

Co-authors