DBLP Google Scholar ResearchGate ORCID

Selected papers:

2023 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
2023 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
2023 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
2023 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
2023 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
2023 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
2022 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
2022 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
2021 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
2021 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
2021 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
2020 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
2020 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
2020 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
2020 Article Machine Learning-assisted Fault Injection M. Moradi, B. Oakes, and J. Denil. Position paper at SAFECOMP 2020. paper, bib
2020 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
2019 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
2019 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
2019 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
2019 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
2019 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
2018 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
2018 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
2018 Thesis A Symbolic Execution-Based Approach To Model Transformation Verification using Structural Contracts B. Oakes. Ph.D. Dissertation. McGill University. 2018. paper, bib, presentation
2015 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
2015 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
2015 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
2014 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
2014 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
2014 Tech Report Optimizing Simulink Models B. Oakes, C. Verbrugge, H. Vangheluwe. Technical Report CS-TR-2014.5, McGill University. April 2014. paper, bib, poster
2013 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
2012 Tech Report Embedding Causal Block Diagrams Within Behaviour Trees B. Oakes. COMP 522 - Modelling and Simulation Course Project. McGill University. 2012. paper, bib, presentation
2012 Tech Report Navigating Social Spaces B. Oakes, C. Verbrugge. GRaM Technical Report No. 2012-2, McGill University, September 2012. paper, bib