Congratulations! The following awards of RTAS’21 were presented:
Best Paper Award:
- No Crash, No Exploit: Automated Verification of Embedded Kernels
Olivier Nicole, Matthieu Lemerre, Sébastien Bardin, Xavier Rival
Best Student Paper Award
- Constrained Data-Age with Job-Level Dependencies: How to Reconcile Tight Bounds and Overheads
Tobias Klaus, Matthias Becker, Wolfgang Schröder-Preikschat, Peter Ulbrich
