 | Up a level |
Collaboration networkThis graph maps the connections between all the collaborators of {}'s publications listed on this page.
Each link represents a collaboration on the same publication. The thickness of the link represents the number of collaborations.
Use the mouse wheel or scroll gestures to zoom into the graph.
You can click on the nodes and links to highlight them and move the nodes by dragging them.
Hold down the "Ctrl" key or the "⌘" key while clicking on the nodes to open the list of this person's publications.
Oakes, B., Troya, J., Lucio, L., & Wimmer, M. (2015, September). Full contract verification for ATL using symbolic execution [Paper]. 18th ACM/IEEE International Conference on Model Driven Engineering Languages and Systems (MODELS 2015), Ottawa, Canada. Published in Software and Systems Modeling, 17(3). External link
Oakes, B., Troya, J., Lucio, L., & Wimmer, M. (2015, September). Fully verifying transformation contracts for declarative ATL [Paper]. 18th ACM/IEEE International Conference on Model Driven Engineering Languages and Systems (MODELS 2015), Ottawa, Canada. External link
Lucio, L., Oakes, B., Gomes, C., Selim, G. M. K., Dingel, J., Cordy, J. R., & Vangheluwe, H. (2015, September). SyVOLT: Full Model Transformation Verification Using Contract [Paper]. Model Driven Engineering Languages and Systems (MODELS 2015), Ottawa, Ont.. External link
Selim, G. M. K., Lucio, L., Cordy, J. R., Dingel, J., & Oakes, B. (2014, July). Specification and verification of graph-based model transformation properties [Paper]. 7th International Conference on Graph Transformation (ICGT 2014) held as part of Conference on Software Technologies - Applications and Foundations (STAF 2014), York, England. External link
