Patrizio Pelliccione

Maurice H. ter Beek, Henry Muccini, Patrizio Pelliccione: Guaranteeing Correct Evolution of Software Product Lines. ERCIM News 2012(88) (2012)

Davide Di Ruscio, Patrizio Pelliccione, Alfonso Pierantonio: Managing the Evolution of FOSS Systems. ERCIM News 2012(88) (2012)

Marco Autili, Paola Inverardi, Patrizio Pelliccione, Massimo Tivoli: Developing highly complex distributed systems: a software engineering perspective. J. Internet Services and Applications 3(1): 15-22 (2012)

Romina Eramo, Ivano Malavolta, Henry Muccini, Patrizio Pelliccione, Alfonso Pierantonio: A model-driven approach to automate the propagation of changes among Architecture Description Languages. Software and System Modeling 11(1): 29-53 (2012)

Davide Di Ruscio, Ivano Malavolta, Henry Muccini, Patrizio Pelliccione, Alfonso Pierantonio: Model-Driven Techniques to Enhance Architectural Languages Interoperability. FASE 2012: 26-42

Davide Di Ruscio, Patrizio Pelliccione, Alfonso Pierantonio: EVOSS: A tool for managing the evolution of free and open source software systems. ICSE 2012: 1415-1418

Maik Merten, Falk Howar, Bernhard Steffen, Patrizio Pelliccione, Massimo Tivoli: Automated Inference of Models for Black Box Systems Based on Interface Descriptions. ISoLA (1) 2012: 79-96

Marco Autili, Vittorio Cortellessa, Davide Di Ruscio, Paola Inverardi, Patrizio Pelliccione, Massimo Tivoli: Integration Architecture Synthesis for Taming Uncertainty in the Digital Space. Monterey Workshop 2012: 118-131

Maurice H. ter Beek, Henry Muccini, Patrizio Pelliccione: Assume-Guarantee Testing of Evolving Software Product Line Architectures. SERENE 2012: 91-105

Rich Hilliard, Ivano Malavolta, Henry Muccini, Patrizio Pelliccione: On the Composition and Reuse of Viewpoints across Architecture Frameworks. WICSA/ECSA 2012: 131-140

Roberto Di Cosmo, Davide Di Ruscio, Patrizio Pelliccione, Alfonso Pierantonio, Stefano Zacchiroli: Supporting software evolution in component-based FOSS systems. Sci. Comput. Program. 76(12): 1144-1160 (2011)

Maurice H. ter Beek, Henry Muccini, Patrizio Pelliccione: Guaranteeing Correct Evolution of Software Product Lines: Setting Up the Problem. SERENE 2011: 100-105

Marco Autili, Vittorio Cortellessa, Davide Di Ruscio, Paola Inverardi, Patrizio Pelliccione, Massimo Tivoli: EAGLE: engineering software in the ubiquitous globe by leveraging uncErtainty. SIGSOFT FSE 2011: 488-491

Ivano Malavolta, Henry Muccini, Patrizio Pelliccione, Damien A. Tamburri: Providing Architectural Languages and Tools Interoperability through Model Transformation Technologies. IEEE Trans. Software Eng. 36(1): 119-140 (2010)

Davide Di Ruscio, Ivano Malavolta, Henry Muccini, Patrizio Pelliccione, Alfonso Pierantonio: ByADL: An MDE Framework for Building Extensible Architecture Description Languages. ECSA 2010: 527-531

Hartmut Ehrig, Claudia Ermel, Olga Runge, Antonio Bucchiarone, Patrizio Pelliccione: Formal Analysis and Verification of Self-Healing Systems. FASE 2010: 139-153

Davide Di Ruscio, Ivano Malavolta, Henry Muccini, Patrizio Pelliccione, Alfonso Pierantonio: Developing next generation ADLs through MDE techniques. ICSE (1) 2010: 85-94

Rich Hilliard, Ivano Malavolta, Henry Muccini, Patrizio Pelliccione: Realizing architecture frameworks through megamodelling techniques. ASE 2010: 305-308

Alessio Gabriele, Michelangelo Lupone, Paola Inverardi, Patrizio Pelliccione: Ad-opera: music-inspired self-adaptive systems. FoSER 2010: 119-124

Patrizio Pelliccione, Henry Muccini, Nicolas Guelfi, Alexander Romanovsky: An Introduction to Software Engineering and Fault Tolerance. CoRR abs/1011.1551 (2010)

Alfredo Capozucca, Nicolas Guelfi, Patrizio Pelliccione, Alexander Romanovsky, Avelino Francisco Zorzo: Frameworks for designing and implementing dependable systems using Coordinated Atomic Actions: A comparative study. Journal of Systems and Software 82(2): 207-228 (2009)

