DBLP Google Scholar ResearchGate ORCID

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

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

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

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

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

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

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

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

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
Tech Report Navigating Social Spaces B. Oakes, C. Verbrugge. GRaM Technical Report No. 2012-2, McGill University, September 2012. paper, bib