Author:
Amagbégnon Pascalin,Besnard Loïc,Le Guernic Paul
Cited by
23 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. Aggregate Update Problem for Multi-clocked Dataflow Languages;2022 IEEE/ACM International Symposium on Code Generation and Optimization (CGO);2022-04-02
2. A Simulation Tool for tccp Programs;Electronic Proceedings in Theoretical Computer Science;2017-01-01
3. Hierarchical State Machines as Modular Horn Clauses;Electronic Proceedings in Theoretical Computer Science;2016-07-14
4. Synthesizing Modular Invariants for Synchronous Code;Electronic Proceedings in Theoretical Computer Science;2014-12-02
5. 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