2017 IEEE 26th International Conference on Enabling Technologies: Infrastructure for Collaborative Enterprises (WETICE) WETICE Enabling Technologies: Infrastructure for Collaborative Enterprises (WETICE), 2017 IEEE 26th International Conference on. :263-268 Jun, 2017
2017 IEEE/ACM 5th International FME Workshop on Formal Methods in Software Engineering (FormaliSE) FORMALISE Formal Methods in Software Engineering (FormaliSE), 2017 IEEE/ACM 5th International FME Workshop on. :24-30 May, 2017
2016 IEEE/ACM 38th International Conference on Software Engineering Companion (ICSE-C) ICSE-C Software Engineering Companion (ICSE-C), IEEE/ACM International Conference on. :744-746 May, 2016