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]
@inproceedings{WilhelmLPTW12,
title = {Improving the Precision of WCET Analysis by Input Constraints and Model-Derived Flow Constraints},
author = {Reinhard Wilhelm and Philipp Lucas and Oleg Parshin and Lili Tan and Björn Wachter},
year = {2012},
doi = {10.1007/978-3-642-24349-3_6},
url = {http://dx.doi.org/10.1007/978-3-642-24349-3_6},
researchr = {https://researchr.org/publication/WilhelmLPTW12},
cites = {0},
citedby = {0},
pages = {123-143},
booktitle = {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)},
editor = {Samarjit Chakraborty and Jörg Eberspächer},
publisher = {Springer},
isbn = {978-3-642-24348-6},
}