Franck Cassez. Timed Games for Computing WCET for Pipelined Processors with Caches. In Benoît Caillaud, Josep Carmona, Kunihiko Hiraishi, editors, 11th International Conference on Application of Concurrency to System Design, ACSD 2011, Newcastle Upon Tyne, UK, 20-24 June, 2011. pages 195-204, IEEE, 2011. [doi]
Abstract is missing.