2018 2nd International Conference on Smart Grid and Smart Cities (ICSGSC) Smart Grid and Smart Cities (ICSGSC), 2018 2nd International Conference on. :137-141 Aug, 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. :56-59 Sep, 2015
2015 International Symposium on Computer Science and Software Engineering (CSSE) Computer Science and Software Engineering (CSSE), 2015 International Symposium on. :1-6 Aug, 2015
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. :205-208 Oct, 2014