Author:
Ferdinand Christian,Heckmann Reinhold,Wilhelm Reinhard
Publisher
Springer Berlin Heidelberg
Reference15 articles.
1. Wilhelm, R.: Determining bounds on execution times. In: Zurawski, R. (ed.) Handbook on Embedded Systems, pp. 14-1– 14-23. CRC Press, Boca Raton (2005)
2. AbsInt Angewandte Informatik GmbH: aiSee Home Page, http://www.aisee.com
3. Lecture Notes in Computer Science;C. Ferdinand,2001
4. Ferdinand, C.: Cache Behavior Prediction for Real-Time Systems. PhD thesis, Saarland University (1997)
5. Lecture Notes in Computer Science;M. Langenbach,2002
Cited by
5 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. Low-level memory and timing analysis of flight code for unmanned aerial systems;Aerospace Systems;2024-03-21
2. Toward Timing and Memory Analysis for UAS Flight Code;AIAA Scitech 2021 Forum;2021-01-04
3. WUPPAAL: Computation of Worst-Case Execution-Time for Binary Programs with UPPAAL;Lecture Notes in Computer Science;2017
4. Abstract interpretation;Proceedings of the Joint Meeting of the Twenty-Third EACSL Annual Conference on Computer Science Logic (CSL) and the Twenty-Ninth Annual ACM/IEEE Symposium on Logic in Computer Science (LICS);2014-07-14
5. Verification Across Intellectual Property Boundaries;Computer Aided Verification;2007