Piergiuseppe Mallozzi

Publikationer (12)
Projekt (0)

Visar 12 publikationer

2021

Designing Trustworthy Autonomous Systems

Piergiuseppe Mallozzi

Doktorsavhandling

Visa projekt

2021

Incremental Reﬁnement of Goal Models with Contracts

Piergiuseppe Mallozzi, Pierluigi Nuzzo, Patrizio Pelliccione

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). Vol. 12818 LNCS, p. 35-50

Paper i proceeding

Visa projekt

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

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

Piergiuseppe Mallozzi, Patrizio Pelliccione, Alessia Knauss et al

Automotive Systems and Software Engineering: State of the Art and Future Trends, p. 347-367

Kapitel i bok

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

Keeping intelligence under control

Piergiuseppe Mallozzi, Patrizio Pelliccione, Claudio Menghi

Proceedings - International Conference on Software Engineering, p. 37-40

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-January, p. 250-257

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

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 LNCS, p. 62-75

Paper i proceeding

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

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

Tjänsten SwePub erbjuder uttag av Researchs listor i andra format, till exempel kan du få uttag av publikationer enligt Harvard och Oxford i .RIS, BibTex och RefWorks-format.

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.