Patrizio Pelliccione

Associate Professor (Docent in Software Engineering) at the
Chalmers University of Technology and University of Gothenburg, Sweden
Department of Computer Science and Engineering

Assistant Professor (on leave) at the
University of L'Aquila, Italy
Department of Information Engineering, Computer Science and Mathematics

Member of the Center of excellence DEWS.


Coming events

The 38th International Conference on Software Engineering ( ICSE 2016) - Austin, TX, May 14 - 22, 2016.

The 37th International Conference on Software Engineering ( ICSE 2015) - May 16-24, 2015 Firenze, Italy.

The 30th IEEE/ACM International Conference on Automated Software Engineering ( ASE 2015) - November 9–13, 2015, Lincoln, Nebraska.

The 12th Working IEEE / IFIP Conference on Software Architecture ( WICSA 2015) - 4–8 May 2015 : Montréal, Canada.

10th International Symposium on Software Engineering for Adaptive and Self-Managing Systems ( SEAMS 2015) - May 18–19, 2015, Firenze, Italy.

Main research areas of interest

Moving formal methods from theory to practice in software architecture modelling and verification.


Charmy is a practical framework to iteratively modelling and evaluating software architectures. Charmy makes use of model checkers while hiding any complexity to final users.
PSC (Property Sequence Chart) is a graphical language for describing temporal properties. This language is the result of an accurate analysis in the direction of finding the "right" balance between expressive power and simplicity of use.


What are the architectural description needs of practitioners? What features typically supported by existing architectural languages are useful (or not useful) for the software industry? Find an aswer here.
ByADL (Build Your ADL) is a framework that exploits model-driven techniques for extending and customizing existing Architecture Description Languages (ADLs).


The current practice of software architecture modeling and analysis would benefit of using different architectural languages, each specialized on a particular view and each enabling specific analysis. Dually is a framework that supports the automatic propagation of changes among different notations and tools.
Other results on architectural languages interoperability might be found here and here.

Selected publications

Marco Autili, Lars Grunske, Markus Lumpe, Patrizio Pelliccione, Antony Tang (2015) Aligning Qualitative, Real-Time, and Probabilistic Property Specification Patterns Using a Structured English Grammar IEEE Transactions on Software Engineering To appear.

Ivano Malavolta, Patricia Lago, Henry Muccini, Patrizio Pelliccione, Antony Tang (2013) What Industry Needs from Architectural Languages : A Survey IEEE Transactions on Software Engineering 39: 6. 869-891

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

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

Patricia Lago, Ivano Malavolta, Henry Muccini, Patrizio Pelliccione, Antony Tang (2014) The Road Ahead for Architectural Languages IEEE Software

Davide Di Ruscio and Patrizio Pelliccione (2014) Simulating upgrades of complex systems: the case of Free and Open Source Software Information and Software Technology Volume 56, Issue 4, April 2014, Pages 438–462.

Davide Di Ruscio and Patrizio Pelliccione (2015) A model-driven approach to detect faults in FOSS systems Journal of Software: Evolution and Process, John Wiley and Sons, Ltd. To Appear.

M Autili, P Inverardi, P Pelliccione (2007) Graphical scenarios for specifying temporal properties : an automated approach Automated Software Engg. 14: 3. 293-340

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

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

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

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

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

Davide Di Ruscio, Ivano Malavolta, Henry Muccini, Patrizio Pelliccione, Alfonso Pierantonio (2010) Developing next generation ADLs through MDE techniques In: Proceedings of the 32nd ACM/IEEE International Conference on Software Engineering (ICSE 2010) - Volume 1 85-94 New York, NY, USA: ACM

Mauro Caporuscio, Paola Inverardi, Patrizio Pelliccione (2004) Compositional Verification of Middleware-Based Software Architecture Descriptions In: International Conference on Software Engineering (ICSE 2004) 221-230 Los Alamitos, CA, USA: IEEE Computer Society

