Patrizio Pelliccione

Registered user since Thu 5 May 2016

Name: Patrizio Pelliccione

Bio: Patrizio Pelliccione (male) is an Associate Professor at DISIM - University of L’Aquila and an Associate Professor at the Department of Computer Science and Engineering at Chalmers | University of Gothenburg. He got his PhD in 2005 at the University of L’Aquila (Italy) and from February 1, 2014 he is Docent in Software Engineering, title given by the University of Gothenburg. His research topics are mainly in software engineering, software architectures modelling and verification, autonomous systems, and formal methods. He has co-authored more than 120 publications in journals and international conferences and workshops in these topics. He has been on the program committees for several top conferences, he is a reviewer for top journals in the software engineering domain, and he organized as program chair international conferences like ICSA2017 and FormaliSE 2018. He is very active in European and National projects. He is the PI for Co4Robots H2020 EU project for the University of Gothenburg. In his research activity he has collaborated with several industries such as Volvo Cars, Volvo AB, Ericsson, Jeppesen, Axis communication, Systemite AB, Thales Italia, Selex Marconi telecommunications, Siemens, Saab, TERMA, etc. More information is available at

Country: Italy

Affiliation: Chalmers | University of Gothenburg and University of L’Aquila

Personal website:

Research interests: Software architecture, autonomous systems, verification


FormaliSE 2020PC Member in Program Committee within the FormaliSE 2020-track
SEAMS 2020Committee Member in Program Committee within the SEAMS 2020-track
Committee Member in Artifact Program Committee within the SEAMS 2020-track
SLE 2019Author of Higher-Level Mission Specification for Multiple Robots within the SLE 2019-track
FormaliSE 2019Committee Member in Program Committee within the FormaliSE 2019-track
SEAMS 2019Program Committee in Program Committee within the SEAMS 2019-track
Author of PiStarGODA-MDP: A Goal-Oriented Framework to Support Assurances Provision within the SEAMS 2019-track
Author of Taming Uncertainty in the Assurance Process of Self-Adaptive Systems: a Goal-Oriented Approach within the SEAMS 2019-track
ICSE 2020Programme Committee in Program Committee within the Technical Papers-track
FormaliSE 2018PC co-chair in Program Committee within the FormaliSE 2018-track
Session Chair of Welcome (part of FormaliSE 2018)
ICSE 2019Author of PsALM: Specification of Dependable Robotic Missions within the Demonstrations-track
Committee Member in Program Committee within the ACM Student Research Competition-track
SEAMS 2018Committee Member in Artifact Evaluation Committee within the SEAMS 2018-track
Session Chair of Agents & Distribution (part of SEAMS 2018)
Author of A Learning Approach to Enhance Assurances for Real-Time Self-Adaptive Systems within the SEAMS 2018-track
* ICSE 2018 *Author of Poster F51: Property Specification Patterns for Robotic Missions within the Posters -track
Committee Member in Program Committee within the SRC - ACM Student Research Competition -track
Author of Poster F18: Boundary Objects in Agile Practices: Continuous Management of Systems Engineering Artifacts in the Automotive Domain within the Posters -track
Proceedings Chair in Organizing committee
Author of Poster F53: Towards Multi-Robot Applications Planning Under Uncertainty within the Posters -track
Author of Transparency and Contracts: Continuous Integration and Delivery in the Automotive Ecosystem within the SEIP - Software Engineering in Practice-track