Patrizio Pelliccione

Cited by

	All	Since 2016
Citations	3164	1647
h-index	29	19
i10-index	81	46

440

220

110

330

2002200320042005200620072008200920102011201220132014201520162017201820192020202115 22 27 64 64 61 93 101 153 140 172 199 194 176 262 231 303 431 400 12

Co-authors

Henry MucciniFull Professor in Computer Science, University of L'AquilaVerified email at 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
Ivano MalavoltaAssistant professor, Vrije Universiteit AmsterdamVerified email at vu.nl
Massimo TivoliAssociate Professor, Dipartimento di Ingegneria e Scienze dell'Informazione e Matematica (DISIM)Verified email at di.univaq.it
Antonio BucchiaroneFBK-MoDiS, Trento, ItalyVerified email at fbk.eu
Marco AutiliProfessore Associato, Università dell'AquilaVerified email at univaq.it
Alfonso PierantonioProfessor of Computer Science, Università degli Studi dell'AquilaVerified email at univaq.it
Eric KnaussChalmers | University of GothenburgVerified email at computer.org
Claudio MenghiUniversity of Luxembourg, Interdisciplinary Centre for Security, Reliability and TrustVerified email at uni.lu
Antony TangAdjunct Professor, VU Amsterdam and Swinburne University of TechnologyVerified email at swin.edu.au
Patricia LagoFull Professor, Dept. Computer Science, Vrije Universiteit AmsterdamVerified email at vu.nl
Nicolas GuelfiProfessor of Computer Science, University of LuxembourgVerified email at uni.lu
Alexander RomanovskyEmeritus Professor, Newcastle University, UKVerified email at ncl.ac.uk
Thorsten BergerAssociate Professor, Wallenberg Academy Fellow, Chalmers | University of GothenburgVerified email at chalmers.se
Federico CiccozziAssociate Professor at Mälardalen UniversityVerified email at mdh.se
Rebekka WohlrabPostdoc at Carnegie Mellon UniversityVerified email at cmu.edu
Lars GrunskeProfessor for Software Engineering, Humboldt-Universität zu Berlin, GermanyVerified email at informatik.hu-berlin.de
Piergiuseppe MallozziPhD Student, Chalmers University of TechnologyVerified email at chalmers.se
Mauro CaporuscioAssociate Professor in Computer Science, Linnaeus University (Växjö, Sweden)Verified email at lnu.se

Patrizio Pelliccione

Full Professor in Computer Science and Software Engineering at Gran Sasso Science Institute (GSSI)

Verified email at gssi.it - Homepage

Software Engineering Software Architecture Robotics Autonomous systems Formal Verification


Title Sort by citations Sort by year Sort by title	Cited by Cited by	Year
What Industry Needs from Architectural Languages: A Survey I Malavolta, P Lago, H Muccini, P Pelliccione, A Tang Transactions on Software Engineering (TSE) 39 (6), 869-891, 2013	294	2013
Automatic synthesis of behavior protocols for composable web-services A Bertolino, P Inverardi, P Pelliccione, M Tivoli Proceedings of the 7th joint meeting of the European software engineering …, 2009	160	2009
Using models at runtime to address assurance for self-adaptive systems BHC Cheng, KI Eder, M Gogolla, L Grunske, M Litoiu, HA Müller, ... Models@ run. time, 101-136, 2014	130	2014
Providing architectural languages and tools interoperability through model transformation technologies I Malavolta, H Muccini, P Pelliccione, D Tamburri IEEE Transactions on Software Engineering 36 (1), 119-140, 2009	118	2009
Graphical scenarios for specifying temporal properties: an automated approach M Autili, P Inverardi, P Pelliccione Automated Software Engineering 14 (3), 293-340, 2007	110	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	99	2015
Charmy: A framework for designing and verifying architectural specifications P Pelliccione, P Inverardi, H Muccini IEEE Transactions on Software Engineering 35 (3), 325-346, 2008	74	2008
Model-driven engineering for mission-critical iot systems F Ciccozzi, I Crnkovic, D Di Ruscio, I Malavolta, P Pelliccione, ... IEEE software 34 (1), 46-53, 2017	64	2017
Automated check of architectural models consistency using SPIN P Inverardi, H Muccini, P Pelliccione Automated Software Engineering, 2001.(ASE 2001). Proceedings. 16th Annual …, 2001	60	2001
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	56	2006
The fault-tolerant insulin pump therapy A Capozucca, N Guelfi, P Pelliccione Rigorous Development of Complex Fault-Tolerant Systems, 59-79, 2006	56*	2006
Compositional verification of middleware-based software architecture descriptions M Caporuscio, P Inverardi, P Pelliccione Proceedings. 26th International Conference on Software Engineering, 221-230, 2004	56	2004
Automotive architecture framework: The experience of volvo cars P Pelliccione, E Knauss, R Heldal, SM Ågren, P Mallozzi, A Alminger, ... Journal of systems architecture 77, 83-100, 2017	52	2017
Developing next generation ADLs through MDE techniques D Di Ruscio, I Malavolta, H Muccini, P Pelliccione, A Pierantonio 2010 ACM/IEEE 32nd International Conference on Software Engineering 1, 85-94, 2010	49	2010
Formal analysis and verification of self-healing systems H Ehrig, C Ermel, O Runge, A Bucchiarone, P Pelliccione International Conference on Fundamental Approaches to Software Engineering …, 2010	48	2010
A model-driven approach to automate the propagation of changes among Architecture Description Languages R Eramo, I Malavolta, H Muccini, P Pelliccione, A Pierantonio Software & Systems Modeling 11 (1), 29-53, 2012	47	2012
The road ahead for architectural languages P Lago, I Malavolta, H Muccini, P Pelliccione, A Tang IEEE Software 32 (1), 98-105, 2014	46	2014
Model checking D Peled, P Pelliccione, P Spoletini Wiley encyclopedia of computer science and engineering, 1904-1920, 2007	46*	2007
Formal analysis of clients mobility in the siena publish/subscribe middleware M Caporuscio, P Inverardi, P Pelliccione	46	2002
Supporting software evolution in component-based FOSS systems R Di Cosmo, D Di Ruscio, P Pelliccione, A Pierantonio, S Zacchiroli Science of Computer Programming 76 (12), 1144-1160, 2011	45	2011

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