Formal Verification of the On-the-Fly Vehicle Platooning Protocol. - Piergiuseppe Mallozzi; Massimo Sciancalepore; Patrizio Pelliccione (SERENE, 2016)

PVSio-web: mathematically based tool support for the design of interactive and interoperable medical systems. - Paolo Masci 001; Patrick Oladimeji; Piergiuseppe Mallozzi; Paul Curzon; Harold Thimbleby (EAI Endorsed Trans. Collab. Comput., 2016)

Combining machine-learning with invariants assurance techniques for autonomous systems. - Piergiuseppe Mallozzi (ICSE (Companion Volume), 2017)

Automotive Architecture Framework: The experience of Volvo Cars. - Patrizio Pelliccione; Eric Knauss; Rogardt Heldal; Magnus Ågren 001; Piergiuseppe Mallozzi; Anders Alminger; Daniel Borgentun (J. Syst. Archit., 2017)

Keeping intelligence under control. - Piergiuseppe Mallozzi; Patrizio Pelliccione; Claudio Menghi (SE4COG@ICSE, 2018)

MoVEMo: A Structured Approach for Engineering Reward Functions. - Piergiuseppe Mallozzi; Raúl Pardo; Vincent Duplessis; Patrizio Pelliccione; Gerardo Schneider (IRC, 2018)

Autonomous Vehicles: State of the Art, Future Trends, and Challenges. - Piergiuseppe Mallozzi; Patrizio Pelliccione; Alessia Knauss; Christian Berger 001; Nasser Mohammadiha (Automotive Systems and Software Engineering, 2019)

A runtime monitoring framework to enforce invariants on reinforcement learning agents exploring complex environments. - Piergiuseppe Mallozzi; Ezequiel Castellano; Patrizio Pelliccione; Gerardo Schneider; Kenji Tei (RoSE@ICSE, 2019)

CROME: Contract-Based Robotic Mission Specification. - Piergiuseppe Mallozzi; Pierluigi Nuzzo 002; Patrizio Pelliccione; Gerardo Schneider (MEMOCODE, 2020)

Incremental Refinement of Goal Models with Contracts. - Piergiuseppe Mallozzi; Pierluigi Nuzzo 002; Patrizio Pelliccione (FSEN, 2021)

Contract-Based Specification Refinement and Repair for Mission Planning. - Piergiuseppe Mallozzi; Inigo Incer; Pierluigi Nuzzo 002; Alberto L. Sangiovanni-Vincentelli (FormaliSE, 2023)

A Grammar for the Representation of Unmanned Aerial Vehicles with 3D Topologies. - Piergiuseppe Mallozzi; Hussein Sibai; Inigo Incer; Sanjit A. Seshia; Alberto L. Sangiovanni-Vincentelli (CoRR, 2023)

Pacti: Scaling Assume-Guarantee Reasoning for System Analysis and Design. - Inigo Incer; Apurva Badithela; Josefine Graebener; Piergiuseppe Mallozzi; Ayush Pandey; Sheng-Jung Yu; Albert Benveniste; Benoît Caillaud; Richard M. Murray; Alberto L. Sangiovanni-Vincentelli; Sanjit A. Seshia (CoRR, 2023)

Correct-by-Construction Design of Contextual Robotic Missions Using Contracts. - Piergiuseppe Mallozzi; Nir Piterman; Pierluigi Nuzzo 002; Gerardo Schneider; Patrizio Pelliccione (CoRR, 2023)

Deploying ZKP Frameworks with Real-World Data: Challenges and Proposed Solutions. - Piergiuseppe Mallozzi (CoRR, 2023)

Pacti: Assume-Guarantee Contracts for Efficient Compositional Analysis and Design. - Inigo Incer; Apurva Badithela; Josefine B. Graebener; Piergiuseppe Mallozzi; Ayush Pandey; Nicolas Rouquette; Sheng-Jung Yu; Albert Benveniste; Benoît Caillaud; Richard M. Murray; Alberto L. Sangiovanni-Vincentelli; Sanjit A. Seshia (ACM Trans. Cyber Phys. Syst., 2025)