Patrizio Pelliccione

Best Publications

• What Industry Needs from Architectural Languages: A Survey

  I. Malavolta;P. Lago;H. Muccini;P. Pelliccione

  416
  Citations

• Automatic synthesis of behavior protocols for composable web-services

  Antonia Bertolino;Paola Inverardi;Patrizio Pelliccione;Massimo Tivoli

  182
  Citations

• Using models at runtime to address assurance for self-adaptive systems

  Betty H. C. Cheng;Kerstin I. Eder;Martin Gogolla;Lars Grunske

  174
  Citations

• Aligning Qualitative, Real-Time, and Probabilistic Property Specification Patterns Using a Structured English Grammar

  Marco Autili;Lars Grunske;Markus Lumpe;Patrizio Pelliccione

  174
  Citations

• Model-Driven Engineering for Mission-Critical IoT Systems

  Federico Ciccozzi;Ivica Crnkovic;Davide Di Ruscio;Ivano Malavolta

  140
  Citations

• Providing Architectural Languages and Tools Interoperability through Model Transformation Technologies

  I. Malavolta;H. Muccini;P. Pelliccione;D.A. Tamburri

  137
  Citations

• Graphical scenarios for specifying temporal properties: an automated approach

  M. Autili;P. Inverardi;P. Pelliccione

  129
  Citations

• Automotive Architecture Framework: The experience of Volvo Cars☆

  Patrizio Pelliccione;Eric Knauss;Rogardt Heldal;Rogardt Heldal;S. Magnus Ågren

  108
  Citations

• CHARMY: A Framework for Designing and Verifying Architectural Specifications

  P. Pelliccione;P. Inverardi;H. Muccini

  86
  Citations

• Autonomous Vehicles: State of the Art, Future Trends, and Challenges

  Piergiuseppe Mallozzi;Piergiuseppe Mallozzi;Patrizio Pelliccione;Patrizio Pelliccione;Patrizio Pelliccione;Alessia Knauss;Alessia Knauss;Christian Berger;Christian Berger

  78
  Citations

• Developing next generation ADLs through MDE techniques

  Davide Di Ruscio;Ivano Malavolta;Henry Muccini;Patrizio Pelliccione

  68
  Citations

• The Road Ahead for Architectural Languages

  Patricia Lago;Ivano Malavolta;Henry Muccini;Patrizio Pelliccione

  66
  Citations

• Automated check of architectural models consistency using SPIN

  P. Inverardi;H. Muccini;P. Pelliccione

  65
  Citations

• Compositional verification of middleware-based software architecture descriptions

  Mauro Caporuscio;Paola Inverardi;Patrizio Pelliccione

  62
  Citations

• A scenario based notation for specifying temporal properties

  M. Autili;P. Inverardi;P. Pelliccione

  61
  Citations

• Safety for mobile robotic systems: A systematic mapping study from a software engineering perspective

  Darko Bozhinoski;Davide Di Ruscio;Ivano Malavolta;Patrizio Pelliccione;Patrizio Pelliccione;Patrizio Pelliccione

  57
  Citations

• Formal analysis and verification of self-healing systems

  Hartmut Ehrig;Claudia Ermel;Olga Runge;Antonio Bucchiarone

  56
  Citations

• A model-driven approach to automate the propagation of changes among Architecture Description Languages

  Romina Eramo;Ivano Malavolta;Henry Muccini;Patrizio Pelliccione

  55
  Citations

• FLYAQ: enabling non-expert users to specify and generate missions of autonomous multicopters

  Darko Bozhinoski;Davide Di Ruscio;Ivano Malavolta;Patrizio Pelliccione

  43
  Citations

• RBF-MLMR: A Multi-Label Metamorphic Relation Prediction Approach Using RBF Neural Network

  Pengcheng Zhang;Xuewu Zhou;Patrizio Pelliccione;Hareton Leung

  41
  Citations