2019 Design, Automation & Test in Europe Conference & Exhibition (DATE) Design, Automation & Test in Europe Conference & Exhibition (DATE), 2019. :186-191 Mar, 2019
2010 IEEE/ACM International Conference on Computer-Aided Design (ICCAD) Computer-Aided Design (ICCAD), 2010 IEEE/ACM International Conference on. :778-785 Nov, 2010
Eighth ACM/IEEE International Conference on Formal Methods and Models for Codesign (MEMOCODE 2010) Formal Methods and Models for Codesign (MEMOCODE), 2010 8th IEEE/ACM International Conference on. :149-158 Jul, 2010
2010 Design, Automation & Test in Europe Conference & Exhibition (DATE 2010) Design, Automation & Test in Europe Conference & Exhibition (DATE), 2010. :961-964 Mar, 2010
2008 IEEE/ACM International Conference on Computer-Aided Design Computer-Aided Design, 2008. ICCAD 2008. IEEE/ACM International Conference on. :434-441 Nov, 2008