Improving the Precision of WCET Analysis by Input Constraints and Model-Derived Flow Constraints

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]

Authors

Reinhard Wilhelm

This author has not been identified. Look up 'Reinhard Wilhelm' in Google

Philipp Lucas

This author has not been identified. Look up 'Philipp Lucas' in Google

Oleg Parshin

This author has not been identified. Look up 'Oleg Parshin' in Google

Lili Tan

This author has not been identified. Look up 'Lili Tan' in Google

Björn Wachter

This author has not been identified. Look up 'Björn Wachter' in Google