Piergiuseppe Mallozzi

According to our database, Piergiuseppe Mallozzi authored at least 15 papers between 2016 and 2023.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2023

Deploying ZKP Frameworks with Real-World Data: Challenges and Proposed Solutions.

Piergiuseppe Mallozzi

CoRR, 2023

Correct-by-Construction Design of Contextual Robotic Missions Using Contracts.

Piergiuseppe Mallozzi, Nir Piterman, Pierluigi Nuzzo, Gerardo Schneider, Patrizio Pelliccione

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

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

Contract-Based Specification Refinement and Repair for Mission Planning.

Piergiuseppe Mallozzi, Inigo Incer, Pierluigi Nuzzo, Alberto L. Sangiovanni-Vincentelli

Proceedings of the 11th IEEE/ACM International Conference on Formal Methods in Software Engineering, 2023

2021

Incremental Refinement of Goal Models with Contracts.

Piergiuseppe Mallozzi, Pierluigi Nuzzo, Patrizio Pelliccione

Proceedings of the Fundamentals of Software Engineering - 9th International Conference, 2021

2020

CROME: Contract-Based Robotic Mission Specification.

Piergiuseppe Mallozzi, Pierluigi Nuzzo, Patrizio Pelliccione, Gerardo Schneider

Proceedings of the 18th ACM/IEEE International Conference on Formal Methods and Models for System Design, 2020

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

Proceedings of the 2nd International Workshop on Robotics Software Engineering, 2019

Autonomous Vehicles: State of the Art, Future Trends, and Challenges.

Piergiuseppe Mallozzi, Patrizio Pelliccione, Alessia Knauss, Christian Berger, Nasser Mohammadiha

Proceedings of the Automotive Systems and Software Engineering, 2019

2018

MoVEMo: A Structured Approach for Engineering Reward Functions.

Piergiuseppe Mallozzi, Raúl Pardo, Vincent Duplessis, Patrizio Pelliccione, Gerardo Schneider

Proceedings of the Second IEEE International Conference on Robotic Computing, 2018

Keeping intelligence under control.

Piergiuseppe Mallozzi, Patrizio Pelliccione, Claudio Menghi

Proceedings of the 1st International Workshop on Software Engineering for Cognitive Services, 2018

2017

Automotive Architecture Framework: The experience of Volvo Cars.

Patrizio Pelliccione, Eric Knauss, Rogardt Heldal, Magnus Ågren, Piergiuseppe Mallozzi, Anders Alminger, Daniel Borgentun

J. Syst. Archit., 2017

Combining machine-learning with invariants assurance techniques for autonomous systems.

Piergiuseppe Mallozzi

Proceedings of the 39th International Conference on Software Engineering, 2017

2016

PVSio-web: mathematically based tool support for the design of interactive and interoperable medical systems.

Paolo Masci, Patrick Oladimeji, Piergiuseppe Mallozzi, Paul Curzon, Harold Thimbleby

EAI Endorsed Trans. Collab. Comput., 2016

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

Piergiuseppe Mallozzi, Massimo Sciancalepore, Patrizio Pelliccione

Proceedings of the Software Engineering for Resilient Systems - 8th International Workshop, 2016