Patrizio Pelliccione
Patrizio Pelliccione
Associate Professor, Chalmers | University of Gothenburg and University of L'Aquila
Geverifieerd e-mailadres voor chalmers.se - Homepage
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
2812013
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
1572009
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
1152014
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
1132009
Graphical scenarios for specifying temporal properties: an automated approach
M Autili, P Inverardi, P Pelliccione
Automated Software Engineering 14 (3), 293-340, 2007
1072007
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
902015
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
742008
Automated check of architectural models consistency using SPIN
P Inverardi, H Muccini, P Pelliccione
Automated Software Engineering, 2001.(ASE 2001). Proceedings. 16th Annual …, 2001
592001
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
562006
Compositional verification of middleware-based software architecture descriptions
M Caporuscio, P Inverardi, P Pelliccione
Proceedings. 26th International Conference on Software Engineering, 221-230, 2004
552004
The fault-tolerant insulin pump therapy
A Capozucca, N Guelfi, P Pelliccione
Rigorous Development of Complex Fault-Tolerant Systems, 59-79, 2006
54*2006
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
492017
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
472010
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
472010
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
462017
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
462012
Formal analysis of clients mobility in the siena publish/subscribe middleware
M Caporuscio, P Inverardi, P Pelliccione
462002
Model checking
D Peled, P Pelliccione, P Spoletini
Wiley encyclopedia of computer science and engineering, 1904-1920, 2007
45*2007
Charmy: an extensible tool for architectural analysis
P Inverardi, H Muccini, P Pelliccione
Proceedings of the 10th European software engineering conference held …, 2005
452005
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
442011
Het systeem kan de bewerking nu niet uitvoeren. Probeer het later opnieuw.
Artikelen 1–20