Duc-Hiep Chu
EMSOFT 2013: 13th International Conference on Embedded Software
Path-Sensitive Resource Analysis Compliant with Assertions
EMSOFT 2011: 11th International Conference on Embedded Software
Symbolic Simulation on Complicated Loops for WCET Path Analysis