1. The Design and Implementation of the Synchronous Language CÉU;ACM Transactions on Embedded Computing Systems;2017-11-30
2. SCCharts: sequentially constructive statecharts for safety-critical applications;Proceedings of the 35th ACM SIGPLAN Conference on Programming Language Design and Implementation;2014-06-09
3. SCCharts: sequentially constructive statecharts for safety-critical applications;ACM SIGPLAN Notices;2014-06-05
4. Clock refinement in imperative synchronous languages;EURASIP Journal on Embedded Systems;2013-04-10
5. Instantaneous Transitions in Esterel;Electronic Notes in Theoretical Computer Science;2008-06