Reinhard Wilhelm, Philipp Lucas, Oleg Parshin, Lili Tan, Björn Wachter. Improving the Precision of WCET Analysis by Input Constraints and Model-Derived Flow Constraints. In Samarjit Chakraborty, Jörg Eberspächer, editors, Advances in Real-Time Systems (to Georg Färber on the occasion of his appointment as Professor Emeritus at TU München after leading the Lehrstuhl für Realzeit-Computersysteme for 34 illustrious years). pages 123-143, Springer, 2012. [doi]
Abstract is missing.