Publisher
Springer Science and Business Media LLC
Subject
Electrical and Electronic Engineering,Control and Optimization,Computer Networks and Communications,Computer Science Applications,Modelling and Simulation,Control and Systems Engineering
Cited by
17 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. Supporting Algorithm Analysis with Symbolic Execution in Alk;Theoretical Aspects of Software Engineering;2022
2. Extended Z3 Array;2021 23rd International Symposium on Symbolic and Numeric Algorithms for Scientific Computing (SYNASC);2021-12
3. Analytical Performance Estimation for Large-Scale Reconfigurable Dataflow Platforms;ACM Transactions on Reconfigurable Technology and Systems;2021-09-30
4. Annotate once – analyze anywhere: context-aware WCET analysis by user-defined abstractions;Proceedings of the 22nd ACM SIGPLAN/SIGBED International Conference on Languages, Compilers, and Tools for Embedded Systems;2021-06-22
5. Proving Real-Time Capability of Generic Operating Systems by System-Aware Timing Analysis;2019 IEEE Real-Time and Embedded Technology and Applications Symposium (RTAS);2019-04