Piergiuseppe Mallozzi

Publications (12)
Projects (0)

Showing 12 publications

2021

Designing Trustworthy Autonomous Systems

Piergiuseppe Mallozzi

Doctoral thesis

Show project

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 in proceeding

Show project

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 in 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

Book chapter

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 in 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 in proceeding

2018

Keeping intelligence under control

Piergiuseppe Mallozzi, Patrizio Pelliccione, Claudio Menghi

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

Paper in proceeding

2018

Engineering Trustworthy Self-Adaptive Autonomous Systems

Piergiuseppe Mallozzi

Licentiate thesis

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 in 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

Journal article

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 in 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 in proceeding

Download publication list

You can download this list to your computer.

Filter and download publication list

As logged in user (Chalmers employee) you find more export functions in MyResearch.

You may also import these directly to Zotero or Mendeley by using a browser plugin. These are found herer:

Zotero Connector
Mendeley Web Importer

The service SwePub offers export of contents from Research in other formats, such as Harvard and Oxford in .RIS, BibTex and RefWorks format.

There are no projects.

There might be more projects where Piergiuseppe Mallozzi participates, but you have to be logged in as a Chalmers employee to see them.