by Masci, Paolo, Oladimeji, Patrick, Mallozzi, Piergiuseppe, Curzon, Paul, Thimbleby, Harold
Published in EAI endorsed transactions on collaborative computing (01.11.2016)

by Pelliccione, Patrizio, Knauss, Eric, Heldal, Rogardt, Magnus Ågren, S., Mallozzi, Piergiuseppe, Alminger, Anders, Borgentun, Daniel
Published in Journal of systems architecture (01.06.2017)

by Mallozzi, Piergiuseppe
Year of Publication 12.07.2023

by Mallozzi, Piergiuseppe, Pelliccione, Patrizio, Menghi, Claudio
Published in 1st International Workshop on Software Engineering for Cognitive Services, Göteborg, Sweden (28.05.2018)

by Mallozzi, Piergiuseppe, Sciancalepore, Massimo, Pelliccione, Patrizio
Published in Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) (2016)

by Mallozzi, Piergiuseppe, Nuzzo, Pierluigi, Pelliccione, Patrizio
Published in 9th IPM International Conference on Fundamentals of Software Engineering (FSEN 2021), Tehran, Iran (2021)

by Mallozzi, Piergiuseppe
Published in arXiv.org (12.07.2023)

by Mallozzi, Piergiuseppe
Published in 2017 IEEE/ACM 39th International Conference on Software Engineering Companion (ICSE-C) (01.05.2017)

by Mallozzi, Piergiuseppe, Incer, Inigo, Nuzzo, Pierluigi, Sangiovanni-Vincentelli, Alberto
Published in 2023 IEEE/ACM 11th International Conference on Formal Methods in Software Engineering (FormaliSE) (01.05.2023)

by Mallozzi, Piergiuseppe, Nuzzo, Pierluigi, Piterman, Nir, Schneider, Gerardo, Pelliccione, Patrizio
Year of Publication 13.06.2023

by Mallozzi, Piergiuseppe, Incer, Inigo, Nuzzo, Pierluigi, Sangiovanni-Vincentelli, Alberto
Year of Publication 21.11.2022

by Mallozzi, Piergiuseppe, Nuzzo, Pierluigi, Pelliccione, Patrizio, Schneider, Gerardo
Published in 2020 18th ACM-IEEE International Conference on Formal Methods and Models for System Design (MEMOCODE) (02.12.2020)

by Mallozzi, Piergiuseppe, Sibai, Hussein, Incer, Inigo, Seshia, Sanjit A, Sangiovanni-Vincentelli, Alberto
Year of Publication 27.02.2023

by Mallozzi, Piergiuseppe, Nuzzo, Pierluigi, Piterman, Nir, Schneider, Gerardo, Pelliccione, Patrizio
Published in arXiv.org (29.12.2023)

by Incer, Inigo, Badithela, Apurva, Graebener, Josefine, Mallozzi, Piergiuseppe, Pandey, Ayush, Yu, Sheng-Jung, Benveniste, Albert, Caillaud, Benoit, Murray, Richard M, Sangiovanni-Vincentelli, Alberto, Seshia, Sanjit A
Year of Publication 30.03.2023

by Mallozzi, Piergiuseppe, Incer, Inigo, Nuzzo, Pierluigi, Sangiovanni-Vincentelli, Alberto
Published in arXiv.org (21.11.2022)

by Mallozzi, Piergiuseppe, Castellano, Ezequiel, Pelliccione, Patrizio, Schneider, Gerardo, Tei, Kenji
Published in 2019 IEEE/ACM 2nd International Workshop on Robotics Software Engineering (RoSE) (01.05.2019)

by Mallozzi, Piergiuseppe, Pardo, Raul, Duplessis, Vincent, Pelliccione, Patrizio, Schneider, Gerardo
Published in 2018 Second IEEE International Conference on Robotic Computing (IRC) (01.01.2018)

by Mallozzi, Piergiuseppe, Sibai, Hussein, Incer, Inigo, Seshia, Sanjit A, Sangiovanni-Vincentelli, Alberto
Published in arXiv.org (27.02.2023)

by Incer, Inigo, Badithela, Apurva, Graebener, Josefine, Mallozzi, Piergiuseppe, Pandey, Ayush, Sheng-Jung, Yu, Benveniste, Albert, Caillaud, Benoit, Murray, Richard M, Sangiovanni-Vincentelli, Alberto, Seshia, Sanjit A
Published in arXiv.org (31.03.2023)