Skip to content

Commit

Permalink
Update awards page
Browse files Browse the repository at this point in the history
  • Loading branch information
doganulus committed Oct 18, 2024
1 parent 368095b commit 7a4b82b
Showing 1 changed file with 32 additions and 3 deletions.
35 changes: 32 additions & 3 deletions content/awards.md
Original file line number Diff line number Diff line change
Expand Up @@ -4,6 +4,35 @@ metadata: none
weight: 60
---

{{< alert color="danger" >}}
Awards will be announced here!
{{< /alert >}}
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.

## Best Paper Award

The RV24 Best Paper Award is presented to

{{< card header="none" footer="none" padding="3" class="col-sm-12 col-lg-8 mb-3 border-0 " title="Stream-based Monitoring under Measurement Noise" icon="fas 1" orientation="horizontal">}}
By Bernd Finkbeiner, Martin Franzle , Florian Kohn, and Paul Kroger
{{< /card >}}

And the runners-up are:

{{< card-group padding="3" class="border-0" gutter="2" cols="2" >}}
{{< card title="Towards Efficient Runtime VerifiedLinearizable Algorithms">}}
By Gilde Valeria Rodríguez and Armando Castañeda
{{< /card >}}
{{< card title="Dynamic, Multi-Objective Specification and Falsification of Autonomous CPS">}}
By Kevin Kai-Chun Chang, Kaifei Xu, Edward Kim, Alberto Sangiovanni-Vincentelli, and Sanjit A. Seshia
{{< /card >}}
{{< /card-group >}}

The award committee consisted of members from the Steering Committee and the Program Committee.

## Best Poster and Tool Showcase Award

The RV24 Best Poster and Tool Showcase Award is presented to

{{< card header="none" footer="none" padding="3" class="col-sm-12 col-lg-8 mb-3 border-0 " title="Falcaun, Falsification of CPSs via Automata Learning" icon="fas person-through-window" orientation="horizontal">}}
By Masaki Waga
{{< /card >}}

The award committee consisted of members from the Program Committee.

0 comments on commit 7a4b82b

Please sign in to comment.