Raimund Kirner

Papers

Total Citations

H-Index

About

Raimund Kirner is a leading researcher in dependable embedded systems and real-time computing, with a particular focus on worst-case execution time (WCET) analysis and fault-tolerant systems. His work has significantly advanced the reliability of safety-critical applications, including autonomous robotics and avionics. One of his foundational contributions is the "Robust Certainty Grid Algorithm for Robotic Vision" (2001), which introduced a fault-tolerant approach to sensor mapping, enabling robots to maintain accurate spatial awareness despite transient sensor errors. This work, cited over 5 times, laid the groundwork for robust perception in uncertain environments. Beyond robotics, Kirner has made substantial impacts in timing analysis for real-time systems, developing methods to ensure predictable and verifiable execution in complex hardware. His research has been instrumental in bridging the gap between theoretical guarantees and practical implementation, earning recognition in top venues like IEEE Real-Time Systems Symposium. With a career spanning decades, Kirner continues to shape the field of dependable computing, inspiring students and researchers to build systems that are both efficient and trustworthy.