Priser
2018
Best Paper Award
Giovanni Bacci (Modtager), Kim Guldstrand Larsen (Modtager), Nicolas Markey (Modtager), Patricia Bouyer (Modtager), Uli Fahrenberg (Modtager) & Pierre-Alain Reynier (Modtager), 17 jul. 2018
Pris: Konferencepriser
2007
Honary Doctorate: for his contributions to Embedded Systems verification
Kim Guldstrand Larsen (Modtager), 27 nov. 2007
Pris: Øvrige priser