Volta: the first all-electric conventional helicopter, Proceedings of the More Electrical Aircraft Conference (MEA '17, 2017. ,
URL : https://hal.archives-ouvertes.fr/hal-01609233
, A Survey on Reactive Programming". In: ACM Computing Surveys, 2013.
A Formally Verified Compiler for Lustre, p.PLDI, 2017. ,
URL : https://hal.archives-ouvertes.fr/hal-01512286
Formal Certification of a Compiler Back-end or: Programming a Compiler with a Proof Assitant, p.POPL, 2006. ,
Djnn/Smala: A Conceptual Framework and a Language for Interaction-Oriented Programming, In: ACM Hum-Comput. Interact, 2018. ,
URL : https://hal.archives-ouvertes.fr/hal-01815222
A New Verified Compiler Backend for CakeMl, p.ICFP, 2016. ,