Seuraa
Piergiuseppe Mallozzi
Piergiuseppe Mallozzi
Postdoc at UC Berkeley
Vahvistettu sähköpostiosoite verkkotunnuksessa berkeley.edu - Kotisivu
Nimike
Viittaukset
Viittaukset
Vuosi
Automotive architecture framework: The experience of volvo cars
P Pelliccione, E Knauss, R Heldal, SM Ågren, P Mallozzi, A Alminger, ...
Journal of systems architecture 77, 83-100, 2017
1072017
Autonomous vehicles: state of the art, future trends, and challenges
P Mallozzi, P Pelliccione, A Knauss, C Berger, N Mohammadiha
Automotive systems and software engineering: State of the art and future …, 2019
822019
Formal verification of the on-the-fly vehicle platooning protocol
P Mallozzi, M Sciancalepore, P Pelliccione
Software Engineering for Resilient Systems: 8th International Workshop …, 2016
182016
Using PVSio-web and SAPERE for rapid prototyping of user interfaces in Integrated Clinical Environments
P Masci, P Mallozzi, FL De Angelis, GDM Serugendo, P Curzon
Verisure2015, Workshop on Verification and Assurance, co-located with CAV2015, 2015
182015
Combining machine-learning with invariants assurance techniques for autonomous systems
P Mallozzi
Proceedings of the 39th International Conference on Software Engineering …, 2017
122017
A runtime monitoring framework to enforce invariants on reinforcement learning agents exploring complex environments
P Mallozzi, E Castellano, P Pelliccione, G Schneider, K Tei
2019 IEEE/ACM 2nd International Workshop on Robotics Software Engineering …, 2019
112019
MoVEMo: a structured approach for engineering reward functions
P Mallozzi, R Pardo, V Duplessis, P Pelliccione, G Schneider
2018 Second IEEE International Conference on Robotic Computing (IRC), 250-257, 2018
102018
Pacti: Scaling assume-guarantee reasoning for system analysis and design
I Incer, A Badithela, J Graebener, P Mallozzi, A Pandey, SJ Yu, ...
arXiv preprint arXiv:2303.17751, 2023
82023
A proposal for an automotive architecture framework for volvo cars
P Pelliccione, E Knauss, R Heldal, M Ågren, P Mallozzi, A Alminger, ...
2016 Workshop on Automotive Systems/Software Architectures (WASA), 18-21, 2016
82016
Keeping intelligence under control
P Mallozzi, P Pelliccione, C Menghi
Proceedings of the 1st International Workshop on Software Engineering for …, 2018
72018
Crome: Contract-based robotic mission specification
P Mallozzi, P Nuzzo, P Pelliccione, G Schneider
2020 18th ACM-IEEE International Conference on Formal Methods and Models for …, 2020
62020
PVSio-web: mathematically based tool support for the design of interactive and interoperable medical systems
P Masci, P Oladimeji, P Mallozzi, P Curzon, H Thimbleby
62016
Incremental refinement of goal models with contracts
P Mallozzi, P Nuzzo, P Pelliccione
Fundamentals of Software Engineering: 9th International Conference, FSEN …, 2021
42021
Contract-Based Specification Refinement and Repair for Mission Planning
P Mallozzi, I Incer, P Nuzzo, A Sangiovanni-Vincentelli
International Conference of Formal Methods in Software Engineering (FORMALISE), 2023
22023
Designing Trustworthy Autonomous Systems
P Mallozzi
PQDT-Global, 2021
22021
Design and development of a co-simulation library for the PVSio-web prototyping tool
P MALLOZZI
12015
Correct-by-Construction Design of Contextual Robotic Missions Using Contracts
P Mallozzi, N Piterman, P Nuzzo, G Schneider, P Pelliccione
arXiv preprint arXiv:2306.08144, 2023
2023
A Grammar for the Representation of Unmanned Aerial Vehicles with 3D Topologies
P Mallozzi, H Sibai, I Incer, SA Seshia, A Sangiovanni-Vincentelli
arXiv preprint arXiv:2302.13980, 2023
2023
Deploying ZKP Frameworks with Real-World Data: Challenges and Proposed Solutions
P Mallozzi
under review, 2023
2023
Specification Repair Using Contracts
P Mallozzi, I Incer, P Nuzzo, A Sangiovanni-Vincentelli
under review, 2022
2022
Järjestelmä ei voi suorittaa toimenpidettä nyt. Yritä myöhemmin uudelleen.
Artikkelit 1–20