 | Monter d'un niveau |
Eshkevari, L., Dos Santos, F., Cordy, J. R., & Antoniol, G. (mars 2015). Are PHP applications ready for Hack? [Communication écrite]. 22nd IEEE International Conference on Software Analysis, Evolution, and Reengineering (SANER 2015), Montréal, Québec. Lien externe
Eshkevari, L. M., Antoniol, G., Cordy, J. R., & Penta, M. D. (mai 2014). Identifying and locating interference issues in PHP applications: the case of WordPress [Communication écrite]. 22nd International Conference on Program Comprehension (ICPC 2014), Hyderabad, India. 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
Martin, D. H., Cordy, J. R., Adams, B., & Antoniol, G. (mai 2015). Make it simple: an empirical analysis of GNU make feature use in open source projects [Communication écrite]. 23rd IEEE International Conference on Program Comprehension (ICPC 2015), Florence, Italy. Lien externe
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
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
