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. :98-103 Nov, 2021
2018 IEEE International Conference on Information Reuse and Integration (IRI) IRI Information Reuse and Integration (IRI), 2018 IEEE International Conference on. :518-525 Jul, 2018