Search results for: Insup Lee
Theoretical Computer Science > 2012 > 413 > 1 > 2-20
IEEE Security & Privacy > 2012 > 10 > 5 > 61 - 63
IEEE Security & Privacy > 2012 > 10 > 6 > 70 - 73
Proceedings of the IEEE > 2012 > 100 > 1 > 75 - 90
Real-Time Systems > 2012 > 48 > 4 > 430-462
International Journal on Software Tools for Technology Transfer > 2012 > 14 > 3 > 243-247
The Journal of Systems & Software > 2011 > 84 > 12 > 2324-2333