Monter d'un niveau |
Selim, G. M. K., Cordy, J. R., Dingel, J., Lúcio, L., & Oakes, B. (septembre 2015). Finding and fixing bugs in model transformations with formal verification: An experience report [Communication écrite]. 4th Workshop on the Analysis of Model Transformations co-located with the 18th International Conference on Model Driven Engineering Languages and Systems (MODELS 2015), Ottawa, Ont.. Lien externe
Lucio, L., Oakes, B., Gomes, C., Selim, G. M. K., Dingel, J., Cordy, J. R., & Vangheluwe, H. (septembre 2015). SyVOLT: Full Model Transformation Verification Using Contract [Communication écrite]. Model Driven Engineering Languages and Systems (MODELS 2015), Ottawa, Ont.. Lien externe
Selim, G. M. K., Lucio, L., Cordy, J. R., Dingel, J., & Oakes, B. (juillet 2014). Specification and verification of graph-based model transformation properties [Communication écrite]. 7th International Conference on Graph Transformation (ICGT 2014) held as part of Conference on Software Technologies - Applications and Foundations (STAF 2014), York, England. Lien externe