Juan A. Botía Blaya, Isabelle M. Demeure, Paolo Gianrossi, Pedro García López, Juan Antonio Martínez Navarro, Eike Michael Meyer, Patrizio Pelliccione, Frédérique Tastet-Cherel: POPEYE: providing collaborative services for ad hoc and spontaneous communities. Service Oriented Computing and Applications 3(1): 25-45 (2009)

Patrizio Pelliccione, Paola Inverardi, Henry Muccini: CHARMY: A Framework for Designing and Verifying Architectural Specifications. IEEE Trans. Software Eng. 35(3): 325-346 (2009)

Antonio Cicchetti, Davide Di Ruscio, Patrizio Pelliccione, Alfonso Pierantonio, Stefano Zacchiroli: Towards a Model Driven Approach to Upgrade Complex Software Systems. ENASE 2009: 121-133

Ivano Malavolta, Henry Muccini, Patrizio Pelliccione: Integrating AADL within a Multi-domain Modeling Framework. ICECCS 2009: 341-346

Paola Inverardi, Patrizio Pelliccione, Massimo Tivoli: Towards an assume-guarantee theory for adaptable systems. SEAMS 2009: 106-115

Antonia Bertolino, Paola Inverardi, Patrizio Pelliccione, Massimo Tivoli: Automatic synthesis of behavior protocols for composable web-services. ESEC/SIGSOFT FSE 2009: 141-150

Antonio Cicchetti, Henry Muccini, Patrizio Pelliccione, Alfonso Pierantonio: Towards a Framework for Distributed and Collaborative Modeling. WETICE 2009: 149-154

Antonio Bucchiarone, Patrizio Pelliccione, Charlie Vattani, Olga Runge: Self-Repairing systems modeling and verification using AGG. WICSA/ECSA 2009: 181-190

Davide Di Ruscio, Patrizio Pelliccione, Alfonso Pierantonio, Stefano Zacchiroli: Towards maintainer script modernization in FOSS distributions. CoRR abs/0909.5087 (2009)

Antonio Bucchiarone, Davide Di Ruscio, Henry Muccini, Patrizio Pelliccione: From Requirements to code: an Architecture-centric Approach for producing Quality Systems. CoRR abs/0910.0493 (2009)

Nicolas Guelfi, Henry Muccini, Patrizio Pelliccione, Alexander Romanovsky: Special issue: Engineering Fault Tolerant Systems. Comput. Syst. Sci. Eng. 23(5) (2008)

Marco Autili, Patrizio Pelliccione: Towards a Graphical Tool for Refining User to System Requirements. Electr. Notes Theor. Comput. Sci. 211: 147-157 (2008)

Patrizio Pelliccione, Massimo Tivoli, Antonio Bucchiarone, Andrea Polini: An architectural approach to the correct and automatic assembly of evolving component-based systems. Journal of Systems and Software 81(12): 2237-2251 (2008)

Ivano Malavolta, Henry Muccini, Patrizio Pelliccione: DUALLY: A framework for Architectural Languages and Tools Interoperability. ASE 2008: 483-484

Henry Muccini, Patrizio Pelliccione: Simulating Software Architectures for Functional Analysis. WICSA 2008: 289-292

Doron Peled, Patrizio Pelliccione, Paola Spoletini: Model Checking. Wiley Encyclopedia of Computer Science and Engineering 2008

Nicolas Guelfi, Henry Muccini, Patrizio Pelliccione, Alexander Romanovsky (Eds.): SERENE 2008, RISE/EFTS Joint International Workshop on Software Engineering for REsilient SystEms, Newcastle Upon Tyne, UK, November 17-19, 2008. ACM 2008, isbn 978-1-60558-275-7

Marco Autili, Paola Inverardi, Patrizio Pelliccione: Graphical scenarios for specifying temporal properties: an automated approach. Autom. Softw. Eng. 14(3): 293-340 (2007)

Antonio Bucchiarone, Henry Muccini, Patrizio Pelliccione: Architecting Fault-tolerant Component-based Systems: from requirements to testing. Electr. Notes Theor. Comput. Sci. 168: 77-90 (2007)

Marcel Arrufat, Hoa Dung Ha Duong, Christian Melchiorre, Eike Michael Meyer, Ignacio Nieto, Patrizio Pelliccione, Frédérique Tastet-Cherel: POPEYE: A simple and reliable collaborative working environment over mobile ad-hoc networks. CollaborateCom 2007: 399-407

Nicolas Guelfi, Henry Muccini, Patrizio Pelliccione, Alexander Romanovsky: EFTS 2007: the 2nd international workshop on engineering fault tolerant systems. ESEC/SIGSOFT FSE 2007: 617-618

