DBLP Google Scholar ResearchGate ORCID

Selected papers:

2024 Article Toward Intelligent Generation of Tailored Graphical Concrete Syntax M. Ben Chaaben, O. Ben Sghaier, M. Dhaouadi, N. Elrasheed, I. Darif, I. Jaoua, B. Oakes, E. Syriani, M. Hamdaqa In Proceedings of Model Driven Engineering Languages and Systems (MODELS) (pp. 160-171) https://doi.org/10.1145/3640310.3674085 paper
2024 Article Towards Ontological Service-Driven Engineering of Digital Twins B. Oakes, C. Gomes, E. Kamburjan, G. Abbiati, E.E. Bas and S. Engelsgaard. In Proceedings of the International Conference on Engineering Digital Twins (EDTconf) in the MODELS Companion (MODELS-C) https://doi.org/10.1145/3652620.3688261 paper, slides 🏆 Awarded EDTconf 2024 Best Short Paper
2024 Journal Article Towards a Systematic Reporting Framework for Digital Twins: A Cooperative Robotics Case Study S. Gil, B. Oakes, C. Gomes, M. Frasheri and P. G. Larsen. SIMULATION https://doi.org/10.1177/00375497241261406. paper
2024 Article Rationale Dataset and Analysis for the Commit Messages of the Linux Kernel Out-of-Memory Killer M. Dhaouadi, B. Oakes, and M. Famelis. In Proceedings of the 32nd IEEE/ACM International Conference on Program Comprehension (ICPC) https://doi.org/10.1145/3643916.3644413 paper, bib
2024 Journal Article Improving Repair of Semantic ATL Errors using a Social Diversity Metric Z. VaraminyBahnemiry, J. Galasso, B. Oakes, and H. Sahraoui. Journal of Software and Systems Modeling (SoSyM) https://doi.org/10.1007/s10270-024-01170-4. paper, bib
2024 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 (TOSEM) https://doi.org/10.1145/3638243 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) https://doi.org/10.1007/s10270-023-01123-3. paper, bib 🏆 Awarded SoSyM/MODELS Journal-First Award
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 https://doi.org/10.1109/MODELS-C59198.2023.00051 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 https://doi.org/10.1109/MODELS-C59198.2023.00101 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 Model-Driven Engineering and Software Development. MODELSWARD 2021 and 2022. Communications in Computer and Information Science, vol 1708. Springer, Cham. https://doi.org/10.1007/978-3-031-38821-7_1 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). https://doi.org/10.4018/978-1-7998-4186-9.ch005 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 https://doi.org/10.1145/3551349.3559547 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) https://doi.org/10.1007/978-3-030-83903-1_12 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. https://doi.org/10.1007/978-3-030-55867-3_1 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. https://doi.org/10.1109/DSN-W50199.2020.00028 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. https://doi.org/10.1007/978-3-030-58167-1_10 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 https://doi.org/10.1145/3417990.3419226 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. https://doi.org/10.1109/MODELS-C.2019.00094 paper, bib
2019 Article HintCO – Hint-Based Configuration of Co-Simulations 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. https://doi.org/10.5220/0007830000570068 paper, bib, presentation Winner of the Best Student Paper Award
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. https://doi.org/10.1109/MODELS-C.2019.00072 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. https://doi.org/10.1109/MODELS-C.2019.00010 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. https://doi.org/10.1007/s10270-016-0548-7 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). https://doi.org/10.1109/MODELS.2015.7338256 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. https://doi.org/10.1007/978-3-319-09108-2_8 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