2020 IEEE/ACM 8th International Conference on Formal Methods in Software Engineering (FormaliSE) FORMALISE Formal Methods in Software Engineering (FormaliSE), 2020 IEEE/ACM 8th International Conference on. :130-140 May, 2020
2018 IEEE/ACM 10th International Workshop on Modelling in Software Engineering (MiSE) MISE Modelling in Software Engineering (MiSE), 2018 IEEE/ACM 10th International Workshop on. :33-40 May, 2018
2016 4th International Conference on Model-Driven Engineering and Software Development (MODELSWARD) Model-Driven Engineering and Software Development (MODELSWARD), 2016 4th International Conference on. :52-64 Feb, 2016
2015 ACM/IEEE 18th International Conference on Model Driven Engineering Languages and Systems (MODELS) Model Driven Engineering Languages and Systems (MODELS), 2015 ACM/IEEE 18th International Conference on. :348-357 Sep, 2015
2014 2nd International Conference on Model-Driven Engineering and Software Development (MODELSWARD) Model-Driven Engineering and Software Development (MODELSWARD), 2014 2nd International Conference on. :235-245 Jan, 2014