Conférences
Normalisation vérifiée du
langage Lustre
avec Timothy Bourke, Basile Pesin et
Marc Pouzet
Journées Francophones des Langages Applicatifs, avril 2021.
Verified Lustre normalization
with node subsampling
(poster,
blog post)
avec Timothy Bourke, Basile Pesin et
Marc Pouzet
International Conference on Embedded Software (EMSOFT), octobre 2021.