Piergiuseppe Mallozzi
Titel
Geciteerd door
Geciteerd door
Jaar
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
432017
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
142015
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
72016
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
62016
Keeping intelligence under control
P Mallozzi, P Pelliccione, C Menghi
2018 IEEE/ACM 1st International Workshop on Software Engineering for …, 2018
42018
Combining machine-learning with invariants assurance techniques for autonomous systems
P Mallozzi
Proceedings of the 39th International Conference on Software Engineering …, 2017
42017
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
42016
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
32018
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
22019
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
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
Het systeem kan de bewerking nu niet uitvoeren. Probeer het later opnieuw.
Artikelen 1–12