Piergiuseppe Mallozzi

Visar 10 publikationer

2020

CROME: Contract-Based Robotic Mission Specification

Piergiuseppe Mallozzi, Pierluigi Nuzzo, Patrizio Pelliccione et al
2020 18th ACM-IEEE International Conference on Formal Methods and Models for System Design, MEMOCODE 2020
Paper i proceeding
2019

A runtime monitoring framework to enforce invariants on reinforcement learning agents exploring complex environments

Piergiuseppe Mallozzi, Ezequiel Castellano, Patrizio Pelliccione et al
Proceedings - 2019 IEEE/ACM 2nd International Workshop on Robotics Software Engineering, RoSE 2019, p. 5-12
Paper i proceeding
2018

MoVEMo - A structured approach for engineering reward functions

Piergiuseppe Mallozzi, Raul Pardo Jimenez, Vincent Duplessis et al
Proceedings - 2nd IEEE International Conference on Robotic Computing, IRC 2018. Vol. 2018, p. 250-257
Paper i proceeding
2018

Keeping intelligence under control

Piergiuseppe Mallozzi, Patrizio Pelliccione, Claudio Menghi
Proceedings of the 1st International Workshop on Software Engineering for Cognitive Services, p. 37-40
Paper i proceeding
2018

Engineering Trustworthy Self-Adaptive Autonomous Systems

Piergiuseppe Mallozzi
Licentiatavhandling
2017

Combining machine-learning with invariants assurance techniques for autonomous systems

Piergiuseppe Mallozzi
Proceedings - 2017 IEEE/ACM 39th International Conference on Software Engineering Companion, ICSE-C 2017, p. 485-486
Paper i proceeding
2017

Automotive Architecture Framework: The experience of Volvo Cars

Patrizio Pelliccione, Eric Knauss, Rogardt Heldal et al
Journal of Systems Architecture. Vol. 77, p. 83-100
Artikel i vetenskaplig tidskrift
2017

Autonomous vehicles: state of art, future trends, and challenges

Piergiuseppe Mallozzi, Patrizio Pelliccione, Alessia Knauss et al
Automotive Software Engineering: State of the Art and Future Trends
Kapitel i bok
2016

A proposal for an Automotive Architecture Framework for Volvo Cars

Patrizio Pelliccione, Eric Knauss, Rogardt Heldal et al
Workshop on Automotive Systems/Software Architectures (WASA), Venice, Italy, April 05-08, 2016, p. 18-21
Paper i proceeding
2016

Formal verification of the on-the-fly vehicle platooning protocol

Piergiuseppe Mallozzi, Massimo Sciancalepore, Patrizio Pelliccione
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). Vol. 9823, p. 62-75
Paper i proceeding

Ladda ner publikationslistor

Du kan ladda ner denna lista till din dator.

Filtrera och ladda ner publikationslista

Som inloggad användare hittar du ytterligare funktioner i MyResearch.

Du kan även exportera direkt till Zotero eller Mendeley genom webbläsarplugins. Dessa hittar du här:

Zotero Connector
Mendeley Web Importer

Det finns inga projekt att visa.
Det kan finnas fler projekt där Piergiuseppe Mallozzi medverkar, men du måste vara inloggad som anställd på Chalmers för att kunna se dem.