2023 IEEE International Conference on Energy Technologies for Future Grids (ETFG) Energy Technologies for Future Grids (ETFG), 2023 IEEE International Conference on. :1-6 Dec, 2023
2021 19th ACM-IEEE International Conference on Formal Methods and Models for System Design (MEMOCODE) Formal Methods and Models for System Design (MEMOCODE), 2021 19th ACM-IEEE International Conference on. :134-141 Nov, 2021