Synchronous programming at the French-speaking Conference on Applicative Languages (JFLA)Guillaume BaudartLouis Mandelet al.2019JFLA 2019
Symbolic simulation of dataflow synchronous programs with timersGuillaume BaudartTimothy Bourkeet al.2017FDL 2017
Time refinement in a functional synchronous languageLouis MandelCédric Pasteuret al.2015Science of Computer Programming