Paul Jeanmaire

According to our database¹, Paul Jeanmaire authored at least 3 papers between 2021 and 2025.

Collaborative distances:

Timeline

Book

In proceedings

Article

PhD thesis

Dataset

Other

2025

Functional Stream Semantics for a Synchronous Block-Diagram Compiler.

[BibT_eX]

[DOI]

Proceedings of the 40th Annual ACM/IEEE Symposium on Logic in Computer Science, 2025

2024

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

[BibT_eX]

[DOI]

PhD thesis, 2024

2021

Verified Lustre Normalization with Node Subsampling.

[BibT_eX]

[DOI]

ACM Trans. Embed. Comput. Syst., 2021