Distance measurement using narrowband ZigBee devices. - Florian Barrau; Bruno Paille; Edith Kussener; Didier Goguenheim (WOCC, 2014)

EVA: a Tool for the Compositional Verification of AUTOSAR Models. - Alessandro Cimatti; Luca Cristoforetti; Alberto Griggio; Stefano Tonetta; Sara Corfini; Marco Di Natale; Florian Barrau (TACAS (2), 2023)