Emilien Fournier

Publication Activity (10 Years)

Years Active: 2020-2022
Publications (10 Years): 3

Top Topics

Hardware Implementation

Search Heuristics

Top Venues

Publications

Emilien Fournier, Ciprian Teodorov, Loïc Lagadec
Dolmen: FPGA Swarm for Safety and Liveness Verification. DATE (2022)
Emilien Fournier, Ciprian Teodorov, Loïc Lagadec
Carnac: Algorithm Variability for Fast Swarm Verification on FPGA. FPL (2021)
Emilien Fournier, Ciprian Teodorov, Loïc Lagadec
Menhir: Generic High-Speed FPGA Model-Checker. DSD (2020)