1. A theory of timed automata;Alur;Theor. Comput. Sci.,1994
2. Wcet analysis of probabilistic hard real-time systems;Bernat,2002
3. Estimating the WCET of gpu-accelerated applications using hybrid analysis;Betts,2013
4. Hybrid measurement-based WCET analysis at the source level using object-level traces;Betts,2010
5. Continuous non-intrusive hybrid WCET estimation using waypoint graphs;Dreyer,2016