Piergiuseppe Mallozzi

Publikationer (10)
Projekt (0)

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.