Author:
Zou Jia,Matic Slobodan,Lee Edward A.,Feng Thomas Huining,Derler Patricia
Cited by
19 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. Timestamp Peripherals for Precise Real-Time Programming;Proceedings of the 21st ACM-IEEE International Conference on Formal Methods and Models for System Design;2023-09-21
2. Risk and Mitigation of Nondeterminism in Distributed Cyber-Physical Systems;Proceedings of the 21st ACM-IEEE International Conference on Formal Methods and Models for System Design;2023-09-21
3. The Sparse Synchronous Model on Real Hardware;ACM Transactions on Embedded Computing Systems;2022-12-14
4. Exploiting Dataflow Models for Parallel Simulation of Discrete Timed Systems;2020 Forum for Specification and Design Languages (FDL);2020-09-15
5. Discrete-Event-Based Deterministic Execution Semantics With Timestamps for Industrial Cyber-Physical Systems;IEEE Transactions on Systems, Man, and Cybernetics: Systems;2020-03