Piergiuseppe Mallozzi

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