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