Paola Inverardi, Marco Autili, Davide Di Ruscio, Patrizio Pelliccione, Massimo Tivoli (2013) Producing Software by Integration : Challenges and Research Directions (Keynote) In: ESEC/FSE’13 : Joint Meeting of the European Software Engineering Conference and the ACM SIGSOFT Symposium on the Foundations of Software Engineering

Antonia Bertolino, Paola Inverardi, Patrizio Pelliccione, Massimo Tivoli (2009) Automatic Synthesis of Behavior Protocols for Composable web-services In: Proceedings of The 7th joint meeting of the European Software Engineering Conference (ESEC) and the ACM SIGSOFT Symposium on the Foundations of Software Engineering (FSE)

Hartmut Ehrig, Claudia Ermel, Olga Runge, Antonio Bucchiarone, Patrizio Pelliccione (2010) Formal analysis and verification of self-healing systems In: Proceedings of the 13th international conference on Fundamental Approaches to Software Engineering (FASE 2010)139-153 Berlin, Heidelberg: Springer-Verlag



imProvements of industrial Real time Embedded SysTems development prOcess
EU Artemis project (April 2011 – ).


An Open-source platform for Mission Planning of Autonomous Quadrotors
Winner of the grant: "20 talenti per l’Italia", Working Capital 2012 of Telecom Italia (November 2012 – ).

TURN 2.0

Realizing a platform to promote "social" tourism in Abruzzo
Italian, Regione Abruzzo - POR FESR 2007-2013 (2012 - ).


Managing the Complexity of the Open Source Infrastructure
EU FP7 (February 2008 – May 2011).


Professional Peer Environment beYond Edge computing
EU FP6 (May 2006 – May 2008).


Emergent Connectors for Eternal Software Intensive Networkd Systems
EU FP7 FET (2009 - 2012).


Dependable Adaptable Software Architectures for Pervasive Computing
Italian MIUR Prin 2007 (2008 - 2010).


Adaptive Infrastructures for decentralised organizations
Italian MiUR FIRB 2005 (2005 - 2007).


rigorous stepwise development of Complex Fault tOlerant DistRibuted Systems: from ARchitEctural DesCription to Java ImplemenTation
Luxembourgish (2004 - 2007).



is tool which allows the specification of a software system SA through diagrammatic, UML-based notations, and the validation of the architectural specification conformance with respect to certain functional requirements. Model checking techniques are used to check the consistency between the software architecture and the functional requirements.

Property Sequence Charts (PSC)

PSC is a simple but expressive graphical formalism for specifying temporal properties. Two are the main requirements of PSC, simplicity and expressiveness.


Dually is a framework to create interoperability among ADLs themselves as well as UML. Dually allows architects to transform concepts of an architectural model into semantically equivalent concepts in other architectural models. Dually is implemented as an Eclipse plugin.

ByADL, Build Your ADL

is a framework for developing next generation ADLs according to their evolved requirements. With byADL, an existing ADL can be extended with (i) domain specific concerns, (ii) analysis notations, (iii) new architectural views, and (iv) methodologies and processes that support other life-cycle activities.


is an infrastructure for realizing architecture frameworks. It builds upon the conceptual foundations of ISO/IEC 42010 for architecture description. MEGAF is realized through megamodeling techniques.


(EVolution of free and Open Source Software) promotes the simulation of upgrades to predict failures before affecting the real system, thus improving over the state of the art of package managers.

Other interests


Find my photos here: Flickr account.


I absolutely love running!

Want to collaborate? Get in touch!

Chalmers University of Technology and University of Gothenburg: patrizio[At]
University of L'Aquila: patrizio.pelliccione[At]
Personal email: patrizio.pelliccione[At]

4th floor of the Jupiter building, room 482,
Hörselgången 11 (or 5), Lindholmen, Gothenburg - Sweden.

Find me on ...