@inproceedings{Sewell_KH_16, address = {Vienna, Austria}, author = {Sewell, Thomas and Kam, Felix and Heiser, Gernot}, booktitle = {IEEE Real-Time and Embedded Technology and Applications Symposium (RTAS)}, keywords = {wcet, sel4, real-time, translation validation}, month = apr, paperurl = {https://trustworthy.systems/publications/nicta_full_text/9118.pdf}, title = {Complete, High-Assurance Determination of Loop Bounds and Infeasible Paths for {WCET} Analysis}, year = {2016} }