Papers

The proceedings of this workshop can be found at:

CPSWS 2022 Proceedings

The workshop organizers would like to thank CEUR-WS for its support during the publication of the proceedings.

---

Slides

Please, click on the paper (presenter – paper name) to download the associated slides.

Stefano Demarchi and Dario Guidotti – Counter-example Guided Abstract Refinement for Verification of Neural Networks

Tiziana Fanni, Giuseppe Meloni, Marco Melis, Antonio Solinas and Maria Katiuscia Zedda – The Multi-Sensor Gateway, a unified communication scheme and orchestration actor for heterogeneous systems – Technical Paper

Valeria Trombetta, Maxime Cordy, Enrico Tronci and Axel Legay – CHAOS – Configurations Analysis of Swarms of Cyber-Physical Systems

Raffaele Meloni, Giuseppe Meloni and Daniel Madroñal – HW-SW management using a lightweight Yocto-based OS running on a ZCU102

Alessandro Falcetta and Manuel Roveri – T4C: A Framework for Time-Series Clustering-as-a-Service

Massimo Pavan, Armando Caltabiano and Manuel Roveri – On-device subject recognition in UWB-radar data with Tiny Machine Learning

Juan Encinas – ML-Based Modeling and Virtualization of Reconfigurable Multi-Accelerator Systems

Emad Ebaid and Keivan Navaie – Efficient Design of Scalable Indoor Positioning System Based on Wi-Fi Fingerprinting