Get started
Author

Henrik Theiling

Observed names: H. Theiling, Theiling, Henrik
OpenAlex ID: A5085286554
Reliable and Precise WCET Determination for a Real-Life Processor
2001 · Christian Ferdinand, Reinhold Heckmann, et al. · Lecture notes in computer science · 279
Fast and Precise WCET Prediction by Separated Cache and Path Analyses
2000 · Henrik Theiling, Christian Ferdinand, et al. · Real-Time Systems · 247
Multi-core Interference-Sensitive WCET Analysis Leveraging Runtime Resource Capacity Enforcement
2014 · Jan Nowotsch, Michael Paulitsch, et al. · Proceedings - Euromicro Workshop on Real-Time Systems/Proceedings · 139
PDF
Extracting safe and precise control flow from binaries
2002 · H. Theiling · International Conference on Real-Time Computing Systems and Applications (RTCSA) · 124
Combining abstract interpretation and ILP for microarchitecture modelling and program path analysis
2002 · H. Theiling, C. Ferdinand · Proceedings/Proceedings - Real-Time Systems Symposium · 98
Compile-time decided instruction cache locking using worst-case execution paths
2007 · Heiko Falk, Sascha Plazar, et al. · IEEE/ACM International Conference on Hardware/Software Codesign and System Synthesis (CODES+ISSS) · 76
The shift to multicores in real-time and safety-critical systems
2015 · Selma Saidi, Rolf Ernst, et al. · International Conference on Hardware/Software Codesign and System Synthesis · 61
Multicore in Real-Time Systems – Temporal Isolation Challenges due to Shared Resources
2013 · Ondrej Kotaba, Jan Nowotsch, et al. · Design, Automation, and Test in Europe · 55
ILP-Based Interprocedural Path Analysis
2002 · Henrik Theiling · Lecture notes in computer science · 43
Design of a WCET-Aware C Compiler
2006 · Heiko Falk, Paul Lokuciejewski, et al. · IEEE/ACM/IFIP Workshop on Embedded Systems for Real-Time Multimedia (ESTIMedia) · 34
Convenient User Annotations for a WCET Tool.
2003 · Christian Ferdinand, Reinhold Heckmann, et al. · 30
Run-Time Guarantees for Real-Time Systems—The USES Approach
1999 · Christian Ferdinand, Daniel Kästner, et al. · Informatik aktuell · 26
Control flow graphs for real-time systems analysis: reconstruction from binary executables and usage in ILP-based path analysis
2002 · Theiling, Henrik · Publications of the UdS (Saarland University) · 25
Generating Decision Trees for Decoding Binaries
2001 · Henrik Theiling · ACM SIGPLAN Notices · 18
WCET-driven, code-size critical procedure cloning
2008 · Paul Lokuciejewski, Heiko Falk, et al. · 15
Generating Decision Trees for Decoding Binaries
2001 · Henrik Theiling · 10
Supporting low-latency, low-criticality tasks in a certified mixed-criticality OS
2017 · Manohar Vanga, Andrea Bastoni, et al. · International Conference on Real-Time Networks and Systems (RTNS) · 9
Influence of procedure cloning on WCET prediction
2007 · Paul Lokuciejewski, Heiko Falk, et al. · IEEE/ACM International Conference on Hardware/Software Codesign and System Synthesis (CODES+ISSS) · 7
Design of a WCET-Aware C Compiler
2006 · Falk, Heiko, Lokuciejewski, Paul, et al. · DROPS (Schloss Dagstuhl – Leibniz Center for Informatics) · 3
PDF
Embedded Virtualization Approaches for Ensuring Safety and Security within E/E Automotive Systems
2015 · Dominik Reinhardt, Daniel Adam, et al. · 2
Validierung des Zeitverhaltens von kritischer Echtzeit-Software
2003 · Christian Ferdinand, Daniel L. Kastner, et al. · 2
Using Trace Data for Run-Time Optimization of Parallel Execution in Real-Time Multi-Core Systems
2022 · Florian Schade, Timo Sandmann, et al. · IEEE International Conference on Embedded and Real-Time Computing Systems and Applications (RTCSA) · 1
Generating Decision Trees for Decoding Binaries
2001 · Henrik Theiling · 1
Forging Robust Building Blocks for Next-Gen RISC-V Chips: Virtual Repository and IP Card
2026 · Cătălin Bogdan Ciobanu, Francesco Conti, et al. · Euromicro Conference on Digital System Design (DSD)
Formal Methods in Certification of the PikeOS Hypervisor
2026 · Henrik Theiling
Works count: 31
Citation count: 1,305
H-index: 15
I10-index: 16
Year
Topic
Type