Recherche - ENSTA Bretagne - École nationale supérieure de techniques avancées Bretagne Accéder directement au contenu

Filtrer vos résultats

2 Résultats
authFullName_s : Emilien Fournier
Page :
triés par

Dolmen: FPGA Swarm for Safety and Liveness Verification

 Emilien Fournier , Ciprian Teodorov , Loïc Lagadec
2022 Design, Automation & Test in Europe Conference & Exhibition (DATE), Mar 2022, Antwerp, Belgium. pp.1425-1430, ⟨10.23919/DATE54114.2022.9774528⟩
Communication dans un congrès hal-03708237v1

Carnac: Algorithm Variability for Fast Swarm Verification on FPGA

 Emilien Fournier , Ciprian Teodorov , Loïc Lagadec
2021 31st International Conference on Field-Programmable Logic and Applications (FPL), Aug 2021, Dresden, Germany. pp.185-189, ⟨10.1109/FPL53798.2021.00038⟩
Communication dans un congrès hal-03550389v1
Page :