All Stories

  1. Mind the gap

    Article • September 2020, ACM (Association for Computing Machinery)

    Patrizio Pelliccione

  2. PROMISE

    Article • June 2020, ACM (Association for Computing Machinery)

    Patrizio Pelliccione

  3. Hey, my data are mine!

    Article • June 2020, ACM (Association for Computing Machinery)

    Patrizio Pelliccione

  4. Beyond connected cars: A systems of systems perspective

    Article • Science of Computer Programming, June 2020, Elsevier

    Patrizio Pelliccione

  5. Report of the 2nd International Workshop on Context-aware Autonomous and Smart Architectures (CASA@ECSA 2018)

    Article • ACM SIGSOFT Software Engineering Notes, January 2020, ACM (Association for Computing Machinery)

    Patrizio Pelliccione

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

    Article • Journal of Systems and Software, May 2019, Elsevier

    Patrizio Pelliccione

  7. A Software Exoskeleton to Protect and Support Citizen’s Ethics and Privacy in the Digital World

    Article • IEEE Access, January 2019, Institute of Electrical & Electronics Engineers (IEEE)

    Patrizio Pelliccione

  8. Automatic generation of predictive monitors from scenario-based specifications

    Article • Information and Software Technology, June 2018, Elsevier

    Patrizio Pelliccione

  9. Multi-robot LTL Planning Under Uncertainty

    Article • January 2018, Springer Science + Business Media

    Patrizio Pelliccione

  10. The Problem of Consolidating RE Practices at Scale: An Ethnographic Study

    Article • January 2018, Springer Science + Business Media

    Patrizio Pelliccione

  11. Automotive Architecture Framework: The experience of Volvo Cars

    Article • Journal of Systems Architecture, June 2017, Elsevier

    Patrizio Pelliccione

  12. Editorial to theme issue on model-driven engineering of component-based software systems

    Article • Software & Systems Modeling, March 2017, Springer Science + Business Media

    Patrizio Pelliccione

  13. Model-Driven Engineering for Mission-Critical IoT Systems

    Article • IEEE Software, January 2017, Institute of Electrical & Electronics Engineers (IEEE)

    Patrizio Pelliccione

  14. Leveraging Collective Run-Time Adaptation for UAV-Based Systems

    Article • August 2016, Institute of Electrical & Electronics Engineers (IEEE)

    Patrizio Pelliccione

  15. Organic Evolution of Development Organizations - An Experience Report

    Article • April 2016, SAE International

    Patrizio Pelliccione

  16. A Proposal for an Automotive Architecture Framework for Volvo Cars

    Article • April 2016, Institute of Electrical & Electronics Engineers (IEEE)

    Patrizio Pelliccione

  17. A/B Testing in E-commerce Sales Processes

    Article • January 2016, Springer Science + Business Media

    Patrizio Pelliccione

  18. Adopting MDE for Specifying and Executing Civilian Missions of Mobile Multi-Robot Systems

    Article • IEEE Access, January 2016, Institute of Electrical & Electronics Engineers (IEEE)

    Patrizio Pelliccione

  19. Automatic generation of detailed flight plans from high-level mission descriptions

    Article • January 2016, ACM (Association for Computing Machinery)

    Patrizio Pelliccione

  20. Continuous Integration Beyond the Team

    Article • January 2016, ACM (Association for Computing Machinery)

    Patrizio Pelliccione

  21. Descriptive vs prescriptive models in industry

    Article • January 2016, ACM (Association for Computing Machinery)

    Patrizio Pelliccione

  22. Formal Verification of the On-the-Fly Vehicle Platooning Protocol

    Article • January 2016, Springer Science + Business Media

    Patrizio Pelliccione

  23. Verdict machinery: on the need to automatically make sense of test results

    Article • January 2016, ACM (Association for Computing Machinery)

    Patrizio Pelliccione

  24. FLYAQ: Enabling Non-expert Users to Specify and Generate Missions of Autonomous Multicopters

    Article • November 2015, Institute of Electrical & Electronics Engineers (IEEE)

    Patrizio Pelliccione

  25. The need of complementing plan-driven requirements engineering with emerging communication: Experiences from Volvo Car Group

    Article • August 2015, Institute of Electrical & Electronics Engineers (IEEE)

    Patrizio Pelliccione

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

    Article • IEEE Transactions on Software Engineering, July 2015, Institute of Electrical & Electronics Engineers (IEEE)

    Patrizio Pelliccione

  27. AC-Contract: Run-Time Verification of Context-Aware Applications

    Article • May 2015, Institute of Electrical & Electronics Engineers (IEEE)

    Patrizio Pelliccione

  28. Architecting in the Automotive Domain: Descriptive vs Prescriptive Architecture

    Article • May 2015, Institute of Electrical & Electronics Engineers (IEEE)

    Patrizio Pelliccione

  29. A model-driven approach to detect faults in FOSS systems

    Article • Journal of Software Evolution and Process, April 2015, Wiley

    Patrizio Pelliccione

  30. The Road Ahead for Architectural Languages

    Article • IEEE Software, January 2015, Institute of Electrical & Electronics Engineers (IEEE)

    Patrizio Pelliccione

  31. Rule-Based Modeling and Static Analysis of Self-adaptive Systems by Graph Transformation

    Article • January 2015, Springer Science + Business Media

    Patrizio Pelliccione

  32. Software Engineering for Resilient Systems

    Article • January 2015, Springer Science + Business Media

    Patrizio Pelliccione

  33. Open Architectures and Software Evolution: The Case of Software Ecosystems

    Article • April 2014, Institute of Electrical & Electronics Engineers (IEEE)

    Patrizio Pelliccione

  34. Simulating upgrades of complex systems: The case of Free and Open Source Software

    Article • Information and Software Technology, April 2014, Elsevier

    Patrizio Pelliccione

  35. ModelLAND: Where Do Models Come from?

    Article • January 2014, Springer Science + Business Media

    Patrizio Pelliccione

  36. The Role of Parts in the System Behaviour

    Article • January 2014, Springer Science + Business Media

    Patrizio Pelliccione

  37. Using Models at Runtime to Address Assurance for Self-Adaptive Systems

    Article • January 2014, Springer Science + Business Media

    Patrizio Pelliccione

  38. What Industry Needs from Architectural Languages: A Survey

    Article • IEEE Transactions on Software Engineering, June 2013, Institute of Electrical & Electronics Engineers (IEEE)

    Patrizio Pelliccione

  39. Engineering a Platform for Mission Planning of Autonomous and Resilient Quadrotors

    Article • January 2013, Springer Science + Business Media

    Patrizio Pelliccione

  40. Producing software by integration: challenges and research directions (keynote)

    Article • January 2013, ACM (Association for Computing Machinery)

    Patrizio Pelliccione

  41. Supporting the Evolution of Free and Open Source Software Distributions

    Article • January 2013, Springer Science + Business Media

    Patrizio Pelliccione

  42. On the Composition and Reuse of Viewpoints across Architecture Frameworks

    Article • August 2012, Institute of Electrical & Electronics Engineers (IEEE)

    Patrizio Pelliccione

  43. EVOSS: A tool for managing the evolution of free and open source software systems

    Article • June 2012, Institute of Electrical & Electronics Engineers (IEEE)

    Patrizio Pelliccione

  44. Assume-Guarantee Testing of Evolving Software Product Line Architectures

    Article • January 2012, Springer Science + Business Media

    Patrizio Pelliccione

  45. Automated Inference of Models for Black Box Systems Based on Interface Descriptions

    Article • January 2012, Springer Science + Business Media

    Patrizio Pelliccione

  46. Integration Architecture Synthesis for Taming Uncertainty in the Digital Space

    Article • January 2012, Springer Science + Business Media

    Patrizio Pelliccione

  47. Model-Driven Techniques to Enhance Architectural Languages Interoperability

    Article • January 2012, Springer Science + Business Media

    Patrizio Pelliccione

  48. Supporting software evolution in component-based FOSS systems

    Article • Science of Computer Programming, December 2011, Elsevier

    Patrizio Pelliccione

  49. Developing highly complex distributed systems: a software engineering perspective

    Article • Journal of Internet Services and Applications, November 2011, Springer Science + Business Media

    Patrizio Pelliccione

  50. EAGLE

    Article • January 2011, ACM (Association for Computing Machinery)

    Patrizio Pelliccione

  51. Guaranteeing Correct Evolution of Software Product Lines: Setting Up the Problem

    Article • January 2011, Springer Science + Business Media

    Patrizio Pelliccione

  52. Realizing architecture frameworks through megamodelling techniques

    Article • September 2010, ACM (Association for Computing Machinery)

    Patrizio Pelliccione

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

    Article • Software & Systems Modeling, July 2010, Springer Science + Business Media

    Patrizio Pelliccione

  54. Providing Architectural Languages and Tools Interoperability through Model Transformation Technologies

    Article • IEEE Transactions on Software Engineering, January 2010, Institute of Electrical & Electronics Engineers (IEEE)

    Patrizio Pelliccione

  55. A Model Driven Approach to Upgrade Package-Based Software Systems

    Article • January 2010, Springer Science + Business Media

    Patrizio Pelliccione

  56. Ad-opera

    Article • January 2010, ACM (Association for Computing Machinery)

    Patrizio Pelliccione

  57. ByADL: An MDE Framework for Building Extensible Architecture Description Languages

    Article • January 2010, Springer Science + Business Media

    Patrizio Pelliccione

  58. Developing next generation ADLs through MDE techniques

    Article • January 2010, ACM (Association for Computing Machinery)

    Patrizio Pelliccione

  59. Formal Analysis and Verification of Self-Healing Systems

    Article • January 2010, Springer Science + Business Media

    Patrizio Pelliccione

  60. Synthesizing adapters for conversational web-services from their WSDL interface

    Article • January 2010, ACM (Association for Computing Machinery)

    Patrizio Pelliccione

  61. Self-Repairing systems modeling and verification using AGG

    Article • September 2009, Institute of Electrical & Electronics Engineers (IEEE)

    Patrizio Pelliccione

  62. Towards a Framework for Distributed and Collaborative Modeling

    Article • June 2009, Institute of Electrical & Electronics Engineers (IEEE)

    Patrizio Pelliccione

  63. CHARMY: A Framework for Designing and Verifying Architectural Specifications

    Article • IEEE Transactions on Software Engineering, May 2009, Institute of Electrical & Electronics Engineers (IEEE)

    Patrizio Pelliccione

  64. Towards an assume-guarantee theory for adaptable systems

    Article • May 2009, Institute of Electrical & Electronics Engineers (IEEE)

    Patrizio Pelliccione

  65. Model Checking

    Article • March 2009, Wiley

    Patrizio Pelliccione

  66. POPEYE: providing collaborative services for ad hoc and spontaneous communities

    Article • Service Oriented Computing and Applications, March 2009, Springer Science + Business Media

    Patrizio Pelliccione

  67. Frameworks for designing and implementing dependable systems using Coordinated Atomic Actions: A comparative study

    Article • Journal of Systems and Software, February 2009, Elsevier

    Patrizio Pelliccione

  68. Integrating AADL within a Multi-domain Modeling Framework

    Article • January 2009, Institute of Electrical & Electronics Engineers (IEEE)

    Patrizio Pelliccione

  69. Towards maintainer script modernization in FOSS distributions

    Article • January 2009, ACM (Association for Computing Machinery)

    Patrizio Pelliccione

  70. From Requirements to Java Code

    Article • January 2009, IGI Global

    Patrizio Pelliccione

  71. An architectural approach to the correct and automatic assembly of evolving component-based systems

    Article • Journal of Systems and Software, December 2008, Elsevier

    Patrizio Pelliccione

  72. DUALLY: A framework for Architectural Languages and Tools Interoperability

    Article • September 2008, Institute of Electrical & Electronics Engineers (IEEE)

    Patrizio Pelliccione

  73. Towards a Graphical Tool for Refining User to System Requirements

    Article • Electronic Notes in Theoretical Computer Science, April 2008, Elsevier

    Patrizio Pelliccione

  74. Simulating Software Architectures for Functional Analysis

    Article • February 2008, Institute of Electrical & Electronics Engineers (IEEE)

    Patrizio Pelliccione

  75. POPEYE: A simple and reliable collaborative working environment over mobile ad-hoc networks

    Article • November 2007, Institute of Electrical & Electronics Engineers (IEEE)

    Patrizio Pelliccione

  76. Graphical scenarios for specifying temporal properties: an automated approach

    Article • Automated Software Engineering, August 2007, Springer Science + Business Media

    Patrizio Pelliccione

  77. INTRODUCTION

    Article • August 2007, World Scientific Pub Co Pte Lt

    Patrizio Pelliccione

  78. Architecting Fault-tolerant Component-based Systems: from requirements to testing

    Article • Electronic Notes in Theoretical Computer Science, February 2007, Elsevier

    Patrizio Pelliccione

  79. Software Engineering of Fault Tolerant Systems

    Article • January 2007, World Scientific Pub Co Pte Lt

    Patrizio Pelliccione

  80. Architecting Fault Tolerant Systems

    Article • January 2007, Institute of Electrical & Electronics Engineers (IEEE)

    Patrizio Pelliccione

  81. A Software Architecture for Reliable Collaborative Working Environments

    Article • January 2007, Institute of Electrical & Electronics Engineers (IEEE)

    Patrizio Pelliccione

  82. EFTS 2007

    Article • January 2007, ACM (Association for Computing Machinery)

    Patrizio Pelliccione

  83. EFTS 2007

    Article • January 2007, ACM (Association for Computing Machinery)

    Patrizio Pelliccione

  84. CAA-DRIP: a framework for implementing Coordinated Atomic Actions

    Article • November 2006, Institute of Electrical & Electronics Engineers (IEEE)

    Patrizio Pelliccione

  85. A Practical Architecture-Centric Analysis Process

    Article • January 2006, Springer Science + Business Media

    Patrizio Pelliccione

  86. A scenario based notation for specifying temporal properties

    Article • January 2006, ACM (Association for Computing Machinery)

    Patrizio Pelliccione

  87. Rapid System Development Via Product Line Architecture Implementation

    Article • January 2006, Springer Science + Business Media

    Patrizio Pelliccione, Mauro Caporuscio

  88. Reducing Software Architecture Models Complexity: A Slicing and Abstraction Approach

    Article • January 2006, Springer Science + Business Media

    Patrizio Pelliccione

  89. The Fault-Tolerant Insulin Pump Therapy

    Article • January 2006, Springer Science + Business Media

    Patrizio Pelliccione

  90. Towards an architectural approach for the dynamic and automatic composition of software components

    Article • January 2006, ACM (Association for Computing Machinery)

    Patrizio Pelliccione

  91. CHARMY

    Article • ACM SIGSOFT Software Engineering Notes, September 2005, ACM (Association for Computing Machinery)

    Patrizio Pelliccione

  92. A Framework for the Integration of Functional and Non-functional Analysis of Software Architectures

    Article • Electronic Notes in Theoretical Computer Science, January 2005, Elsevier

    Patrizio Pelliccione

  93. CHARMY

    Article • January 2005, ACM (Association for Computing Machinery)

    Patrizio Pelliccione

  94. Engineering MDA into Compositional Reasoning for Analyzing Middleware-Based Applications

    Article • January 2005, Springer Science + Business Media

    Patrizio Pelliccione

  95. TeStor: Deriving Test Sequences from Model-Based Specifications

    Article • January 2005, Springer Science + Business Media

    Patrizio Pelliccione

  96. Formal Analysis of Architectural Patterns

    Article • January 2004, Springer Science + Business Media

    Patrizio Pelliccione

  97. Model-Checking Plus Testing: From Software Architecture Analysis to Code Testing

    Article • January 2004, Springer Science + Business Media

    Patrizio Pelliccione

  98. An Experience in Architectural Extensions: Active Objects in J2EE

    Article • January 2003, Springer Science + Business Media

    Patrizio Pelliccione

  99. Integrating Model-Checking Architectural Analysis and Validation in a Real Software Life-Cycle

    Article • January 2003, Springer Science + Business Media

    Patrizio Pelliccione

  100. TowardsWeaving Software Architecture Models

    Article • Institute of Electrical & Electronics Engineers (IEEE)

    Patrizio Pelliccione

  101. DUALLY: Putting in Synergy UML 2.0 and ADLs

    Article • Institute of Electrical & Electronics Engineers (IEEE)

    Patrizio Pelliccione

  102. Automated check of architectural models consistency using SPIN

    Article • Institute of Electrical & Electronics Engineers (IEEE)

    Patrizio Pelliccione

  103. Compositional verification of middleware-based software architecture descriptions

    Article • Institute of Electrical & Electronics Engineers (IEEE)

    Patrizio Pelliccione