Author:
Blieberger Johann,Burgstaller Bernd
Publisher
Springer Berlin Heidelberg
Reference20 articles.
1. ISO/IEC 8652. Ada Reference Manual, 1995.
2. J. Blieberger and B. Burgstaller. Symbolic Reaching Definitions Analysis of Ada Programs. In Proc. of the Ada-Europe International Conference on Reliable Software Technologies, pages 238–250, Uppsala, Sweden, June 1998.
3. J. Blieberger, B. Burgstaller, and B. Scholz. Interprocedural Symbolic Evaluation of Ada Programs with Aliases. In Proc. of the Ada-Europe International Conference on Reliable Software Technologies, pages 136–145, Santander, Spain, June 1999.
4. J. Blieberger, T. Fahringer, and B. Scholz. Symbolic Cache Analysis for Real-Time Systems. Real-Time Systems, Special Issue on Worst-Case Execution Time Analysis, 18(2/3):181–215, 2000.
5. J. Blieberger. Data-Flow Frameworks for Worst-Case Execution Time Analysis. Real-Time Systems, 22(3):183–227, May 2002.
Cited by
1 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献