DBLP Google Scholar ResearchGate ORCID

Selected papers:

All 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, bib | | 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, bib, slides, video 🏆 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, bib, video| | 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|