Verified Lustre Normalization with Node Subsampling. - Timothy Bourke; Paul Jeanmaire; Basile Pesin; Marc Pouzet (ACM Trans. Embed. Comput. Syst., 2021)

Une sémantique dénotationnelle pour un compilateur synchrone vérifié. (A denotational semantics for a verified synchronous compiler). - Paul Jeanmaire (2024)