2020 IEEE/ACM 42nd International Conference on Software Engineering: New Ideas and Emerging Results (ICSE-NIER) ICSE-NIER Software Engineering: New Ideas and Emerging Results (ICSE-NIER), 2020 IEEE/ACM 42nd International Conference on. :81-84 Oct, 2020
2018 IEEE/ACM 40th International Conference on Software Engineering: New Ideas and Emerging Technologies Results (ICSE-NIER) ICSE-NIER Software Engineering: New Ideas and Emerging Technologies Results (ICSE-NIER), 2018 IEEE/ACM 40th International Conference on. :57-60 May, 2018
2015 Design, Automation & Test in Europe Conference & Exhibition (DATE) Design, Automation & Test in Europe Conference & Exhibition (DATE), 2015. :1571-1574 Mar, 2015
2013 1st FME Workshop on Formal Methods in Software Engineering (FormaliSE) Formal Methods in Software Engineering (FormaliSE), 2013 1st FME Workshop on. :22-28 May, 2013