Author:
Benveniste Albert,Bourke Timothy,Caillaud Benoît,Pouzet Marc
Funder
Institut national de recherche en informatique et en automatique
Subject
Applied Mathematics,Computational Theory and Mathematics,Computer Networks and Communications,Theoretical Computer Science
Reference36 articles.
1. The algorithmic analysis of hybrid systems;Alur;Theoret. Comput. Sci.,1995
2. Compositional and uniform modelling of hybrid systems;Benveniste;IEEE Trans. Automat. Control,1998
3. Compositionality in dataflow synchronous languages: Specification and distributed code generation;Benveniste;Inform. and Comput.,2000
4. The synchronous languages 12 years later;Benveniste;Proceedings of the IEEE,2003
5. Albert Benveniste, Timothy Bourke, Benoit Caillaud, Marc Pouzet, Divide and recycle: types and compilation for a hybrid synchronous language, in: ACM SIGPLAN/SIGBED Conference on Languages, Compilers, Tools and Theory for Embedded Systems (LCTESʼ11), Chicago, USA, April 2011.
Cited by
37 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. Formally Verified C Code Generation from Hybrid Communicating Sequential Processes;2024 ACM/IEEE 15th International Conference on Cyber-Physical Systems (ICCPS);2024-05-13
2. Case Study: Modeling, Simulation, Verification, and Code Generation of an Automatic Cruise Control System;Lecture Notes in Computer Science;2024
3. Logical Time for Reactive Software;Proceedings of Cyber-Physical Systems and Internet of Things Week 2023;2023-05-09
4. A denotational semantics of Simulink with higher-order UTP;Journal of Logical and Algebraic Methods in Programming;2023-01
5. From Hybrid Automata to DAE-Based Modeling;Lecture Notes in Computer Science;2022