Florian Barrau

According to our database, Florian Barrau authored at least 2 papers between 2014 and 2023.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2023

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

Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2023

2014

Distance measurement using narrowband ZigBee devices.

Florian Barrau, Bruno Paille, Edith Kussener, Didier Goguenheim

Proceedings of the 23rd Wireless and Optical Communication Conference, 2014