2021 Design, Automation & Test in Europe Conference & Exhibition (DATE) Design, Automation & Test in Europe Conference & Exhibition (DATE), 2021. :974-979 Feb, 2021
2019 IEEE 49th International Symposium on Multiple-Valued Logic (ISMVL) ISMVL International Symposium on Multiple-Valued Logic (ISMVL), 2019 IEEE 49th. :61-66 May, 2019
2016 Sixth International Symposium on Embedded Computing and System Design (ISED) Embedded Computing and System Design (ISED), 2016 Sixth International Symposium on. :18-23 Dec, 2016
2016 ACM/IEEE International Conference on Formal Methods and Models for System Design (MEMOCODE) Formal Methods and Models for System Design (MEMOCODE), 2016 ACM/IEEE International Conference on. :65-70 Nov, 2016
2016 ACM/IEEE International Conference on Formal Methods and Models for System Design (MEMOCODE) Formal Methods and Models for System Design (MEMOCODE), 2016 ACM/IEEE International Conference on. :78-84 Nov, 2016
2016 IEEE 46th International Symposium on Multiple-Valued Logic (ISMVL) Multiple-Valued Logic (ISMVL), 2016 IEEE 46th International Symposium on. :44-49 May, 2016
2015 ACM/IEEE 18th International Conference on Model Driven Engineering Languages and Systems (MODELS) Model Driven Engineering Languages and Systems (MODELS), 2015 ACM/IEEE 18th International Conference on. :176-185 Sep, 2015