Patrizio Pelliccione

Geciteerd door

	Alles	Sinds 2016
Citaties	3264	1683
h-index	31	20
i10-index	83	49

420

210

105

315

2002200320042005200620072008200920102011201220132014201520162017201820192020202115 22 29 64 66 63 92 106 157 139 176 186 199 182 265 254 317 404 417 18

Medeauteurs

Henry MucciniFull Professor in Computer Science, University of L'AquilaGeverifieerd e-mailadres voor univaq.it
Paola InverardiProfessor of Computer ScienceGeverifieerd e-mailadres voor univaq.it
Davide Di RuscioAssociate Professor, DISIM, University of L'Aquila (Italy)Geverifieerd e-mailadres voor di.univaq.it
Ivano MalavoltaAssistant professor, Vrije Universiteit AmsterdamGeverifieerd e-mailadres voor vu.nl
Massimo TivoliAssociate Professor, Dipartimento di Ingegneria e Scienze dell'Informazione e Matematica (DISIM)Geverifieerd e-mailadres voor di.univaq.it
Antonio BucchiaroneFBK-MoDiS, Trento, ItalyGeverifieerd e-mailadres voor fbk.eu
Alfonso PierantonioProfessor of Computer Science, Università degli Studi dell'AquilaGeverifieerd e-mailadres voor univaq.it
Eric KnaussChalmers | University of GothenburgGeverifieerd e-mailadres voor computer.org
Marco AutiliProfessore Associato, Università dell'AquilaGeverifieerd e-mailadres voor univaq.it
Claudio MenghiUniversity of Luxembourg, Interdisciplinary Centre for Security, Reliability and TrustGeverifieerd e-mailadres voor uni.lu
Antony TangAdjunct Professor, VU Amsterdam and Swinburne University of TechnologyGeverifieerd e-mailadres voor swin.edu.au
Nicolas GuelfiProfessor of Computer Science, University of LuxembourgGeverifieerd e-mailadres voor uni.lu
Alexander RomanovskyEmeritus Professor, Newcastle University, UKGeverifieerd e-mailadres voor ncl.ac.uk
Patricia LagoFull Professor, Dept. Computer Science, Vrije Universiteit AmsterdamGeverifieerd e-mailadres voor vu.nl
Thorsten BergerProfessor of Computer Science, Ruhr University BochumGeverifieerd e-mailadres voor rub.de
Federico CiccozziAssociate Professor at Mälardalen UniversityGeverifieerd e-mailadres voor mdh.se
Rebekka WohlrabPostdoc at Carnegie Mellon UniversityGeverifieerd e-mailadres voor cmu.edu
Piergiuseppe MallozziPhD Student, Chalmers University of TechnologyGeverifieerd e-mailadres voor chalmers.se
Mauro CaporuscioAssociate Professor in Computer Science, Linnaeus University (Växjö, Sweden)Geverifieerd e-mailadres voor lnu.se
Lars GrunskeProfessor for Software Engineering, Humboldt-Universität zu Berlin, GermanyGeverifieerd e-mailadres voor informatik.hu-berlin.de

Patrizio Pelliccione

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

Geverifieerd e-mailadres voor gssi.it - Homepage

Software Engineering Software Architecture Robotics Autonomous systems Formal Verification


Titel Sorteren op citaties Sorteren op jaar Sorteren op titel	Geciteerd door Geciteerd door	Jaar
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	311	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	169	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	132	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	123	2009
Graphical scenarios for specifying temporal properties: an automated approach M Autili, P Inverardi, P Pelliccione Automated Software Engineering 14 (3), 293-340, 2007	118	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	102	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
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	65	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	61	2001
The fault-tolerant insulin pump therapy A Capozucca, N Guelfi, P Pelliccione Rigorous Development of Complex Fault-Tolerant Systems, 59-79, 2006	60*	2006
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	58	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	53	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	52	2010
The road ahead for architectural languages P Lago, I Malavolta, H Muccini, P Pelliccione, A Tang IEEE Software 32 (1), 98-105, 2014	48	2014
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	48	2012
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
Model checking D Peled, P Pelliccione, P Spoletini Wiley encyclopedia of computer science and engineering, 1904-1920, 2007	47*	2007
Charmy: an extensible tool for architectural analysis P Inverardi, H Muccini, P Pelliccione Proceedings of the 10th European software engineering conference held …, 2005	47	2005
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	46	2011

Het systeem kan de bewerking nu niet uitvoeren. Probeer het later opnieuw.

Artikelen 1–20

Citaties per jaar

Dubbele citaties

Samengevoegde citaties

Medeauteurs toevoegenMedeauteurs

PDF uploaden

Deze auteur volgen

Geciteerd door

Medeauteurs