The proceedings of this workshop can be found at:
The workshop organizers would like to thank CEUR-WS for its support during the publication of the proceedings.
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