Pre-print A digital twin description framework and its mapping to asset administration shell B. Oakes, A. Parsai, B. Meyers, I. David, S. Van Mierlo, S. Demeyer, J. Denil, P. De Meulenaere, and H. Vangheluwe. arXiv preprint arXiv:2209.12661 paper, bib
Pre-print End-to-End Rationale Reconstruction M. Dhaouadi, B. Oakes, and M. Famelis. arXiv preprint arXiv:2209.00398 paper, bib
Pre-print Building Domain-Specific Machine Learning Workflows: A Conceptual Framework for the State-of-the-Practice B. Oakes, M. Famelis, and H. Sahraoui. arXiv preprint arXiv:2203.08638 paper, bib
Book Chapter An Architecture and Reference Implementation for WSN-Based IoT Systems B. Karaduman, B. Oakes, R. Eslampanah, J. Denil, H. Vangheluwe, and M. Challenger. Emerging Trends in IoT and Integration with Data Science, Cloud Computing, and Big Data Analytics, IGI Global (pp. 80-103). paper, bib


Article Machine Learning-Based Fault Injection for Hazard Analysis and Risk Assessment B. Oakes, M. Moradi, S. Van Mierlo, H. Vangheluwe, and J. Denil. International Conference on Computer Safety, Reliability, and Security (pp. 178-192) paper, bib
Article Structuring and Accessing Knowledge for Historical and Streaming Digital Twins B. Oakes, B. Meyers, D. Janssens, and H. Vangheluwe. First Workshop on Ontology-Driven Conceptual Modeling of Digital Twins (pp. 1-13) paper, bib
Article Improving Digital Twin Experience Reports B. Oakes, A. Parsai, S. Van Mierlo, S. Demeyer, J. Denil, P. Demeulenaere, and H. Vangheluwe. Proceedings of the 9th International Conference on Model-Driven Engineering and Software Development - Volume 1: MODELSWARD, 2021 paper, bib, presentation, video


Article Validity Frame Concept as Effort-Cutting Technique within the Verification and Validation of Complex Cyber-Physical Systems B. Van Acker, B. Oakes, M. Moradi, P. Demeulenaere, and J. Denil. Proceedings of the 17th Workshop on Model Driven Engineering, Verification and Validation at MODELS 2020 paper, bib
Book Chapter Hint-Based Configuration of Co-simulations with Algebraic Loops B. Oakes, C. Gomes, F. Holzinger, M. Benedikt, J. Denil, and H. Vangheluwe. Revised Selected Papers of SIMULTECH 2019. 2020. paper, bib
Article Machine Learning-assisted Fault Injection M. Moradi, B. Oakes, and J. Denil. Position paper at SAFECOMP 2020. paper, bib
Article Exploring Fault Parameter Space Using Reinforcement Learning-based Fault Injection M. Moradi, B. Oakes, M. Saraoglu, A. Morozov, K. Janschek and J. Denil. Proceedings of SSIV at Dependable Systems and Networks Workshops 2020. paper, bib
Article Exploring Validity Frames in Practice S. Van Mierlo, B. Oakes, B. Van Acker, R. Eslampanah, J. Denil, and H. Vangheluwe. Proceedings of ICSMM at STAF 2020. paper, bib


Article A Model-Driven Engineering Framework to Support the Functional Safety Process B. Meyers, K. Gadeyne, B. Oakes, M. Bernaerts, H. Vangheluwe, and J. Denil. Proceedings of DevOps at MODELS 2019. paper, bib
Article The Computational Notebook Paradigm for Multi-Paradigm Modeling B. Oakes, R. Franceschini, S. Van Mierlo, H. Vangheluwe. Proceedings of MPM4CPS at MODELS 2019. paper, bib, presentation
Article Validating Industrial Requirements with a Contract-Based Approach M. Bernaerts, B. Oakes, K. Vanherpen, B. Aelvoet, H. Vangheluwe, and J. Denil. Proceedings of MASE at MODELS 2019. paper, bib, presentation
Article Optimizing Fault Injection in FMI Co-Simulation Through Sensitivity Partitioning M. Moradi, C. Gomes, B. Oakes, J. Denil. Proceedings of SummerSim 2019. paper, bib, presentation
Article HintCO – Hint-Based Configuration of Co-Simulations - Winner of the Best Student Paper Award C. Gomes, B. Oakes, M. Moradi, A. Gámiz, J. Mendo, S. Dutré, J. Denil, H. Vangheluwe. Proceedings of Simulation and Modeling Methodologies, Technologies and Applications (SIMULTECH) 2019. paper, bib, presentation


Article Debugging of Model Transformations and Contracts in SyVOLT B. Oakes, C. Verbrugge, L. Lúcio, H. Vangheluwe. Proceedings of MDEbug at MODELS 2018. paper, bib, presentation
Thesis A Symbolic Execution-Based Approach To Model Transformation Verification using Structural Contracts B. Oakes. Ph.D. Dissertation. McGill University. 2018. paper, bib, presentation
Journal Article Full Contract Verification for ATL using Symbolic Execution B. Oakes, J. Troya, L. Lúcio, M. Wimmer. Software and Systems Modeling 2018 (pp. 1-35). Springer Berlin Heidelberg. paper, bib


Article Fully Verifying Transformation Contracts for Declarative ATL B. Oakes, J. Troya, L. Lúcio, M. Wimmer. Proceedings of MODELS 2015 (pp. 256-265). paper, bib, presentation
Article SyVOLT: Full Model Transformation Verification Using Contracts L. Lúcio, B. Oakes, C. Gomes, G. Selim, J. Dingel, J. R. Cordy, H. Vangheluwe. Proceedings of MODELS 2015 (pp. 24-27). paper, bib, poster, SyVOLT Contract Prover Video
Article Finding and Fixing Bugs in Model Transformations with Formal Verification: An Experience Report G. Selim, J. R. Cordy, J. Dingel, L. Lúcio, B. Oakes. Proceedings of Analysis of Model Transformations 2015 (pp. 26-35). paper, bib


Tech Report A Technique for Symbolically Verifying Properties of Graph-based Model Transformations L. Lúcio, B. Oakes, H. Vangheluwe. Technical Report SOCS-TR-2014.1, McGill University. paper, bib
Article Specification and Verification of Graph-Based Model Transformation Properties G. Selim, L. Lúcio, J. Cordy, J. Dingel, B.Oakes. Proceedings of Graph Transformation 2014 (pp. 113-129). Springer International Publishing. paper, bib
Tech Report Optimizing Simulink Models B. Oakes, C. Verbrugge, H. Vangheluwe. Technical Report CS-TR-2014.5, McGill University. April 2014. paper, bib, poster


Master's Thesis Practical and Theoretical Issues of Evolving Behaviour Trees for a Turn-based Game B. Oakes. McGill University, August 2013. paper, bib, presentation


Tech Report Navigating Social Spaces B. Oakes, C. Verbrugge. GRaM Technical Report No. 2012-2, McGill University, September 2012. paper, bib
Tech Report Embedding Causal Block Diagrams Within Behaviour Trees B. Oakes. COMP 522 - Modelling and Simulation Course Project. McGill University. 2012. paper, bib, presentation