2018 International Conference on Advancements in Computational Sciences (ICACS) Advancements in Computational Sciences (ICACS), 2018 International Conference on. :1-9 Feb, 2018
2015 ACM/IEEE International Conference on Formal Methods and Models for Codesign (MEMOCODE) Formal Methods and Models for Codesign (MEMOCODE), 2015 ACM/IEEE International Conference on. :61-69 Sep, 2015