DBLP Google Scholar ResearchGate ORCID


Journal Article Building Domain-Specific Machine Learning Workflows: A Conceptual Framework for the State-of-the-Practice B. Oakes, M. Famelis, and H. Sahraoui. ACM Transactions on Software Engineering and Methodology paper, bib
Journal Article Fault localization in DSLTrans model transformations by combining symbolic execution and spectrum-based analysis B. Oakes, J. Troya, J. Galasso, and M. Wimmer. Journal of Software and Systems Modeling (SoSyM) 2023. paper, bib
Article openCAESAR: Balancing Agility and Rigor in Model-Based Systems Engineering M. Elaasar, N. Rouquette, D. Wagner, B. Oakes, A. Hamou-Lhadj, and M. Hamdaqa. In Proceedings of SAM 2023, ACM/IEEE International Conference on Model Driven Engineering Languages and Systems (MODELS) Companion. IEEE, 2023 paper, bib
Article Towards Understanding and Analyzing Rationale in Commit Messages using a Knowledge Graph Approach M. Dhaouadi, B. Oakes, and M. Famelis. In Proceedings of MDEIntelligence, ACM/IEEE International Conference on Model Driven Engineering Languages and Systems (MODELS) Companion. IEEE, 2023 paper, bib
Book Chapter 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. In Pires, L.F., Hammoudi, S., Seidewitz, E. (eds) Model-Driven Engineering and Software Development. MODELSWARD 2021 and 2022. Communications in Computer and Information Science, vol 1708. Springer, Cham. DOI paper, bib, arxiv
Article Examining Model Qualities and their Impact on Digital Twins B. Oakes, C. Gomes, J. Denil, J. Deantoni, J. Cambeiro, J. Fitzgerald, and P. Larsen. In 2023 Annual Modeling and Simulation Conference (ANNSIM) (pp. 220-232) paper, bib, presentation


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 End-to-End Rationale Reconstruction M. Dhaouadi, B. Oakes, and M. Famelis. 37th IEEE/ACM International Conference on Automated Software Engineering, pp. 1-5 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 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


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 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 Machine Learning-assisted Fault Injection M. Moradi, B. Oakes, and J. Denil. Position paper at SAFECOMP 2020. paper, bib
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


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 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 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 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


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 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


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