Recent publications

• Real Time Spent on Real Time, R. Wilhelm, in Communications of the ACM, October 2020, Vol. 63 №10, pp. 54–60.
• 
  Testing Implementation Soundness of a WCET Analysis Tool, R. Wilhelm, M. Pister, G. Gebhard, and D. Kästner. In A Journey of Embedded and Cyber-Physical Systems, Jian-Jia Chen, Ed. Springer Open Access, 2021. ISBN 978-3-030-47487-4 (eBook).
• Determining reliable and precise execution time bounds of real-time software, Reinhard Wilhelm. IEEE Computer Society, IT Professional 22/3, May–June 2020.
• High-Precision Sound Analysis to Find Safety and Cybersecurity Defects (Best Paper Award). D. Kästner, L. Mauborgne, S. Wilhelm, C. Ferdinand. In ERTS 2020: Embedded Real Time Software and Systems, 10th European Congress, Jan 2020, Toulouse, France.
• Analyze this! Sound static analysis for integration verification of large-scale automotive software. D. Kästner, B. Schmidt, M. Schlund, L. Mauborgne et al. SAE Technical Paper 2019-01-1246, 2019.
• Obtaining worst-case execution time bounds on modern microprocessors (PDF, 900kB) D. Kästner, M. Pister, S. Wegener, and C. Ferdinand. Embedded World Congress, Nuremberg, 2018.
• CompCert: Practical Experience on Integrating and Qualifying a Formally Verified Optimizing Compiler (PDF, 600kB) D. Kästner, J. Barrho, U. Wünsche, M. Schlickling, B. Schommer et al., in ERTS² 2018 — Embedded Real Time Software and Systems, January 2018, Toulouse, France. <hal-01643290>.
• Continuous non-intrusive hybrid WCET estimation using waypoint graphs (PDF, 660kB). B. Dreyer, C. Hochberger, A. Lange, S. Wegener and A. Weiss. Proceedings of the 16th International Workshop on Worst-Case Execution-Time Analysis (WCET 2016).