Piergiuseppe Mallozzi

Publication Activity (10 Years)

Years Active: 2016-2023
Publications (10 Years): 15

Top Topics

Aerial Vehicles

Computational Issues

Complex Environments

Mission Planning

Top Venues

EAI Endorsed Trans. Collab. Comput.

Publications

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
Pacti: Scaling Assume-Guarantee Reasoning for System Analysis and Design. CoRR (2023)
Piergiuseppe Mallozzi, Inigo Incer, Pierluigi Nuzzo, Alberto L. Sangiovanni-Vincentelli
Contract-Based Specification Refinement and Repair for Mission Planning. FormaliSE (2023)
Piergiuseppe Mallozzi, Nir Piterman, Pierluigi Nuzzo, Gerardo Schneider, Patrizio Pelliccione
Correct-by-Construction Design of Contextual Robotic Missions Using Contracts. CoRR (2023)
Piergiuseppe Mallozzi
Deploying ZKP Frameworks with Real-World Data: Challenges and Proposed Solutions. CoRR (2023)
Piergiuseppe Mallozzi, Hussein Sibai, Inigo Incer, Sanjit A. Seshia, Alberto L. Sangiovanni-Vincentelli
A Grammar for the Representation of Unmanned Aerial Vehicles with 3D Topologies. CoRR (2023)
Piergiuseppe Mallozzi, Inigo Incer, Pierluigi Nuzzo, Alberto L. Sangiovanni-Vincentelli
Contract-Based Specification Refinement and Repair for Mission Planning. CoRR (2022)
Piergiuseppe Mallozzi, Pierluigi Nuzzo, Patrizio Pelliccione
Incremental Refinement of Goal Models with Contracts. FSEN (2021)
Piergiuseppe Mallozzi, Pierluigi Nuzzo, Patrizio Pelliccione, Gerardo Schneider
CROME: Contract-Based Robotic Mission Specification. MEMOCODE (2020)
Piergiuseppe Mallozzi, Ezequiel Castellano, Patrizio Pelliccione, Gerardo Schneider, Kenji Tei
A runtime monitoring framework to enforce invariants on reinforcement learning agents exploring complex environments. RoSE@ICSE (2019)
Piergiuseppe Mallozzi, Patrizio Pelliccione, Claudio Menghi
Keeping intelligence under control. SE4COG@ICSE (2018)
Piergiuseppe Mallozzi, Raúl Pardo, Vincent Duplessis, Patrizio Pelliccione, Gerardo Schneider
MoVEMo: A Structured Approach for Engineering Reward Functions. IRC (2018)
Patrizio Pelliccione, Eric Knauss, Rogardt Heldal, Magnus Ågren, Piergiuseppe Mallozzi, Anders Alminger, Daniel Borgentun
Automotive Architecture Framework: The experience of Volvo Cars. J. Syst. Archit. 77 (2017)
Piergiuseppe Mallozzi
Combining machine-learning with invariants assurance techniques for autonomous systems. ICSE (Companion Volume) (2017)
Paolo Masci, Patrick Oladimeji, Piergiuseppe Mallozzi, Paul Curzon, Harold Thimbleby
PVSio-web: mathematically based tool support for the design of interactive and interoperable medical systems. EAI Endorsed Trans. Collab. Comput. 2 (7) (2016)
Piergiuseppe Mallozzi, Massimo Sciancalepore, Patrizio Pelliccione
Formal Verification of the On-the-Fly Vehicle Platooning Protocol. SERENE (2016)