Sebastian Fischmeister

In this paper, we provide evidence that the community structure of real-world SAT instances is correlated with the running time of CDCL SAT solvers. Expand

In this work, we propose an instrumentation technique for applications with temporal constraints, specifically targeting background/foreground or cyclic executive systems. Expand

We propose a technique for enhancing generality of performance models across different hardware environments using linear transformation and demonstrate its generality using three real-world software systems. Expand

In this paper, we introduce a time-triggered approach for runtime verification of sequential systems where the monitor is timetriggered. Expand

In this work, we introduce a class of conditional task models and derive efficient schedulability analysis techniques for them. Expand

The design of safety-critical systems has typically adopted static techniques to simplify error detection and fault tolerance. Expand

We propose inter-arrival curves as a novel analytic modelling technique for discrete event traces that can detect anomalies in the behaviour of real-time systems. Expand

We introduce a time-triggered runtime verification method that can reduce the runtime overhead of a program under scrutiny at run time. Expand