Abhijeet Banerjee, Sudipta Chattopadhyay, Abhik Roychoudhury. Precise micro-architectural modeling for WCET analysis via AI+SAT. In 19th IEEE Real-Time and Embedded Technology and Applications Symposium, RTAS 2013, Philadelphia, PA, USA, April 9-11, 2013. pages 87-96, IEEE Computer Society, 2013. [doi]
@inproceedings{BanerjeeCR13,
title = {Precise micro-architectural modeling for WCET analysis via AI+SAT},
author = {Abhijeet Banerjee and Sudipta Chattopadhyay and Abhik Roychoudhury},
year = {2013},
doi = {10.1109/RTAS.2013.6531082},
url = {http://doi.ieeecomputersociety.org/10.1109/RTAS.2013.6531082},
researchr = {https://researchr.org/publication/BanerjeeCR13},
cites = {0},
citedby = {0},
pages = {87-96},
booktitle = {19th IEEE Real-Time and Embedded Technology and Applications Symposium, RTAS 2013, Philadelphia, PA, USA, April 9-11, 2013},
publisher = {IEEE Computer Society},
isbn = {978-1-4799-0186-9},
}