Bentley James Oakes
Bentley James Oakes
Post-Doctoral Researcher, University of Antwerp
Verified email at uantwerpen.be - Homepage
TitleCited byYear
Specification and Verification of Graph-Based Model Transformation Properties
GMK Selim, L Lúcio, JR Cordy, J Dingel, BJ Oakes
International Conference on Graph Transformation, 113-129, 2014
242014
Fully Verifying Transformation Contracts for Declarative ATL
BJ Oakes, J Troya, L Lúcio, M Wimmer
Model Driven Engineering Languages and Systems (MODELS), 256-265, 2015
132015
Full contract verification for ATL using symbolic execution
BJ Oakes, J Troya, L Lúcio, M Wimmer
Software & Systems Modeling 17 (3), 815-849, 2016
102016
SyVOLT: Full Model Transformation Verification Using Contracts
L Lúcio, BJ Oakes, C Gomes, GMK Selim, J Dingel, JR Cordy, ...
Model Driven Engineering Languages and Systems (MODELS), 24-27, 2015
102015
A technique for symbolically verifying properties of graph-based model transformations
L Lúcio, BJ Oakes, H Vangheluwe
Technical report, Technical Report SOCS-TR-2014.1, McGill U, 2014
102014
Finding and Fixing Bugs in Model Transformations with Formal Verification: An Experience Report
GMK Selim, JR Cordy, J Dingel, L Lúcio, BJ Oakes
Analysis of Model Transformations co-located at MODELS 2015, 26-35, 2015
32015
Practical and Theoretical Issues of Evolving Behaviour Trees for a Turn-based Game
BJ Oakes
McGill University, 2013
32013
Optimizing Simulink Models
BJ Oakes
McGill University, 2014
22014
A Symbolic Execution-Based Approach To Model Transformation Verification using Structural Contracts
BJ Oakes
McGill University, 2018
12018
Debugging of Model Transformations and Contracts in SyVOLT
BJ Oakes, L Lúcio, C Verbrugge, H Vangheluwe
Proceedings of MDEbug co-located with MODELS 2018, 532-537, 2018
12018
Navigating Social Spaces
BJ Oakes, C Verbrugge
2012
Embedding Causal Block Diagrams Within Behaviour Trees
BJ Oakes
2012
The system can't perform the operation now. Try again later.
Articles 1–12