Vol-3252
urn:nbn:de:0074-3252-7

Copyright © 2022 for the individual papers by the papers' authors. Copyright © 2022 for the volume as a collection by its editors. This volume and its papers are published under the Creative Commons License Attribution 4.0 International (CC BY 4.0).

CPSWS 2022
CPS Summer School PhD Workshop 2022

Proceedings of the CPS Summer School PhD Workshop 2022
co-located with 4th Edition of the CPS Summer School (CPS 2022)

Pula, Sardinia (Italy), September 19-23, 2022.

Edited by

Raquel Lazcano Lopez *
Daniel Madroñal Quintin *
Francesca Palumbo *
Christian Pilato
Armando Tacchella *

* Università degli Studi di Sassari, Piazza Università 21, Sassari, (ITALY)
** Politecnico di Milano, Piazza Leonardo da Vinci 32, Milano (ITALY)
*** Università degli Studi di Genova, Via Balbi 5, Genova (ITALY)

Table of Contents

Summary: There were 8 papers submitted for peer-review to this workshop. Out of these, 8 papers were accepted for this volume, 6 as regular papers and 2 as short papers.

Regular Papers

Counter-Example Guided Abstract Refinement for Verification of Neural Networks Stefano Demarchi, Dario Guidotti
T4C: A Framework for Time-Series Clustering-as-a-Service Alessandro Falcetta, Manuel Roveri
The Multi-Sensor Gateway, a Unified Communication Scheme and Orchestration Actor for Heterogeneous Systems Tiziana Fanni, Giuseppe Meloni Marco Melis Antonio Solinas Maria Katiuscia Zedda
HW-SW Management Using a Lightweight Yocto-based OS Running on a ZCU102 Raffaele Meloni, Giuseppe Meloni Daniel Madroñal
On-device Subject Recognition in UWB-radar Data with Tiny Machine Learning Massimo Pavan, Armando Caltabiano Manuel Roveri
CHAOS - Configurations Analysis of Swarms of Cyber-Physical Systems Valeria Trombetta, Maxime Cordy Enrico Tronci Axel Legay

Short Papers

Efficient Design of Scalable Indoor Positioning System Based on Wi-Fi Fingerprinting Eman Ebaid, Keivan Navaie
ML-Based Modeling and Virtualization of Reconfigurable Multi-Accelerator Systems Juan Encinas,

2022-10-19: submitted by Armando Tacchella, metadata incl. bibliographic data published under Creative Commons CC0
2022-10-28: published on CEUR Workshop Proceedings (CEUR-WS.org, ISSN 1613-0073) |valid HTML5|