2019 ACM/IEEE 22nd International Conference on Model Driven Engineering Languages and Systems Companion (MODELS-C) MODELS-C Model Driven Engineering Languages and Systems Companion (MODELS-C), 2019 ACM/IEEE 22nd International Conference on. :598-604 Sep, 2019
2019 IEEE/ACM 7th International Conference on Formal Methods in Software Engineering (FormaliSE) Formal Methods in Software Engineering (FormaliSE), 2019 IEEE/ACM 7th International Conference on. :41-50 May, 2019
2017 ACM/IEEE 20th International Conference on Model Driven Engineering Languages and Systems (MODELS) MODELS Model Driven Engineering Languages and Systems (MODELS), 2017 ACM/IEEE 20th International Conference on. :83-92 Sep, 2017
2016 IEEE/ACM 11th International Workshop in Automation of Software Test (AST) AST Automation of Software Test (AST), 2016 IEEE/ACM 11th International Workshop in. :15-21 May, 2016
2012 First IEEE International Workshop on the Twin Peaks of Requirements and Architecture (TwinPeaks) Twin Peaks of Requirements and Architecture (Twin Peaks), 2012 IEEE First International Workshop on the. :27-30 Sep, 2012
2012 First International Workshop on Formal Methods in Software Engineering: Rigorous and Agile Approaches (FormSERA) Software Engineering: Rigorous and Agile Approaches (FormSERA), 2012 Formal Methods in. :9-15 Jun, 2012
2010 IEEE 18th International Conference on Program Comprehension Program Comprehension (ICPC), 2010 IEEE 18th International Conference on. :94-103 Jun, 2010