All Stories

  1. A reference architecture for ethical-aware autonomous systems

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

    Patrizio Pelliccione

  2. Noise-reduction-oriented super-resolution reconstruction for precision agriculture applications

    Article • Expert Systems with Applications, April 2026, Elsevier

    Phuong T. Nguyen, Patrizio Pelliccione

  3. Reference Architecture for Autonomy and Adaptivity in Satellites

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

    Patrizio Pelliccione

  4. Challenges and Opportunities in using Generative AI for Software Engineering

    Article • ACM Transactions on Software Engineering and Methodology, January 2026, ACM (Association for Computing Machinery)

    Andreas Metzger, Patrizio Pelliccione

  5. A checklist of quality concerns for architecting ML-intensive systems

    Article • Journal of Systems and Software, January 2026, Elsevier

    Patrizio Pelliccione

  6. TwinArch: A digital twin reference architecture

    Article • Journal of Systems and Software, January 2026, Elsevier

    Patrizio Pelliccione

  7. Optimal Job Scheduling in Real-Time Cyber-Physical Systems: A Soft-Computing Approach

    Article • IEEE Transactions on Industrial Informatics, January 2026, Institute of Electrical & Electronics Engineers (IEEE)

    Patrizio Pelliccione

  8. Ethics Label for Digital Systems to Promote Transparency and User Awareness

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

    Patrizio Pelliccione

  9. Applications of AI in Space Domain

    Article • ACM Computing Surveys, July 2025, ACM (Association for Computing Machinery)

    Patrizio Pelliccione

  10. Engineering Digital Systems for Humanity: A Research Roadmap

    Article • ACM Transactions on Software Engineering and Methodology, May 2025, ACM (Association for Computing Machinery)

    Patrizio Pelliccione

  11. AI/ML for Safety-Critical Software: The Case of the Space Domain

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

    Patrizio Pelliccione

  12. Different approaches for testing body sensor network applications

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

    Patrizio Pelliccione

  13. Software reconfiguration in robotics

    Article • Empirical Software Engineering, April 2025, Springer Science + Business Media

    Patrizio Pelliccione

  14. Technical Credit

    Article • Communications of the ACM, December 2024, ACM (Association for Computing Machinery)

    Patrizio Pelliccione

  15. Concept-drift-adaptive anomaly detector for marine sensor data streams

    Article • Internet of Things, December 2024, Elsevier

    Patrizio Pelliccione

  16. Runtime Verification and Field-Based Testing for ROS-Based Robotic Systems

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

    Patrizio Pelliccione

  17. Explainability for Property Violations in Cyberphysical Systems: An Immune-Inspired Approach

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

    Patrizio Pelliccione

  18. Future Directions in Software Engineering for Autonomous Robots: An Agenda for Trustworthiness [Opinion]

    Article • IEEE Robotics & Automation Magazine, September 2024, Institute of Electrical & Electronics Engineers (IEEE)

    Patrizio Pelliccione

  19. A Driver-Vehicle Model for ADS Scenario-Based Testing

    Article • IEEE Transactions on Intelligent Transportation Systems, August 2024, Institute of Electrical & Electronics Engineers (IEEE)

    Patrizio Pelliccione

  20. Continuous Compliance in the Automotive Industry

    Article • IEEE Software, July 2024, Institute of Electrical & Electronics Engineers (IEEE)

    Patrizio Pelliccione

  21. Handling uncertainty in the specification of autonomous multi-robot systems through mission adaptation

    Article • April 2024, ACM (Association for Computing Machinery)

    Patrizio Pelliccione

  22. Engineering Industry-Ready Anomaly Detection Algorithms

    Article • April 2024, ACM (Association for Computing Machinery)

    Patrizio Pelliccione

  23. Evaluation Framework for Autonomous Systems: The Case of Programmable Electronic Medical Systems

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

    Patrizio Pelliccione

  24. Insights From the Software Reliability Research Community

    Article • IEEE Reliability Magazine, March 2024, Institute of Electrical & Electronics Engineers (IEEE)

    Patrizio Pelliccione

  25. Modelling centralised automotive E/E software architectures

    Article • Advanced Engineering Informatics, January 2024, Elsevier

    Patrizio Pelliccione

  26. Do Modern Systems Require New Quality Dimensions?

    Article • January 2024, Springer Science + Business Media

    Patrizio Pelliccione

  27. Self-Adaptive Testing in the Field

    Article • ACM Transactions on Autonomous and Adaptive Systems, October 2023, ACM (Association for Computing Machinery)

    Patrizio Pelliccione

  28. Software Variability in Service Robots (Summary)

    Article • August 2023, ACM (Association for Computing Machinery)

    Patrizio Pelliccione

  29. Engineering Challenges of Stationary Wireless Smart Ocean Observation Systems

    Article • IEEE Internet of Things Journal, August 2023, Institute of Electrical & Electronics Engineers (IEEE)

    Patrizio Pelliccione

  30. Mission Specification Patterns for Mobile Robots: Providing Support for Quantitative Properties

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

    Patrizio Pelliccione

  31. A compositional approach to creating architecture frameworks with an application to distributed AI systems

    Article • Journal of Systems and Software, April 2023, Elsevier

    Patrizio Pelliccione

  32. Agile Beyond Teams and Feedback Beyond Software in Automotive Systems

    Article • IEEE Transactions on Engineering Management, December 2022, Institute of Electrical & Electronics Engineers (IEEE)

    Patrizio Pelliccione

  33. Marine Data Sharing: Challenges, Technology Drivers and Quality Attributes

    Article • January 2022, Springer Science + Business Media

    Patrizio Pelliccione

  34. Adaptive heterogeneous multi-robot collaboration from formal task specifications

    Article • Robotics and Autonomous Systems, November 2021, Elsevier

    Antonis Argyros, Patrizio Pelliccione

  35. Specification Patterns for Robotic Missions

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

    Patrizio Pelliccione

  36. Why and How Your Traceability Should Evolve: Insights From an Automotive Supplier

    Article • IEEE Software, July 2021, Institute of Electrical & Electronics Engineers (IEEE)

    Patrizio Pelliccione

  37. Steps Toward Real-World Ethics for Self-Driving Cars

    Article • January 2021, IGI Global

    Patrizio Pelliccione

  38. Robotics software engineering: a perspective from the service robotics domain

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

    Patrizio Pelliccione

  39. Mind the gap

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

    Patrizio Pelliccione

  40. PuRSUE -from specification of robotic environments to synthesis of controllers

    Article • Formal Aspects of Computing, July 2020, ACM (Association for Computing Machinery)

    Patrizio Pelliccione

  41. A hybrid approach combining control theory and AI for engineering self-adaptive systems

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

    Patrizio Pelliccione

  42. PROMISE

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

    Patrizio Pelliccione

  43. Real-world ethics for self-driving cars

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

    Patrizio Pelliccione

  44. Hey, my data are mine!

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

    Patrizio Pelliccione

  45. Beyond connected cars: A systems of systems perspective

    Article • Science of Computer Programming, June 2020, Elsevier

    Patrizio Pelliccione

  46. INTERO: An Interoperability Model for Large Systems

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

    Patrizio Pelliccione

  47. Why and how to balance alignment and diversity of requirements engineering practices in automotive

    Article • Journal of Systems and Software, April 2020, Elsevier

    Patrizio Pelliccione

  48. Architecting and Analysing Connected Autonomous Vehicles

    Article • March 2020, Institute of Electrical & Electronics Engineers (IEEE)

    Patrizio Pelliccione

  49. Technical Architectures for Automotive Systems

    Article • March 2020, Institute of Electrical & Electronics Engineers (IEEE)

    Patrizio Pelliccione

  50. 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

  51. High-level mission specification for multiple robots

    Article • October 2019, ACM (Association for Computing Machinery)

    Patrizio Pelliccione

  52. The impact of requirements on systems development speed: a multiple-case study in automotive

    Article • Requirements Engineering, July 2019, Springer Science + Business Media

    Patrizio Pelliccione

  53. Software Architectures for Context-Aware Smart Systems

    Article • Information and Software Technology, July 2019, Elsevier

    Patrizio Pelliccione

  54. 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

  55. A Runtime Monitoring Framework to Enforce Invariants on Reinforcement Learning Agents Exploring Complex Environments

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

    Patrizio Pelliccione

  56. MAPmAKER: Performing Multi-Robot LTL Planning under Uncertainty

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

    Patrizio Pelliccione

  57. Managing safety and mission completion via collective run-time adaptation

    Article • Journal of Systems Architecture, May 2019, Elsevier

    Patrizio Pelliccione

  58. PsALM: Specification of Dependable Robotic Missions

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

    Patrizio Pelliccione

  59. Taming Uncertainty in the Assurance Process of Self-Adaptive Systems: a Goal-Oriented Approach

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

    Patrizio Pelliccione

  60. Boundary objects and their use in agile systems engineering

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

    Patrizio Pelliccione

  61. Introduction to the special issue on architecting autonomous and smart systems

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

    Patrizio Pelliccione

  62. Improving the Consistency and Usefulness of Architecture Descriptions: Guidelines for Architects

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

    Patrizio Pelliccione

  63. On Interfaces to Support Agile Architecting in Automotive: An Exploratory Case Study

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

    Patrizio Pelliccione

  64. Variability Modeling of Service Robots

    Article • February 2019, ACM (Association for Computing Machinery)

    Patrizio Pelliccione

  65. 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

  66. Report of the 1st International Workshop on Context-aware Autonomous and Smart Architectures (CASA@ECSA 2017)

    Article • ACM SIGSOFT Software Engineering Notes, December 2018, ACM (Association for Computing Machinery)

    Patrizio Pelliccione

  67. Collaborative traceability management: a multiple case study from the perspectives of organization, process, and culture

    Article • Requirements Engineering, November 2018, Springer Science + Business Media

    Patrizio Pelliccione

  68. The Manager Perspective on Requirements Impact on Automotive Systems Development Speed

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

    Patrizio Pelliccione

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

    Article • Information and Software Technology, June 2018, Elsevier

    Patrizio Pelliccione

  70. A learning approach to enhance assurances for real-time self-adaptive systems

    Article • May 2018, ACM (Association for Computing Machinery)

    Patrizio Pelliccione

  71. Keeping intelligence under control

    Article • May 2018, ACM (Association for Computing Machinery)

    Patrizio Pelliccione

  72. Property specification patterns for robotic missions

    Article • May 2018, ACM (Association for Computing Machinery)

    Patrizio Pelliccione

  73. Towards multi-robot applications planning under uncertainty

    Article • May 2018, ACM (Association for Computing Machinery)

    Patrizio Pelliccione

  74. Transparency and contracts

    Article • May 2018, ACM (Association for Computing Machinery)

    Patricia Lago, Patrizio Pelliccione

  75. Boundary objects in Agile practices

    Article • May 2018, ACM (Association for Computing Machinery)

    Patrizio Pelliccione

  76. An Architecture for Decentralized, Collaborative, and Autonomous Robots

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

    Patrizio Pelliccione

  77. Message from the ICSA 2018 Tutorials Chairs

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

    Patrizio Pelliccione

  78. MoVEMo: A Structured Approach for Engineering Reward Functions

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

    Patrizio Pelliccione

  79. Multi-robot LTL Planning Under Uncertainty

    Article • January 2018, Springer Science + Business Media

    Patrizio Pelliccione

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

    Article • January 2018, Springer Science + Business Media

    Patrizio Pelliccione

  81. An industrial case study on an architectural assumption documentation framework

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

    Patrizio Pelliccione

  82. Automotive Architecture Framework: The experience of Volvo Cars

    Article • Journal of Systems Architecture, June 2017, Elsevier

    Patrizio Pelliccione

  83. Engineering the software of robotic systems

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

    Patrizio Pelliccione

  84. Online Robustness Testing of Distributed Embedded Systems: An Industrial Approach

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

    Patrizio Pelliccione

  85. Welcome Message from the Program Chairs of ICSA 2017

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

    Patrizio Pelliccione

  86. 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

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

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

    Patrizio Pelliccione

  88. A Generated Property Specification Language for Resilient Multirobot Missions

    Article • January 2017, Springer Science + Business Media

    Patrizio Pelliccione

  89. Architectural Assumptions and Their Management in Industry – An Exploratory Study

    Article • January 2017, Springer Science + Business Media

    Patrizio Pelliccione

  90. Improving Robustness of AUTOSAR Software Components with Design by Contract: A Study Within Volvo AB

    Article • January 2017, Springer Science + Business Media

    Patrizio Pelliccione

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

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

    Patrizio Pelliccione

  92. Architecting cars as constituents of a system of systems

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

    Patrizio Pelliccione

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

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

    Patrizio Pelliccione

  94. Organic Evolution of Development Organizations - An Experience Report

    Article • April 2016, SAE International

    Patrizio Pelliccione

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

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

    Patrizio Pelliccione

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

    Article • January 2016, Springer Science + Business Media

    Patrizio Pelliccione

  97. 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

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

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

    Patrizio Pelliccione

  99. Continuous Integration Beyond the Team

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

    Patrizio Pelliccione

  100. Descriptive vs prescriptive models in industry

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

    Patrizio Pelliccione

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

    Article • January 2016, Springer Science + Business Media

    Patrizio Pelliccione

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

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

    Patrizio Pelliccione

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

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

    Patrizio Pelliccione

  104. 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

  105. 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

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

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

    Patrizio Pelliccione

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

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

    Patrizio Pelliccione

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

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

    Patrizio Pelliccione

  109. The Road Ahead for Architectural Languages

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

    Patrizio Pelliccione

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

    Article • January 2015, Springer Science + Business Media

    Patrizio Pelliccione

  111. Software Engineering for Resilient Systems

    Article • January 2015, Springer Science + Business Media

    Patrizio Pelliccione

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

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

    Patrizio Pelliccione

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

    Article • Information and Software Technology, April 2014, Elsevier

    Patrizio Pelliccione

  114. ModelLAND: Where Do Models Come from?

    Article • January 2014, Springer Science + Business Media

    Patrizio Pelliccione

  115. The Role of Parts in the System Behaviour

    Article • January 2014, Springer Science + Business Media

    Patrizio Pelliccione

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

    Article • January 2014, Springer Science + Business Media

    Patrizio Pelliccione

  117. What Industry Needs from Architectural Languages: A Survey

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

    Patrizio Pelliccione

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

    Article • January 2013, Springer Science + Business Media

    Patrizio Pelliccione

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

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

    Patrizio Pelliccione

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

    Article • January 2013, Springer Science + Business Media

    Patrizio Pelliccione

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

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

    Patrizio Pelliccione

  122. 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

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

    Article • January 2012, Springer Science + Business Media

    Patrizio Pelliccione

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

    Article • January 2012, Springer Science + Business Media

    Patrizio Pelliccione

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

    Article • January 2012, Springer Science + Business Media

    Patrizio Pelliccione

  126. Model-Driven Techniques to Enhance Architectural Languages Interoperability

    Article • January 2012, Springer Science + Business Media

    Patrizio Pelliccione

  127. Supporting software evolution in component-based FOSS systems

    Article • Science of Computer Programming, December 2011, Elsevier

    Patrizio Pelliccione

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

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

    Patrizio Pelliccione

  129. EAGLE

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

    Patrizio Pelliccione

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

    Article • January 2011, Springer Science + Business Media

    Patrizio Pelliccione

  131. Realizing architecture frameworks through megamodelling techniques

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

    Patrizio Pelliccione

  132. 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

  133. 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

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

    Article • January 2010, Springer Science + Business Media

    Patrizio Pelliccione

  135. Ad-opera

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

    Patrizio Pelliccione

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

    Article • January 2010, Springer Science + Business Media

    Patrizio Pelliccione

  137. Developing next generation ADLs through MDE techniques

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

    Patrizio Pelliccione

  138. Formal Analysis and Verification of Self-Healing Systems

    Article • January 2010, Springer Science + Business Media

    Patrizio Pelliccione

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

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

    Patrizio Pelliccione

  140. Self-Repairing systems modeling and verification using AGG

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

    Patrizio Pelliccione

  141. Automatic synthesis of behavior protocols for composable web-services

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

    Patrizio Pelliccione

  142. Towards a Framework for Distributed and Collaborative Modeling

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

    Patrizio Pelliccione

  143. 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

  144. Towards an assume-guarantee theory for adaptable systems

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

    Patrizio Pelliccione

  145. Model Checking

    Article • March 2009, Wiley

    Patrizio Pelliccione

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

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

    Patrizio Pelliccione

  147. 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

  148. Integrating AADL within a Multi-domain Modeling Framework

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

    Patrizio Pelliccione

  149. Towards maintainer script modernization in FOSS distributions

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

    Patrizio Pelliccione

  150. From Requirements to Java Code

    Article • January 2009, IGI Global

    Patrizio Pelliccione

  151. 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

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

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

    Patrizio Pelliccione

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

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

    Patrizio Pelliccione

  154. Simulating Software Architectures for Functional Analysis

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

    Patrizio Pelliccione

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

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

    Patrizio Pelliccione

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

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

    Patrizio Pelliccione

  157. INTRODUCTION

    Article • August 2007, World Scientific Pub Co Pte Lt

    Patrizio Pelliccione

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

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

    Patrizio Pelliccione

  159. Software Engineering of Fault Tolerant Systems

    Article • January 2007, World Scientific Pub Co Pte Lt

    Patrizio Pelliccione

  160. Architecting Fault Tolerant Systems

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

    Patrizio Pelliccione

  161. A Software Architecture for Reliable Collaborative Working Environments

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

    Patrizio Pelliccione

  162. EFTS 2007

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

    Patrizio Pelliccione

  163. EFTS 2007

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

    Patrizio Pelliccione

  164. Software Engineering of Fault Tolerant Systems

    Article • January 2007, World Scientific Pub Co Pte Lt

    Patrizio Pelliccione

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

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

    Patrizio Pelliccione

  166. A Practical Architecture-Centric Analysis Process

    Article • January 2006, Springer Science + Business Media

    Patrizio Pelliccione

  167. A scenario based notation for specifying temporal properties

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

    Patrizio Pelliccione

  168. Rapid System Development Via Product Line Architecture Implementation

    Article • January 2006, Springer Science + Business Media

    Patrizio Pelliccione, Mauro Caporuscio

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

    Article • January 2006, Springer Science + Business Media

    Patrizio Pelliccione

  170. The Fault-Tolerant Insulin Pump Therapy

    Article • January 2006, Springer Science + Business Media

    Patrizio Pelliccione

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

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

    Patrizio Pelliccione

  172. CHARMY

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

    Patrizio Pelliccione

  173. 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

  174. CHARMY

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

    Patrizio Pelliccione

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

    Article • January 2005, Springer Science + Business Media

    Patrizio Pelliccione

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

    Article • January 2005, Springer Science + Business Media

    Patrizio Pelliccione

  177. Formal Analysis of Architectural Patterns

    Article • January 2004, Springer Science + Business Media

    Patrizio Pelliccione

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

    Article • January 2004, Springer Science + Business Media

    Patrizio Pelliccione

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

    Article • January 2003, Springer Science + Business Media

    Patrizio Pelliccione

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

    Article • January 2003, Springer Science + Business Media

    Patrizio Pelliccione

  181. TowardsWeaving Software Architecture Models

    Article • Institute of Electrical & Electronics Engineers (IEEE)

    Patrizio Pelliccione

  182. DUALLY: Putting in Synergy UML 2.0 and ADLs

    Article • Institute of Electrical & Electronics Engineers (IEEE)

    Patrizio Pelliccione

  183. Automated check of architectural models consistency using SPIN

    Article • Institute of Electrical & Electronics Engineers (IEEE)

    Patrizio Pelliccione

  184. Compositional verification of middleware-based software architecture descriptions

    Article • Institute of Electrical & Electronics Engineers (IEEE)

    Patrizio Pelliccione