| 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 | 118 | 2017 |
| 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 | 113 | 2019 |
| 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 | 19 | 2023 |
| 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 | 19 | 2016 |
| 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 | 16 | 2019 |
| 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 | 16 | 2015 |
| Combining machine-learning with invariants assurance techniques for autonomous systems P Mallozzi Proceedings of the 39th International Conference on Software Engineering …, 2017 | 13 | 2017 |
| 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 | 12 | 2018 |
| 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 | 11 | 2016 |
| 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 | 7 | 2020 |
| Keeping intelligence under control P Mallozzi, P Pelliccione, C Menghi Proceedings of the 1st International Workshop on Software Engineering for …, 2018 | 7 | 2018 |
| 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 | 6 | 2016 |
| 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 | 5 | 2023 |
| Incremental refinement of goal models with contracts P Mallozzi, P Nuzzo, P Pelliccione Fundamentals of Software Engineering: 9th International Conference, FSEN …, 2021 | 4 | 2021 |
| Designing Trustworthy Autonomous Systems P Mallozzi PQDT-Global, 2021 | 2 | 2021 |
| 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 | 1 | 2023 |
| Design and development of a co-simulation library for the PVSio-web prototyping tool P MALLOZZI | 1 | 2015 |
| Pacti: Assume-Guarantee Contracts for Efficient Compositional Analysis and Design I Incer, A Badithela, JB Graebener, P Mallozzi, A Pandey, N Rouquette, ... ACM Transactions on Cyber-Physical Systems 9 (1), 1-35, 2025 | | 2025 |
| Cyber-Physical Systems M Weisman, A Kott, JE Ellis, B Murphy, T Parker, S Smith, ... ACM Transactions on 9 (1), 2025 | | 2025 |
| Correct-by-Construction Design of Contextual Robotic Missions Using Contracts P Mallozzi, P Nuzzo, N Piterman, G Schneider, P Pelliccione arXiv preprint arXiv:2306.08144, 2023 | | 2023 |
Patrizio PelliccioneDirector of the CS area and Prof. in Software Engineering at Gran Sasso Science Institute (GSSI)Verifierad e-postadress på gssi.it