Awards
We are excited to announce the award recipients for the 24th International Conference on Runtime Verification! We thank our generous sponsors, Springer and Toyota Research North America, for their support, which made these awards possible, and we extend our heartfelt congratulations to all the winners and short-list candidates for their outstanding contributions.
The RV24 Best Paper Award is presented to
Stream-based Monitoring under Measurement Noise
And the runners-up are:
Towards Efficient Runtime Verified Linearizable Algorithms
Dynamic, Multi-Objective Specification and Falsification of Autonomous CPS
The award committee consisted of members from the Steering Committee and the Program Committee.
The RV24 Best Poster and Tool Showcase Award is presented to
Falcaun, Falsification of CPSs via Automata Learning
The award committee consisted of members from the Program Committee.