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