@inproceedings{river,
    author = {Dario Facchinetti and Matthew Rossi and Zhanya Zhang and Stefano Paraboschi and Paolo Arcaini},
    booktitle = {Proceedings of the 19th IEEE International Conference on Software Testing, Verification and Validation (ICST)},
    title = {RIVER: An eBPF-based Runtime Verification Platform for Cyber-Physical Systems},
    day = {18-22},
    month = {May},
    year = {2026},
    location = {Daejeon, South Korea},
}