1. Code Synthesis for Dataflow-Based Embedded Software Design;IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems;2022-01
2. Design of Mixed Synchronous/Asynchronous Systems with Multiple Clocks;IEEE Transactions on Parallel and Distributed Systems;2015-08-01
3. Design and Optimization of Multiclocked Embedded Systems Using Formal Techniques;IEEE Transactions on Industrial Electronics;2015-02
4. Tsmart-GalsBlock: a toolkit for modeling, validation, and synthesis of multi-clocked embedded systems;Proceedings of the 22nd ACM SIGSOFT International Symposium on Foundations of Software Engineering;2014-11-11
5. Detection of harmful schizophrenic statements in esterel;ACM Transactions on Embedded Computing Systems;2013-03-10