Sudipta Chattopadhyay, Abhik Roychoudhury. Scalable and precise refinement of cache timing analysis via path-sensitive verification. Real-Time Systems, 49(4):517-562, 2013. [doi]
@article{ChattopadhyayR13-0, title = {Scalable and precise refinement of cache timing analysis via path-sensitive verification}, author = {Sudipta Chattopadhyay and Abhik Roychoudhury}, year = {2013}, doi = {10.1007/s11241-013-9178-0}, url = {http://dx.doi.org/10.1007/s11241-013-9178-0}, researchr = {https://researchr.org/publication/ChattopadhyayR13-0}, cites = {0}, citedby = {0}, journal = {Real-Time Systems}, volume = {49}, number = {4}, pages = {517-562}, }