Analyzing the behavior of a program running on a processor that supports speculative
execution is crucial for applications such as execution time estimation and side channel …

Graphics Processing Units (GPUs) are widely used in safety-critical real-time systems such
as autonomous vehicles due to their high performance on artificial intelligence (AI) work …

Correct and efficient implementation of general real-time applications remains by far an
open problem. A key issue is meeting timing constraints whose satisfaction depends on …

This dissertation is concerned with static analysis of binary executables in a theoretically
well-founded, sound, yet practical way. The major challenge is the reconstruction of a correct …

We propose a general framework for abstraction with respect to quantitative properties, such
as worst-case execution time, or power consumption. Our framework provides a systematic …

Ensuring security in real-time and safety-critical systems is becoming extremely challenging,
in particular due to the increasingly connectivity of these systems, such as in emerging …

Intuitively, a counter-intuitive timing anomaly manifests when a locally faster execution
becomes globally slower. While the presence of such timing anomalies threatens the …

As one of the fundamental optimizations in modern processors, the out-of-order execution
boosts the pipeline throughput by executing independent instructions in parallel rather than …

I point to some challenges for WCET analysis offered in the transition to integrated mixed-
criticality systems (MCSs) and to multi-core platforms, claim that proposed certification …

Real-time embedded systems need to be analyzable for timing guarantees. Despite
significant scientific advances, however, timing analysis lags years behind current …