Compiling Esterel into sequential code
Proceedings of the 37th Annual Design Automation Conference
IPDPS '01 Proceedings of the 15th International Parallel & Distributed Processing Symposium
Cronos: A Separate Compilation Toolset for Modular Esterel Applications
FM '99 Proceedings of the Wold Congress on Formal Methods in the Development of Computing Systems-Volume II
Optimization for faster execution of Esterel programs
Formal methods and models for system design
Integrated Formal Approach for Qualified Critical Embedded Code Generator
FMICS '09 Proceedings of the 14th International Workshop on Formal Methods for Industrial Critical Systems
Machine-Checked Sequencer for Critical Embedded Code Generator
ICFEM '09 Proceedings of the 11th International Conference on Formal Engineering Methods: Formal Methods and Software Engineering
Use of formal methods for building qualified code generator for safer automotive systems
Proceedings of the 1st Workshop on Critical Automotive applications: Robustness & Safety
Hiphop: a synchronous reactive extension for hop
Proceedings of the 1st ACM SIGPLAN international workshop on Programming language and systems technologies for internet clients
Separate compilation for synchronous modules
ICESS'05 Proceedings of the Second international conference on Embedded Software and Systems
| Hi-index | 0.00 |