1. Kunal Agrawal , Sanjoy Baruah , and Alan Burns . 2019 . Semi-Clairvoyance in Mixed-Criticality Scheduling. In 2019 IEEE Real-Time Systems Symposium (RTSS). IEEE , Hong Kong, China, 458–468. https://doi.org/10.1109/RTSS46320. 2019.00047 ISSN: 2576 - 3172 . 10.1109/RTSS46320.2019.00047 Kunal Agrawal, Sanjoy Baruah, and Alan Burns. 2019. Semi-Clairvoyance in Mixed-Criticality Scheduling. In 2019 IEEE Real-Time Systems Symposium (RTSS). IEEE, Hong Kong, China, 458–468. https://doi.org/10.1109/RTSS46320.2019.00047 ISSN: 2576-3172.
2. Martin Alt , Christian Ferdinand , Florian Martin , and Reinhard Wilhelm . 1996. Cache behavior prediction by abstract interpretation . In Static Analysis(Lecture Notes in Computer Science), Radhia Cousot and David A . Schmidt (Eds.). Springer , Berlin, Heidelberg , 52–66. https://doi.org/10.1007/3-540-61739-6_33 10.1007/3-540-61739-6_33 Martin Alt, Christian Ferdinand, Florian Martin, and Reinhard Wilhelm. 1996. Cache behavior prediction by abstract interpretation. In Static Analysis(Lecture Notes in Computer Science), Radhia Cousot and David A. Schmidt (Eds.). Springer, Berlin, Heidelberg, 52–66. https://doi.org/10.1007/3-540-61739-6_33
3. Precise and efficient parametric path analysis;Althaus Ernst;SIGPLAN Not.,2011
4. Ernst Althaus , Sebastian Altmeyer , and Rouven Naujoks . 2011. Symbolic Worst Case Execution Times . In Theoretical Aspects of Computing – ICTAC 2011(Lecture Notes in Computer Science) , Antonio Cerone and Pekka Pihlajasaari (Eds.). Springer , Berlin, Heidelberg , 25–44. https://doi.org/10.1007/978-3-642-23283-1_5 10.1007/978-3-642-23283-1_5 Ernst Althaus, Sebastian Altmeyer, and Rouven Naujoks. 2011. Symbolic Worst Case Execution Times. In Theoretical Aspects of Computing – ICTAC 2011(Lecture Notes in Computer Science), Antonio Cerone and Pekka Pihlajasaari (Eds.). Springer, Berlin, Heidelberg, 25–44. https://doi.org/10.1007/978-3-642-23283-1_5
5. Sebastian Altmeyer , Christian Hümbert , Björn Lisper , and Reinhard Wilhelm . 2008 . Parametric Timing Analysis for Complex Architectures. In 2008 14th IEEE International Conference on Embedded and Real-Time Computing Systems and Applications. IEEE , Kaohsiung, Taiwan, 367–376. https://doi.org/10.1109/RTCSA. 2008.7 ISSN: 2325 - 1301 . 10.1109/RTCSA.2008.7 Sebastian Altmeyer, Christian Hümbert, Björn Lisper, and Reinhard Wilhelm. 2008. Parametric Timing Analysis for Complex Architectures. In 2008 14th IEEE International Conference on Embedded and Real-Time Computing Systems and Applications. IEEE, Kaohsiung, Taiwan, 367–376. https://doi.org/10.1109/RTCSA.2008.7 ISSN: 2325-1301.