Publications by Paolo Arcaini
RIVER: An eBPF-based Runtime Verification Platform for Cyber-Physical Systems
Dario Facchinetti, Matthew Rossi, Zhenya Zhang, Stefano Paraboschi, Paolo Arcaini
In Proc. of the 19th IEEE International Conference on Software Testing, Verification and Validation (ICST)
Daejeon, South Korea, May 18-22, 2026