Piergiuseppe Mallozzi
TitleCited byYear
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
342017
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
122015
Formal verification of the on-the-fly vehicle platooning protocol
P Mallozzi, M Sciancalepore, P Pelliccione
International Workshop on Software Engineering for Resilient Systems, 62-75, 2016
62016
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
52016
Combining machine-learning with invariants assurance techniques for autonomous systems
P Mallozzi
Proceedings of the 39th International Conference on Software Engineering …, 2017
32017
Keeping intelligence under control
P Mallozzi, P Pelliccione, C Menghi
2018 IEEE/ACM 1st International Workshop on Software Engineering for …, 2018
22018
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
22018
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
Proceedings of the 5th EAI International Conference on Wireless Mobile …, 2015
22015
A runtime monitoring framework to enforce invariants on reinforcement learning agents exploring complex environments
P Mallozzi, E Castellano, P Pelliccione, G Schneider, K Tei
Proceedings of the 2nd International Workshop on Robotics Software …, 2019
2019
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, 347-367, 2019
2019
PVSio-web: mathematically based tool support for the design of interactive and interoperable medical systems
P CURZON, P Masci, P Oladimeji, P Mallozzi
EAI Endorsed Transactions on Collaborative Computing, 2015
2015
Design and development of a co-simulation library for the PVSio-web prototyping tool
P MALLOZZI
2015
The system can't perform the operation now. Try again later.
Articles 1–12