Henrik Thane
Papers
1
Total Citations
15
H-Index
1
About
Henrik Thane’s research has been instrumental in advancing the debugging and testing of complex real-time systems, particularly through the development of deterministic replay techniques. His most-cited work, “Replay Debugging of Complex Real-Time Systems: Experiences from Two Industrial Case Studies” (2003, 15 citations), demonstrates how deterministic replay enables developers to debug multitasking real-time systems using standard interactive debuggers—a significant leap from earlier academic prototypes. Thane’s contributions address critical challenges in ensuring reliability and correctness in time-sensitive environments, bridging the gap between theoretical methods and practical industrial application. His focus on real-time systems has influenced both embedded systems design and software engineering practices, with his case studies providing concrete evidence of replay debugging’s effectiveness. While his citation count reflects a niche but impactful area, Thane’s work remains foundational for researchers and engineers tackling debugging in resource-constrained, concurrent systems. His achievements underscore the importance of translating academic innovations into tools that solve real-world industrial problems, making him a key figure in the evolution of real-time system verification.
Research Focus
Key Achievements
Top Papers
- 1