Henrik Theiling

20 papers A 1B 3C 1Misc 6Journal 1Unranked 7

Year	Rank	Type	Title / Venue / Authors
2022	B	`conf`	Using Trace Data for Run-Time Optimization of Parallel Execution in Real-Time Multi-Core Systems. RTCSA Florian Schade, Timo Sandmann, Jürgen Becker, Henrik Theiling
2017	Misc	`conf`	Supporting low-latency, low-criticality tasks in a certified mixed-criticality OS. RTNS Manohar Vanga, Andrea Bastoni, Henrik Theiling, Björn B. Brandenburg
2015	Misc	`conf`	The shift to multicores in real-time and safety-critical systems. CODES+ISSS Selma Saidi, Rolf Ernst, Sascha Uhrig, Henrik Theiling, Benoît Dupont de Dinechin
2014	B	`conf`	Multi-core Interference-Sensitive WCET Analysis Leveraging Runtime Resource Capacity Enforcement. ECRTS Jan Nowotsch, Michael Paulitsch, Daniel Buhler, Henrik Theiling, Simon Wegener, Michael Schmidt
2008	C	`conf`	WCET-driven, code-size critical procedure cloning. SCOPES Paul Lokuciejewski, Heiko Falk, Peter Marwedel, Henrik Theiling
2007	Misc	`conf`	Compile-time decided instruction cache locking using worst-case execution paths. CODES+ISSS Heiko Falk, Sascha Plazar, Henrik Theiling
2007	Misc	`conf`	Influence of procedure cloning on WCET prediction. CODES+ISSS Paul Lokuciejewski, Heiko Falk, Martin Schwarzer, Peter Marwedel, Henrik Theiling
2006	—	`conf`	Design of a WCET-Aware C Compiler. ESTIMedia Heiko Falk, Paul Lokuciejewski, Henrik Theiling
2006	—	`conf`	Design of a WCET-Aware C Compiler. WCET Heiko Falk, Paul Lokuciejewski, Henrik Theiling
2003	—	`—`	Control flow graphs for real-time systems analysis: reconstruction from binary executables and usage in ILP-based path analysis. Henrik Theiling
2003	—	`conf`	Convenient User Annotations for a WCET Tool. WCET Christian Ferdinand, Reinhold Heckmann, Henrik Theiling, Reinhard Wilhelm
2003	—	`conf`	Validierung des Zeitverhaltens von kritischer Echtzeit-Software. GI Jahrestagung (1) Christian Ferdinand, Daniel Kästner, Florian Martin, Marc Langenbach, Martin Sicks, Stephan Wilhelm, Reinhold Heckmann, Nicolas Fritz, Stephan Thesing, Frank Fontaine, Henrik Theiling, Michael Schmidt, Alexander A. Evstiougov-Babaev, Reinhard Wilhelm
2002	Misc	`conf`	ILP-Based Interprocedural Path Analysis. EMSOFT Henrik Theiling
2001	—	`conf`	Generating Decision Trees for Decoding Binaries. LCTES/OM Henrik Theiling
2001	—	`conf`	Generating Decision Trees for Decoding Binaries. OM@PLDI Henrik Theiling
2001	Misc	`conf`	Reliable and Precise WCET Determination for a Real-Life Processor. EMSOFT Christian Ferdinand, Reinhold Heckmann, Marc Langenbach, Florian Martin, Michael Schmidt, Henrik Theiling, Stephan Thesing, Reinhard Wilhelm
2000	B	`conf`	Extracting safe and precise control flow from binaries. RTCSA Henrik Theiling
2000	J	`jnl`	Fast and Precise WCET Prediction by Separated Cache and Path Analyses. Real Time Syst. Henrik Theiling, Christian Ferdinand, Reinhard Wilhelm
1999	—	`conf`	Run-Time Guarantees for Real-Time Systems - The USES Approach. GI Jahrestagung Christian Ferdinand, Daniel Kästner, Marc Langenbach, Florian Martin, Michael Schmidt, Jörn Schneider, Henrik Theiling, Stephan Thesing, Reinhard Wilhelm
1998	A	`conf`	Combining Abstract Interpretation and ILP for Microarchitecture Modelling and Program Path Analysis. RTSS Henrik Theiling, Christian Ferdinand