Patrizio Pelliccione - Google Scholar Citations

Cited by

	All	Since 2015
Citations	2667	1357
h-index	27	17
i10-index	68	34

380

190

285

200220032004200520062007200820092010201120122013201420152016201720182019202015 22 27 62 64 60 90 101 154 134 171 192 189 172 257 238 300 373 12

Co-authors

Paola InverardiProfessor of Computer ScienceVerified email at univaq.it
Ivano MalavoltaAssistant professor, Vrije Universiteit AmsterdamVerified email at vu.nl
Davide Di RuscioAssociate Professor, DISIM, University of L'Aquila (Italy)Verified email at di.univaq.it
Massimo TivoliAssociate Professor, Dipartimento di Ingegneria e Scienze dell'Informazione e Matematica (DISIM)Verified email at di.univaq.it
Antonio BucchiaroneFBK-DAS, Trento, ItalyVerified email at fbk.eu
Alfonso PierantonioProfessor of Computer Science, Università degli Studi dell'AquilaVerified email at univaq.it
Marco AutiliProfessore Associato, Università dell'AquilaVerified email at univaq.it
Alexander RomanovskyProfessor, Newcastle University, UKVerified email at ncl.ac.uk
Nicolas GuelfiProfessor of Computer Science, University of LuxembourgVerified email at uni.lu
Eric KnaussChalmers | University of GothenburgVerified email at computer.org
Antony TangAdjunct Professor, Swinburne University of TechnologyVerified email at swin.edu.au
Patricia LagoFull Professor, Dept. Computer Science, VU University AmsterdamVerified email at vu.nl
Mauro CaporuscioAssociate Professor in Computer Science, Linnaeus University (Växjö, Sweden)Verified email at lnu.se
Claudio MenghiUniversity of Luxembourg, Interdisciplinary Centre for Security, Reliability and TrustVerified email at uni.lu
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
Rebekka WohlrabChalmers | University of GothenburgVerified email at chalmers.se
Federico CiccozziAssociate Professor at Mälardalen UniversityVerified email at mdh.se
Antonia BertolinoISTI-CNRVerified email at isti.cnr.it
Claudia ErmelTechnische Universität Berlin, GermanyVerified email at tu-berlin.de

Patrizio Pelliccione

Associate Professor, Chalmers | University of Gothenburg and University of L'Aquila

Verified email at chalmers.se - Homepage

Software Engineering Software Architecture Robotics Autonomous systems Formal Verification


Title	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	251	2013
Automatic synthesis of behavior protocols for composable web-services A Bertolino, P Inverardi, P Pelliccione, M Tivoli Proceedings of the the 7th joint meeting of the European software …, 2009	157	2009
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	110	2009
Graphical scenarios for specifying temporal properties: an automated approach M Autili, P Inverardi, P Pelliccione Automated Software Engineering 14 (3), 293-340, 2007	103	2007
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	101	2014
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	82	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	77	2008
Automated check of architectural models consistency using SPIN P Inverardi, H Muccini, P Pelliccione Automated Software Engineering, 2001.(ASE 2001). Proceedings. 16th Annual …, 2001	58	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	55	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	53	2004
The fault-tolerant insulin pump therapy A Capozucca, N Guelfi, P Pelliccione Rigorous Development of Complex Fault-Tolerant Systems, 59-79, 2006	52*	2006
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	47	2010
Developing next generation ADLs through MDE techniques D Di Ruscio, I Malavolta, H Muccini, P Pelliccione, A Pierantonio Proceedings of the 32nd ACM/IEEE International Conference on Software …, 2010	46	2010
Model checking D Peled, P Pelliccione, P Spoletini Wiley encyclopedia of computer science and engineering, 1904-1920, 2007	45*	2007
Formal analysis of clients mobility in the siena publish/subscribe middleware M Caporuscio, P Inverardi, P Pelliccione	45	2002
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	44	2017
Charmy: an extensible tool for architectural analysis P Inverardi, H Muccini, P Pelliccione ACM SIGSOFT Software Engineering Notes 30 (5), 111-114, 2005	44	2005
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	43	2012
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	42	2011
The road ahead for architectural languages P Lago, I Malavolta, H Muccini, P Pelliccione, A Tang IEEE Software 32 (1), 98-105, 2014	39	2014

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