| emsoft | participants

Basile Pesin

EMSOFT 2023: 23rd International Conference on Embedded Software

Verified Compilation of Synchronous Dataflow with State Machines

Timothy Bourke, Basile Pesin, and Marc Pouzet

EMSOFT 2021: 21st International Conference on Embedded Software

Verified Lustre Normalization with Node Subsampling

Timothy Bourke, Paul Jeanmaire, Basile Pesin, and Marc Pouzet