Emilien Fournier

According to our database, Emilien Fournier authored at least 4 papers between 2020 and 2022.

Collaborative distances:

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

2022

Accélération matérielle de la vérification de sûreté et vivacité sur des architectures reconfigurables. (Hardware acceleration of safety and liveness verification on reconfigurable architectures).

Emilien Fournier

PhD thesis, 2022

Dolmen: FPGA Swarm for Safety and Liveness Verification.

Emilien Fournier, Ciprian Teodorov, Loïc Lagadec

Proceedings of the 2022 Design, Automation & Test in Europe Conference & Exhibition, 2022

2021

Carnac: Algorithm Variability for Fast Swarm Verification on FPGA.

Emilien Fournier, Ciprian Teodorov, Loïc Lagadec

Proceedings of the 31st International Conference on Field-Programmable Logic and Applications, 2021

2020

Menhir: Generic High-Speed FPGA Model-Checker.

Emilien Fournier, Ciprian Teodorov, Loïc Lagadec

Proceedings of the 23rd Euromicro Conference on Digital System Design, 2020