Author:
Biernacki Dariusz,Colaço Jean-Louis,Hamon Gregoire,Pouzet Marc
Cited by
32 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. Equation-Directed Axiomatization of Lustre Semantics to Enable Optimized Code Validation;ACM Transactions on Embedded Computing Systems;2023-09-09
2. Verified Compilation of Synchronous Dataflow with State Machines;ACM Transactions on Embedded Computing Systems;2023-09-09
3. Synchronized Shared Memory and Black-box Procedural Abstraction: Towards a Formal Semantics of Blech;ACM Transactions on Embedded Computing Systems;2022-11-18
4. From Lustre to Graphical Models and SCCharts;ACM Transactions on Embedded Computing Systems;2022-07-29
5. JAX based parallel inference for reactive probabilistic programming;Proceedings of the 23rd ACM SIGPLAN/SIGBED International Conference on Languages, Compilers, and Tools for Embedded Systems;2022-06-14