Jens Knoop, Laura Kovács, Jakob Zwirchmayr. WCET squeezing: on-demand feasibility refinement for proven precise WCET-bounds. In Michel Auguin, Robert de Simone, Robert Davis, Emmanuel Grolleau, editors, 21st International Conference on Real-Time Networks and Systems, RTNS 2013, Sophia Antipolis, France, October 17-18, 2013. pages 161-170, ACM, 2013. [doi]
Abstract is missing.