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. Lightweight-oriented classification using distillation learning and spatial information from tabular data

    Article • Applied Soft Computing, April 2026, Elsevier

    Phuong T. Nguyen, Patrizio Pelliccione

  4. Ethical Prompt Engineering for AI-driven SE: Evidence-informed Interaction-time Governance Roadmap to 2030

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

    Patrizio Pelliccione

  5. A decontextualized LLM-based safeguard technique for automated jailbreak mitigation

    Article • Information and Software Technology, March 2026, Elsevier

    Patrizio Pelliccione

  6. Reference Architecture for Autonomy and Adaptivity in Satellites

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

    Patrizio Pelliccione

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

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

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

    Patrizio Pelliccione

  9. TwinArch: A digital twin reference architecture

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

    Patrizio Pelliccione

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

  11. Large Language Models for Software Architecture Recovery from Source Code: Class Diagrams, Patterns, Styles, and Architecture-as-Code Views

    Article • January 2026, Elsevier

    Patrizio Pelliccione

  12. Extending FRET with SLEEC Rules: Formalization, Obligation Inference, and Monitoring

    Article • January 2026, Springer Science + Business Media

    Patrizio Pelliccione

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

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

    Patrizio Pelliccione

  14. Applications of AI in Space Domain

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

    Patrizio Pelliccione

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

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

  17. Different approaches for testing body sensor network applications

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

    Patrizio Pelliccione

  18. Software reconfiguration in robotics

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

    Patrizio Pelliccione

  19. Technical Credit

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

    Patrizio Pelliccione

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

    Article • Internet of Things, December 2024, Elsevier

    Patrizio Pelliccione

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

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

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

    Patrizio Pelliccione

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

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

  25. Continuous Compliance in the Automotive Industry

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

    Patrizio Pelliccione

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

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

    Patrizio Pelliccione

  27. Engineering Industry-Ready Anomaly Detection Algorithms

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

    Patrizio Pelliccione

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

  29. Insights From the Software Reliability Research Community

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

    Patrizio Pelliccione

  30. Modelling centralised automotive E/E software architectures

    Article • Advanced Engineering Informatics, January 2024, Elsevier

    Patrizio Pelliccione

  31. Do Modern Systems Require New Quality Dimensions?

    Article • January 2024, Springer Science + Business Media

    Patrizio Pelliccione

  32. Self-Adaptive Testing in the Field

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

    Patrizio Pelliccione

  33. Software Variability in Service Robots (Summary)

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

    Patrizio Pelliccione

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

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

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

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

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

    Article • January 2022, Springer Science + Business Media

    Patrizio Pelliccione

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

    Article • Robotics and Autonomous Systems, November 2021, Elsevier

    Antonis Argyros, Patrizio Pelliccione

  40. Specification Patterns for Robotic Missions

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

    Patrizio Pelliccione

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

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

    Article • January 2021, IGI Global

    Patrizio Pelliccione

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

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

    Patrizio Pelliccione

  44. Mind the gap

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

    Patrizio Pelliccione

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

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

    Patrizio Pelliccione

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

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

    Patrizio Pelliccione

  47. PROMISE

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

    Patrizio Pelliccione

  48. Real-world ethics for self-driving cars

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

    Patrizio Pelliccione

  49. Hey, my data are mine!

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

    Patrizio Pelliccione

  50. Beyond connected cars: A systems of systems perspective

    Article • Science of Computer Programming, June 2020, Elsevier

    Patrizio Pelliccione

  51. INTERO: An Interoperability Model for Large Systems

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

    Patrizio Pelliccione

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

  53. Architecting and Analysing Connected Autonomous Vehicles

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

    Patrizio Pelliccione

  54. Technical Architectures for Automotive Systems

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

    Patrizio Pelliccione

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

  56. High-level mission specification for multiple robots

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

    Patrizio Pelliccione

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

  58. Software Architectures for Context-Aware Smart Systems

    Article • Information and Software Technology, July 2019, Elsevier

    Patrizio Pelliccione

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

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

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

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

    Patrizio Pelliccione

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

    Article • Journal of Systems Architecture, May 2019, Elsevier

    Patrizio Pelliccione

  63. PsALM: Specification of Dependable Robotic Missions

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

    Patrizio Pelliccione

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

  65. Boundary objects and their use in agile systems engineering

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

    Patrizio Pelliccione

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

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

    Patrizio Pelliccione

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

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

    Patrizio Pelliccione

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

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

    Patrizio Pelliccione

  69. Variability Modeling of Service Robots

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

    Patrizio Pelliccione

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

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

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

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

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

    Patrizio Pelliccione

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

    Article • Information and Software Technology, June 2018, Elsevier

    Patrizio Pelliccione

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

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

    Patrizio Pelliccione

  76. Keeping intelligence under control

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

    Patrizio Pelliccione

  77. Property specification patterns for robotic missions

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

    Patrizio Pelliccione

  78. Towards multi-robot applications planning under uncertainty

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

    Patrizio Pelliccione

  79. Transparency and contracts

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

    Patricia Lago, Patrizio Pelliccione

  80. Boundary objects in Agile practices

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

    Patrizio Pelliccione

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

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

    Patrizio Pelliccione

  82. Message from the ICSA 2018 Tutorials Chairs

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

    Patrizio Pelliccione

  83. MoVEMo: A Structured Approach for Engineering Reward Functions

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

    Patrizio Pelliccione

  84. Multi-robot LTL Planning Under Uncertainty

    Article • January 2018, Springer Science + Business Media

    Patrizio Pelliccione

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

    Article • January 2018, Springer Science + Business Media

    Patrizio Pelliccione

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

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

    Patrizio Pelliccione

  87. Automotive Architecture Framework: The experience of Volvo Cars

    Article • Journal of Systems Architecture, June 2017, Elsevier

    Patrizio Pelliccione

  88. Engineering the software of robotic systems

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

    Patrizio Pelliccione

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

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

    Patrizio Pelliccione

  90. Welcome Message from the Program Chairs of ICSA 2017

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

    Patrizio Pelliccione

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

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

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

    Patrizio Pelliccione

  93. A Generated Property Specification Language for Resilient Multirobot Missions

    Article • January 2017, Springer Science + Business Media

    Patrizio Pelliccione

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

    Article • January 2017, Springer Science + Business Media

    Patrizio Pelliccione

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

    Article • January 2017, Springer Science + Business Media

    Patrizio Pelliccione

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

  97. Architecting cars as constituents of a system of systems

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

    Patrizio Pelliccione

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

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

    Patrizio Pelliccione

  99. Organic Evolution of Development Organizations - An Experience Report

    Article • April 2016, SAE International

    Patrizio Pelliccione

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

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

    Patrizio Pelliccione

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

    Article • January 2016, Springer Science + Business Media

    Patrizio Pelliccione

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

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

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

    Patrizio Pelliccione

  104. Continuous Integration Beyond the Team

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

    Patrizio Pelliccione

  105. Descriptive vs prescriptive models in industry

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

    Patrizio Pelliccione

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

    Article • January 2016, Springer Science + Business Media

    Patrizio Pelliccione

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

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

    Patrizio Pelliccione

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

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

    Patrizio Pelliccione

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

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

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

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

    Patrizio Pelliccione

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

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

    Patrizio Pelliccione

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

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

    Patrizio Pelliccione

  114. The Road Ahead for Architectural Languages

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

    Patrizio Pelliccione

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

    Article • January 2015, Springer Science + Business Media

    Patrizio Pelliccione

  116. Software Engineering for Resilient Systems

    Article • January 2015, Springer Science + Business Media

    Patrizio Pelliccione

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

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

    Patrizio Pelliccione

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

    Article • Information and Software Technology, April 2014, Elsevier

    Patrizio Pelliccione

  119. ModelLAND: Where Do Models Come from?

    Article • January 2014, Springer Science + Business Media

    Patrizio Pelliccione

  120. The Role of Parts in the System Behaviour

    Article • January 2014, Springer Science + Business Media

    Patrizio Pelliccione

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

    Article • January 2014, Springer Science + Business Media

    Patrizio Pelliccione

  122. What Industry Needs from Architectural Languages: A Survey

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

    Patrizio Pelliccione

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

    Article • January 2013, Springer Science + Business Media

    Patrizio Pelliccione

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

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

    Patrizio Pelliccione

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

    Article • January 2013, Springer Science + Business Media

    Patrizio Pelliccione

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

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

    Patrizio Pelliccione

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

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

    Article • January 2012, Springer Science + Business Media

    Patrizio Pelliccione

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

    Article • January 2012, Springer Science + Business Media

    Patrizio Pelliccione

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

    Article • January 2012, Springer Science + Business Media

    Patrizio Pelliccione

  131. Model-Driven Techniques to Enhance Architectural Languages Interoperability

    Article • January 2012, Springer Science + Business Media

    Patrizio Pelliccione

  132. Supporting software evolution in component-based FOSS systems

    Article • Science of Computer Programming, December 2011, Elsevier

    Patrizio Pelliccione

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

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

    Patrizio Pelliccione

  134. EAGLE

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

    Patrizio Pelliccione

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

    Article • January 2011, Springer Science + Business Media

    Patrizio Pelliccione

  136. Realizing architecture frameworks through megamodelling techniques

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

    Patrizio Pelliccione

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

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

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

    Article • January 2010, Springer Science + Business Media

    Patrizio Pelliccione

  140. Ad-opera

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

    Patrizio Pelliccione

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

    Article • January 2010, Springer Science + Business Media

    Patrizio Pelliccione

  142. Developing next generation ADLs through MDE techniques

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

    Patrizio Pelliccione

  143. Formal Analysis and Verification of Self-Healing Systems

    Article • January 2010, Springer Science + Business Media

    Patrizio Pelliccione

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

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

    Patrizio Pelliccione

  145. Self-Repairing systems modeling and verification using AGG

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

    Patrizio Pelliccione

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

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

    Patrizio Pelliccione

  147. Towards a Framework for Distributed and Collaborative Modeling

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

    Patrizio Pelliccione

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

  149. Towards an assume-guarantee theory for adaptable systems

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

    Patrizio Pelliccione

  150. Model Checking

    Article • March 2009, Wiley

    Patrizio Pelliccione

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

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

    Patrizio Pelliccione

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

  153. Integrating AADL within a Multi-domain Modeling Framework

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

    Patrizio Pelliccione

  154. Towards maintainer script modernization in FOSS distributions

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

    Patrizio Pelliccione

  155. From Requirements to Java Code

    Article • January 2009, IGI Global

    Patrizio Pelliccione

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

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

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

    Patrizio Pelliccione

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

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

    Patrizio Pelliccione

  159. Simulating Software Architectures for Functional Analysis

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

    Patrizio Pelliccione

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

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

    Patrizio Pelliccione

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

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

    Patrizio Pelliccione

  162. INTRODUCTION

    Article • August 2007, World Scientific Pub Co Pte Lt

    Patrizio Pelliccione

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

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

    Patrizio Pelliccione

  164. Software Engineering of Fault Tolerant Systems

    Article • January 2007, World Scientific Pub Co Pte Lt

    Patrizio Pelliccione

  165. Architecting Fault Tolerant Systems

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

    Patrizio Pelliccione

  166. A Software Architecture for Reliable Collaborative Working Environments

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

    Patrizio Pelliccione

  167. EFTS 2007

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

    Patrizio Pelliccione

  168. EFTS 2007

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

    Patrizio Pelliccione

  169. Software Engineering of Fault Tolerant Systems

    Article • January 2007, World Scientific Pub Co Pte Lt

    Patrizio Pelliccione

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

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

    Patrizio Pelliccione

  171. A Practical Architecture-Centric Analysis Process

    Article • January 2006, Springer Science + Business Media

    Patrizio Pelliccione

  172. A scenario based notation for specifying temporal properties

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

    Patrizio Pelliccione

  173. Rapid System Development Via Product Line Architecture Implementation

    Article • January 2006, Springer Science + Business Media

    Patrizio Pelliccione, Mauro Caporuscio

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

    Article • January 2006, Springer Science + Business Media

    Patrizio Pelliccione

  175. The Fault-Tolerant Insulin Pump Therapy

    Article • January 2006, Springer Science + Business Media

    Patrizio Pelliccione

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

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

    Patrizio Pelliccione

  177. CHARMY

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

    Patrizio Pelliccione

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

  179. CHARMY

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

    Patrizio Pelliccione

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

    Article • January 2005, Springer Science + Business Media

    Patrizio Pelliccione

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

    Article • January 2005, Springer Science + Business Media

    Patrizio Pelliccione

  182. Formal Analysis of Architectural Patterns

    Article • January 2004, Springer Science + Business Media

    Patrizio Pelliccione

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

    Article • January 2004, Springer Science + Business Media

    Patrizio Pelliccione

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

    Article • January 2003, Springer Science + Business Media

    Patrizio Pelliccione

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

    Article • January 2003, Springer Science + Business Media

    Patrizio Pelliccione

  186. TowardsWeaving Software Architecture Models

    Article • Institute of Electrical & Electronics Engineers (IEEE)

    Patrizio Pelliccione

  187. DUALLY: Putting in Synergy UML 2.0 and ADLs

    Article • Institute of Electrical & Electronics Engineers (IEEE)

    Patrizio Pelliccione

  188. Automated check of architectural models consistency using SPIN

    Article • Institute of Electrical & Electronics Engineers (IEEE)

    Patrizio Pelliccione

  189. Compositional verification of middleware-based software architecture descriptions

    Article • Institute of Electrical & Electronics Engineers (IEEE)

    Patrizio Pelliccione