Florian Barrau

Publication Activity (10 Years)

Years Active: 2014-2023
Publications (10 Years): 1

Top Topics

Weak Signal Detection

Distance Measurement

Wireless Sensor

Top Venues

Publications

Alessandro Cimatti, Luca Cristoforetti, Alberto Griggio, Stefano Tonetta, Sara Corfini, Marco Di Natale, Florian Barrau
EVA: a Tool for the Compositional Verification of AUTOSAR Models. TACAS (2) (2023)
Florian Barrau, Bruno Paille, Edith Kussener, Didier Goguenheim
Distance measurement using narrowband ZigBee devices. WOCC (2014)