Следене
Patrizio Pelliccione
Patrizio Pelliccione
Director of the CS area and Prof. in Software Engineering at Gran Sasso Science Institute (GSSI)
Потвърден имейл адрес: gssi.it - Начална страница
Заглавие
Позовавания
Позовавания
Година
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
3962013
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: foundations, applications, and roadmaps, 101-136, 2014
1842014
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
1792009
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
1642015
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
1382009
Graphical scenarios for specifying temporal properties: an automated approach
M Autili, P Inverardi, P Pelliccione
Automated Software Engineering 14, 293-340, 2007
1302007
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
1262017
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
1012017
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
872008
Specification Patterns for Robotic Missions
C Menghi, C Tsigkanos, P Pelliccione, C Ghezzi, T Berger
IEEE Transactions on Software Engineering, 2019
762019
Ethical and social aspects of self-driving cars
T Holstein, G Dodig-Crnkovic, P Pelliccione
arXiv preprint arXiv:1802.04103, 2018
752018
Autonomous vehicles: state of the art, future trends, and challenges
P Mallozzi, P Pelliccione, A Knauss, C Berger, N Mohammadiha
Automotive systems and software engineering: State of the art and future …, 2019
732019
Robotics software engineering: A perspective from the service robotics domain
S García, D Strüber, D Brugali, T Berger, P Pelliccione
Proceedings of the 28th ACM Joint Meeting on European Software Engineering …, 2020
702020
The fault-tolerant insulin pump therapy
A Capozucca, N Guelfi, P Pelliccione
Rigorous Development of Complex Fault-Tolerant Systems, 59-79, 2006
65*2006
Boundary objects and their use in agile systems engineering
R Wohlrab, P Pelliccione, E Knauss, M Larsson
Journal of Software: Evolution and Process 31 (5), e2166, 2019
642019
The road ahead for architectural languages
P Lago, I Malavolta, H Muccini, P Pelliccione, A Tang
IEEE Software 32 (1), 98-105, 2014
642014
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
622006
Automated check of architectural models consistency using SPIN
P Inverardi, H Muccini, P Pelliccione
Automated Software Engineering, 2001.(ASE 2001). Proceedings. 16th Annual …, 2001
622001
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
612010
Compositional verification of middleware-based software architecture descriptions
M Caporuscio, P Inverardi, P Pelliccione
Proceedings. 26th International Conference on Software Engineering, 221-230, 2004
602004
Системата не може да изпълни операцията сега. Опитайте отново по-късно.
Статии 1–20