2014 Twelfth ACM/IEEE Conference on Formal Methods and Models for Codesign (MEMOCODE) Formal Methods and Models for Codesign (MEMOCODE), 2014 Twelfth ACM/IEEE International Conference on. :209-218 Oct, 2014
2013 Eleventh ACM/IEEE International Conference on Formal Methods and Models for Codesign (MEMOCODE 2013) Formal Methods and Models for Codesign (MEMOCODE), 2013 Eleventh IEEE/ACM International Conference on. :87-96 Oct, 2013
2013 International Conference on Embedded Computer Systems: Architectures, Modeling, and Simulation (SAMOS) Embedded Computer Systems: Architectures, Modeling, and Simulation (SAMOS XIII), 2013 International Conference on. :145-154 Jul, 2013