Author:
Wilhelm Reinhard,Pister Markus,Gebhard Gernot,Kästner Daniel
Publisher
Springer International Publishing
Reference18 articles.
1. Rtca/do-178c software considerations in airborne systems and equipment certification (2013)
2. M. Alt, C. Ferdinand, F. Martin, R. Wilhelm, Cache behavior prediction by abstract interpretation. in Proceedings of the Third International Symposium on Static Analysis, SAS’96, ed. by R. Cousot, D.A. Schmidt. Aachen, September 24–26, 1996. Lecture Notes in Computer Science, vol. 1145 (Springer, Berlin, 1996), pp. 52–66.
https://doi.org/10.1007/3-540-61739-6_33
3. P. Axer, R. Ernst, H. Falk, A. Girault, D. Grund, N. Guan, B. Jonsson, P. Marwedel, J. Reineke, C. Rochange, M. Sebastian, R. von Hanxleden, R. Wilhelm, W. Yi, Building timing predictable embedded systems. ACM Trans. Embedded Comput. Syst. 13(4), 82:1–82:37 (2014).
https://doi.org/10.1145/2560033
4. P. Cousot, R. Cousot, Abstract interpretation: a unified lattice model for static analysis of programs by construction or approximation of fixpoints, in Conference Record of the Fourth ACM Symposium on Principles of Programming Languages, ed. by R.M. Graham, M.A. Harrison, R. Sethi, Los Angeles, January 1977 (ACM, New York, 1977), pp. 238–252.
https://doi.org/10.1145/512950.512973
5. C. Ferdinand, Cache behaviour prediction for real-time systems. Ph.D. thesis, Saarland University, Saarbrücken (1997)
Cited by
2 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. Deriving Pipeline Models for Timing Analysis from High-Level HDL Processor Designs;2022 20th ACM-IEEE International Conference on Formal Methods and Models for System Design (MEMOCODE);2022-10-13
2. Work in Progress: Automatic Construction of Pipeline Datapaths from High-Level HDL Code;2022 IEEE 28th Real-Time and Embedded Technology and Applications Symposium (RTAS);2022-05