Nicolas Guelfi, Henry Muccini, Patrizio Pelliccione, Alexander Romanovsky: EFTS 2007: the 2^nd international workshop on engineering fault tolerant systems. ESEC/SIGSOFT FSE (Companion) 2007: 617-618

Hoa Dung Ha Duong, Christian Melchiorre, Eike Michael Meyer, Ignacio Nieto, Gerard París, Patrizio Pelliccione, Frédérique Tastet-Cherel: A Software Architecture for Reliable Collaborative Working Environments. WETICE 2007: 176-177

Henry Muccini, Patrizio Pelliccione, Alexander Romanovsky: Architecting Fault Tolerant Systems. WICSA 2007: 43

Nicolas Guelfi, Henry Muccini, Patrizio Pelliccione, Alexander Romanovsky (Eds.): Proceedings of the 2007 Workshop on Engineering Fault Tolerant Systems, EFTS 2007, Dubrovnik, Croatia, September 4, 2007. ACM 2007, isbn 978-1-59593-725-4

Daniela Colangelo, Daniele Compare, Paola Inverardi, Patrizio Pelliccione: Reducing Software Architecture Models Complexity: A Slicing and Abstraction Approach. FORTE 2006: 243-258

Alfredo Capozucca, Nicolas Guelfi, Patrizio Pelliccione, Alexander Romanovsky, Avelino F. Zorzo: CAA-DRIP: a framework for implementing Coordinated Atomic Actions. ISSRE 2006: 385-394

Antonio Bucchiarone, Andrea Polini, Patrizio Pelliccione, Massimo Tivoli: Towards an architectural approach for the dynamic and automatic composition of software components. ROSATEA 2006: 12-21

Davide Di Ruscio, Henry Muccini, Alfonso Pierantonio, Patrizio Pelliccione: TowardsWeaving Software Architecture Models. MDB/MOMPES 2006: 103-112

Antonio Bucchiarone, Henry Muccini, Patrizio Pelliccione: A Practical Architecture-Centric Analysis Process. QoSA 2006: 127-144

Alfredo Capozucca, Nicolas Guelfi, Patrizio Pelliccione: The Fault-Tolerant Insulin Pump Therapy. RODIN Book 2006: 59-79

Marco Autili, Paola Inverardi, Patrizio Pelliccione: A scenario based notation for specifying temporal properties. SCESM 2006: 21-28

Vittorio Cortellessa, Antinisca Di Marco, Paola Inverardi, Fabio Mancinelli, Patrizio Pelliccione: A Framework for the Integration of Functional and Non-functional Analysis of Software Architectures. Electr. Notes Theor. Comput. Sci. 116: 31-44 (2005)

Patrizio Pelliccione, Henry Muccini, Antonio Bucchiarone, Fabrizio Facchini: TeStor: Deriving Test Sequences from Model-Based Specifications. CBSE 2005: 267-282

Mauro Caporuscio, Davide Di Ruscio, Paola Inverardi, Patrizio Pelliccione, Alfonso Pierantonio: Engineering MDA into Compositional Reasoning for Analyzing Middleware-Based Applications. EWSA 2005: 130-145

Mauro Caporuscio, Henry Muccini, Patrizio Pelliccione, Ezio Di Nisio: Rapid System Development Via Product Line Architecture Implementation. RISE 2005: 18-33

Paola Inverardi, Henry Muccini, Patrizio Pelliccione: CHARMY: an extensible tool for architectural analysis. ESEC/SIGSOFT FSE 2005: 111-114

Paola Inverardi, Henry Muccini, Patrizio Pelliccione: DUALLY: Putting in Synergy UML 2.0 and ADLs. WICSA 2005: 251-252

Mauro Caporuscio, Paola Inverardi, Patrizio Pelliccione: Formal Analysis of Architectural Patterns. EWSA 2004: 10-24

Antonio Bucchiarone, Henry Muccini, Patrizio Pelliccione, P. Pierini: Model-Checking Plus Testing: From Software Architecture Analysis to Code Testing. FORTE Workshops 2004: 351-365

Mauro Caporuscio, Paola Inverardi, Patrizio Pelliccione: Compositional Verification of Middleware-Based Software Architecture Descriptions. ICSE 2004: 221-230

Daniele Compare, Paola Inverardi, Patrizio Pelliccione, Alessandra Sebastiani: Integrating Model-Checking Architectural Analysis and Validation in a Real Software Life-Cycle. FME 2003: 114-132

Paola Inverardi, Fabio Mancinelli, Henry Muccini, Patrizio Pelliccione: An Experience in Architectural Extensions: Active Objects in J2EE. FIDJI 2002: 87-98

Paola Inverardi, Henry Muccini, Patrizio Pelliccione: Automated Check of Architectural Models Consistency Using SPIN. ASE 2001: 346-349