Felipe Lisboa Malaquias (ACES), Mihail Asavoae (CEA List), and Florian Brandner (ACES) received the Best Paper Award at the 30th International Conference on Real-Time Networks and Systems (RTNS) for their paper « A Coq Framework for More Trustworthy DRAM Controllers ».