Sudipta Chattopadhyay, Abhik Roychoudhury. Scalable and Precise Refinement of Cache Timing Analysis via Model Checking. In Proceedings of the 32nd IEEE Real-Time Systems Symposium, RTSS 2011, Vienna, Austria, November 29 - December 2, 2011. pages 193-203, IEEE Computer Society, 2011. [doi]
Abstract is missing.