| 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 | 27 | 2014 |
| 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 | 20 | 2016 |
| HintCO - Hint-Based Configuration of Co-Simulations C Gomes, BJ Oakes, M Moradi, AT Gámiz, JC Mendo, S Dutré, J Denil, ... Proceedings of the 9th International Conference on Simulation and Modeling …, 2019 | 19 | 2019 |
| 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 | 16 | 2015 |
| 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 | 12 | 2015 |
| Exploring Fault Parameter Space Using Reinforcement Learning-Based Fault Injection M Moradi, BJ Oakes, M Saraoglu, A Morozov, K Janschek, J Denil Dependable Systems and Networks Workshops (DSN-W), 102-109, 2020 | 11 | 2020 |
| 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 | 11 | 2014 |
| Hint-Based Configuration of Co-simulations with Algebraic Loops BJ Oakes, C Gomes, FR Holzinger, M Benedikt, J Denil, H Vangheluwe Revised Selected Papers of SIMULTECH 2019: Simulation and Modeling …, 2020 | 9 | 2020 |
| Validating Industrial Requirements with a Contract-Based Approach M Bernaerts, BJ Oakes, K Vanherpen, B Aelvoet, H Vangheluwe, J Denil 2019 ACM/IEEE 22nd International Conference on Model Driven Engineering …, 2019 | 8 | 2019 |
| Practical and Theoretical Issues of Evolving Behaviour Trees for a Turn-based Game BJ Oakes McGill University, 2013 | 7 | 2013 |
| Exploring Validity Frames in Practice S Van Mierlo, BJ Oakes, B Van Acker, R Eslampanah, J Denil, ... International Conference on Systems Modelling and Management, 131-148, 2020 | 6 | 2020 |
| Validity Frame Concept as Effort-Cutting Technique within the Verification and Validation of Complex Cyber-Physical Systems B Van Acker, BJ Oakes, M Moradi, P Demeulenaere, J Denil Proceedings of the 23rd ACM/IEEE International Conference on Model Driven …, 2020 | 4 | 2020 |
| A Model-Driven Engineering Framework to Support the Functional Safety Process B Meyers, K Gadeyne, B Oakes, M Bernaerts, H Vangheluwe, J Denil 2019 ACM/IEEE 22nd International Conference on Model Driven Engineering …, 2019 | 4 | 2019 |
| Optimizing Fault Injection in FMI Co-Simulation through Sensitivity Partitioning M Moradi, C Gomes, BJ Oakes, J Denil Summer Simulation Conference, 2019 | 4 | 2019 |
| 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 | 4 | 2015 |
| Optimizing Simulink Models BJ Oakes McGill University, 2014 | 4 | 2014 |
| The Computational Notebook Paradigm for Multi-Paradigm Modeling BJ Oakes, R Franceschini, S Van Mierlo, H Vangheluwe 2019 ACM/IEEE 22nd International Conference on Model Driven Engineering …, 2019 | 3 | 2019 |
| 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 | 3 | 2018 |
| Improving Digital Twin Experience Reports BJ Oakes, A Parsai, S Van Mierlo, S Demeyer, J Denil, P De Meulenaere, ... 9th International Conference on Model-Driven Engineering and Software …, 2021 | 2 | 2021 |
| Machine Learning-assisted Fault Injection M Moradi, BJ Oakes, J Denil 39th International Conference on Computer Safety, Reliability and Security …, 2020 | 2 | 2020 |
Hans VangheluweProfessor at University of Antwerp -- Flanders MakeVerified email at uantwerpen.be
