Concepedia

Henrik Theiling

HT

13

Publications

908

Citations

12

H-Index

2000

Active since

Affiliations

AbsInt (Germany)(Current)

Saarland University

TU Dortmund University

Kuraray (United States)

Airbus (France)

Henrik Theiling is an author at AbsInt (Germany) specializing in engineering, computer science, and computer engineering.

Top concepts

EngineeringComputer ScienceSystem SoftwareComputer EngineeringComputer ArchitectureParallel ComputingSystems EngineeringSoftware EngineeringProgram AnalysisSoftware Analysis

Publications per year

2000–2015

13

Publications

13

Fast and Precise WCET Prediction by Separated Cache and Path Analyses

Henrik Theiling, Christian Ferdinand, Reinhard Wilhelm · Real-Time Systems · 2000 · 238 citations

Multi-core Interference-Sensitive WCET Analysis Leveraging Runtime Resource Capacity Enforcement

Jan Nowotsch, Michael Paulitsch, Daniel Bühler et al. · 2014 · 135 citations

Engineering, Dynamic Resource Allocation, Quality-of-service +20

Extracting safe and precise control flow from binaries

Henrik Theiling · 2002 · 119 citations

Engineering, Compiler Technology, Computer Architecture +21

Combining abstract interpretation and ILP for microarchitecture modelling and program path analysis

Henrik Theiling, Christian Ferdinand · 2002 · 99 citations

Hardware Modeling, Engineering, Computer Architecture +24

Compile-time decided instruction cache locking using worst-case execution paths

Heiko Falk, Sascha Plazar, Henrik Theiling · 2007 · 74 citations

Wcet Analysis, Engineering, Computer Architecture +22

Rows per page

1–5 of 13