Patrizio Pelliccione

Cited by

	All	Since 2017
Citations	4174	2283
h-index	35	26
i10-index	101	65

500

250

125

375

20022003200420052006200720082009201020112012201320142015201620172018201920202021202215 22 29 66 66 65 98 114 160 141 180 189 201 187 266 258 341 465 423 493 292

Public access

View all

48 articles

7 articles

available

not available

Based on funding mandates

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 MalavoltaAssociate professor, Vrije Universiteit Amsterdam | Director of Network InstituteVerified email at vu.nl
Massimo TivoliFull Professor, Dipartimento di Ingegneria e Scienze dell'Informazione e Matematica (DISIM)Verified email at univaq.it
Eric KnaussChalmers | University of GothenburgVerified email at computer.org
Antonio BucchiaroneFBK-MoDiS, Trento, ItalyVerified email at fbk.eu
Alexander RomanovskySenior Research Investigator and Emeritus Professor, Newcastle University, UKVerified email at ncl.ac.uk
Alfonso PierantonioFull Professor of Computer Science, Università degli Studi dell'AquilaVerified email at univaq.it
Claudio MenghiMcMaster UniversityVerified email at mcmaster.ca
Marco AutiliProfessore Associato, Università dell'AquilaVerified email at univaq.it
Thorsten BergerProfessor of Computer Science, Ruhr University BochumVerified email at rub.de
Nicolas GuelfiProfessor of Computer Science, University of LuxembourgVerified email at uni.lu
Rebekka WohlrabAssistant Professor at Chalmers University of TechnologyVerified email at chalmers.se
Patricia LagoFull Professor, Dept. Computer Science, Vrije Universiteit AmsterdamVerified email at vu.nl
Antony TangAdjunct Professor, VU Amsterdam and Swinburne University of TechnologyVerified email at swin.edu.au
Piergiuseppe MallozziPostdoc at UC BerkeleyVerified email at berkeley.edu
Federico CiccozziAssociate Professor at Mälardalen UniversityVerified email at mdh.se
Sergio García GonzaloUniversity of GothenburgVerified email at chalmers.se
Mauro CaporuscioProfessor of 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	357	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	175	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	162	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	133	2009
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	130	2015
Graphical scenarios for specifying temporal properties: an automated approach M Autili, P Inverardi, P Pelliccione Automated Software Engineering 14 (3), 293-340, 2007	122	2007
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	98	2017
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	82	2008
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	79	2017
The fault-tolerant insulin pump therapy A Capozucca, N Guelfi, P Pelliccione Rigorous Development of Complex Fault-Tolerant Systems, 59-79, 2006	63*	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	61	2004
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
The road ahead for architectural languages P Lago, I Malavolta, H Muccini, P Pelliccione, A Tang IEEE Software 32 (1), 98-105, 2014	59	2014
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	59	2006
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	58	2010
Ethical and social aspects of self-driving cars T Holstein, G Dodig-Crnkovic, P Pelliccione arXiv preprint arXiv:1802.04103, 2018	56	2018
Architecture description languages in practice session report E Woods, R Hilliard 5th Working IEEE/IFIP Conference on Software Architecture (WICSA'05), 243-246, 2005	55	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	53	2012
Model Checking. DA Peled, P Pelliccione, P Spoletini Wiley encyclopedia of computer science and engineering, 2008	52	2008
Specification Patterns for Robotic Missions C Menghi, C Tsigkanos, P Pelliccione, C Ghezzi, T Berger IEEE Transactions on Software Engineering, 2019	51	2019

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

Follow

Cited by

Co-authors