Menhir: Generic High-Speed FPGA Model-Checker. - Emilien Fournier; Ciprian Teodorov; Loïc Lagadec (DSD, 2020)

Carnac: Algorithm Variability for Fast Swarm Verification on FPGA. - Emilien Fournier; Ciprian Teodorov; Loïc Lagadec (FPL, 2021)

Dolmen: FPGA Swarm for Safety and Liveness Verification. - Emilien Fournier; Ciprian Teodorov; Loïc Lagadec (DATE, 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 (2022)