| layout | title | permalink |
|---|---|---|
page |
Publications |
/publications/ |
| DBLP | Google Scholar | ResearchGate | ORCID|
Selected papers:
- B. Oakes, C. Gomes, E. Kamburjan, G. Abbiati, E.E. Bas and S. Engelsgaard. (2024) Towards Ontological Service-Driven Engineering of Digital Twins, International Conference on Engineering Digital Twins (EDTconf) https://doi.org/10.1145/3652620.3688261. paper, slides, video 🏆 Awarded EDTconf 2024 Best Short Paper
- S. Gil, B. Oakes, C. Gomes, M. Frasheri and P. G. Larsen. (2024) Towards a Systematic Reporting Framework for Digital Twins: A Cooperative Robotics Case Study, SIMULATION https://doi.org/10.1177/00375497241261406. paper
- B. Oakes, M. Famelis, and H. Sahraoui. (2024) [Building Domain-Specific Machine Learning Workflows: A Conceptual Framework for the State-of-the-Practice](/assets/publications/Oakes2023%20-%20Building Domain-Specific Machine Learning Workflows: A Conceptual Framework for the State-of-the-Practice.pdf), ACM Transactions on Software Engineering and Methodology (TOSEM) https://doi.org/10.1145/3638243 [paper](/assets/publications/Oakes2023%20-%20Building Domain-Specific Machine Learning Workflows: A Conceptual Framework for the State-of-the-Practice.pdf), bib
- M. Elaasar, N. Rouquette, D. Wagner, B. Oakes, A. Hamou-Lhadj, and M. Hamdaqa. (2023) openCAESAR: Balancing Agility and Rigor in Model-Based Systems Engineering, 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
- B. Oakes, A. Parsai, B. Meyers, I. David, S. Van Mierlo, S. Demeyer, J. Denil, P. De Meulenaere, and H. Vangheluwe. (2023) [A Digital Twin Description Framework and its Mapping to Asset Administration Shell](/assets/publications/Oakes2023%20-%20A Digital Twin Description Framework and its Mapping to Asset Administration Shell.pdf), 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](/assets/publications/Oakes2023%20-%20A Digital Twin Description Framework and its Mapping to Asset Administration Shell.pdf), bib, arxiv
- B. Oakes, J. Troya, J. Galasso, and M. Wimmer. (2023) Fault localization in DSLTrans model transformations by combining symbolic execution and spectrum-based analysis, Journal of Software and Systems Modeling (SoSyM). https://doi.org/10.1007/s10270-023-01123-3 paper, bib 🏆 Awarded SoSyM/MODELS Journal-First Award
| 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, 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| | 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](/assets/publications/VaraminyBahnemiry2024 - Improving Repair of Semantic ATL Errors using a Social Diversity Metric.pdf) | 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](/assets/publications/VaraminyBahnemiry2024 - Improving Repair of Semantic ATL Errors using a Social Diversity Metric.pdf), bib| | 2024 |Journal Article| [Building Domain-Specific Machine Learning Workflows: A Conceptual Framework for the State-of-the-Practice](/assets/publications/Oakes2023%20-%20Building Domain-Specific Machine Learning Workflows: A Conceptual Framework for the State-of-the-Practice.pdf) | B. Oakes, M. Famelis, and H. Sahraoui. | ACM Transactions on Software Engineering and Methodology (TOSEM) https://doi.org/10.1145/3638243 | [paper](/assets/publications/Oakes2023%20-%20Building Domain-Specific Machine Learning Workflows: A Conceptual Framework for the State-of-the-Practice.pdf), 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](/assets/publications/Oakes2023%20-%20A Digital Twin Description Framework and its Mapping to Asset Administration Shell.pdf) | 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](/assets/publications/Oakes2023%20-%20A Digital Twin Description Framework and its Mapping to Asset Administration Shell.pdf), bib, arxiv| | 2023 |Article| [Examining Model Qualities and their Impact on Digital Twins](/assets/publications/Oakes2023%20-%20Examining Model Qualities and their Impact on Digital Twins.pdf) | 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](/assets/publications/Oakes2023%20-%20Examining Model Qualities and their Impact on Digital Twins.pdf), bib, [presentation](/assets/publications/Oakes2023%20-%20Examining Model Qualities and their Impact on Digital Twins%20-%20Presentation.pdf)| | 2022 |Book Chapter| [An Architecture and Reference Implementation for WSN-Based IoT Systems](/assets/publications/Karaduman2022-An Architecture and Reference Implementation for WSN-Based IoT Systems.pdf) | 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](/assets/publications/Karaduman2022-An Architecture and Reference Implementation for WSN-Based IoT Systems.pdf), 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](/assets/publications/Oakes2021 - ImprovingDigitalTwinExperienceReports.pdf) | 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](/assets/publications/Oakes2021 - ImprovingDigitalTwinExperienceReports.pdf), bib, [presentation](/assets/publications/Oakes2021 - ImprovingDigitalTwinExperienceReports - Presentation.pdf), video| | 2021 |Article| [Machine Learning-Based Fault Injection for Hazard Analysis and Risk Assessment](/assets/publications/Oakes2021 - Machine Learning-based Fault Injection for Hazard Analysis and Risk Assessment.pdf) | 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](/assets/publications/Oakes2021 - Machine Learning-based Fault Injection for Hazard Analysis and Risk Assessment.pdf), bib| | 2021 |Article| [Structuring and Accessing Knowledge for Historical and Streaming Digital Twins](/assets/publications/Oakes2021 - Structuring and Accessing Knowledge for Historical and Streaming Digital Twins.pdf) | B. Oakes, B. Meyers, D. Janssens, and H. Vangheluwe. | First Workshop on Ontology-Driven Conceptual Modeling of Digital Twins (pp. 1-13) | [paper](/assets/publications/Oakes2021 - Structuring and Accessing Knowledge for Historical and Streaming Digital Twins.pdf), bib| | 2020 |Book Chapter| [Hint-Based Configuration of Co-simulations with Algebraic Loops](/assets/publications/Oakes2020 - Hint-Based Configuration of Co-simulations with Algebraic Loops.pdf) | 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](/assets/publications/Oakes2020 - Hint-Based Configuration of Co-simulations with Algebraic Loops.pdf), bib| | 2020 |Article| [Exploring Fault Parameter Space Using Reinforcement Learning-based Fault Injection](/assets/publications/Moradi2020 - Exploring Fault Parameter Space using Reinforcement Learning-based Fault Injection.pdf) | 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](/assets/publications/Moradi2020 - Exploring Fault Parameter Space using Reinforcement Learning-based Fault Injection.pdf), bib| | 2020 |Article| [Exploring Validity Frames in Practice](/assets/publications/VanMierlo2020 - Exploring Validity Frames in Practice.pdf) | 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](/assets/publications/VanMierlo2020 - Exploring Validity Frames in Practice.pdf), bib| | 2020 |Article| [Machine Learning-assisted Fault Injection](/assets/publications/Moradi2020 - Machine Learning Assisted Fault Injection.pdf) | M. Moradi, B. Oakes, and J. Denil. | Position paper at SAFECOMP 2020. | [paper](/assets/publications/Moradi2020 - Machine Learning Assisted Fault Injection.pdf), bib| | 2020 |Article| [Validity Frame Concept as Effort-Cutting Technique within the Verification and Validation of Complex Cyber-Physical Systems](/assets/publications/VanAcker2020 - Validity Frame Concept as Effort-Cutting Technique.pdf) | 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](/assets/publications/VanAcker2020 - Validity Frame Concept as Effort-Cutting Technique.pdf), bib| | 2019 |Article| [A Model-Driven Engineering Framework to Support the Functional Safety Process](/assets/publications/Meyers2019 - A Model-Driven Engineering Framework to Support the Functional Safety Process.pdf) | 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](/assets/publications/Meyers2019 - A Model-Driven Engineering Framework to Support the Functional Safety Process.pdf), bib| | 2019 |Article| [HintCO – Hint-Based Configuration of Co-Simulations](/assets/publications/Gomes2019 - HintCO Hint-Based Configuration of Co-Simulations.pdf) | 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](/assets/publications/Gomes2019 - HintCO Hint-Based Configuration of Co-Simulations.pdf), bib, [presentation](/assets/publications/Gomes2019 - HintCO Hint-Based Configuration of Co-Simulations - Presentation.pdf) Winner of the Best Student Paper Award| | 2019 |Article| [Optimizing Fault Injection in FMI Co-Simulation Through Sensitivity Partitioning](/assets/publications/Moradi2019 - Optimizing Fault Injection in FMI Co-Simulation Through Sensitivity Partitioning.pdf) | M. Moradi, C. Gomes, B. Oakes, J. Denil. | Proceedings of SummerSim 2019. | [paper](/assets/publications/Moradi2019 - Optimizing Fault Injection in FMI Co-Simulation Through Sensitivity Partitioning.pdf), bib, [presentation](/assets/publications/Moradi2019 - Optimizing Fault Injection in FMI Co-Simulation Through Sensitivity Partitioning - Presentation.pdf)| | 2019 |Article| [The Computational Notebook Paradigm for Multi-Paradigm Modeling](/assets/publications/Oakes2019 - The Computational Notebook Paradigm for Multi-Paradigm Modeling.pdf) | 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](/assets/publications/Oakes2019 - The Computational Notebook Paradigm for Multi-Paradigm Modeling.pdf), bib, [presentation](/assets/publications/Oakes2019 - The Computational Notebook Paradigm for Multi-Paradigm Modeling - Presentation.zip)| | 2019 |Article| [Validating Industrial Requirements with a Contract-Based Approach](/assets/publications/Bernaerts2019 - Validating Industrial Requirements with a Contract-Based Approach.pdf) | 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](/assets/publications/Bernaerts2019 - Validating Industrial Requirements with a Contract-Based Approach.pdf), bib, [presentation](/assets/publications/Bernaerts2019 - Validating Industrial Requirements with a Contract-Based Approach - Presentation.pdf)| | 2018 |Journal Article| [Full Contract Verification for ATL using Symbolic Execution](/assets/publications/Oakes2018 - Full Contract Verification for ATL using Symbolic Execution.pdf)| 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](/assets/publications/Oakes2018 - Full Contract Verification for ATL using Symbolic Execution.pdf), bib| | 2018 |Article| [Debugging of Model Transformations and Contracts in SyVOLT](/assets/publications/Oakes2018 - Debugging of Model Transformations and Contracts in SyVOLT.pdf)| B. Oakes, C. Verbrugge, L. Lúcio, H. Vangheluwe. | Proceedings of MDEbug at MODELS 2018. | [paper](/assets/publications/Oakes2018 - Debugging of Model Transformations and Contracts in SyVOLT.pdf), bib, [presentation](/assets/publications/Oakes2018 - Debugging of Model Transformations and Contracts in SyVOLT - Presentation.pdf)| | 2018 |Thesis| [A Symbolic Execution-Based Approach To Model Transformation Verification using Structural Contracts](/assets/publications/Oakes2018 - A Symbolic Execution-Based Approach To Model Transformation Verification using Structural Contracts.pdf)| B. Oakes. | Ph.D. Dissertation. McGill University. 2018. | [paper](/assets/publications/Oakes2018 - A Symbolic Execution-Based Approach To Model Transformation Verification using Structural Contracts.pdf), bib, [presentation](/assets/publications/Oakes2018 - A Symbolic Execution-Based Approach To Model Transformation Verification using Structural Contracts - Presentation.pdf)| | 2015 |Article| [Finding and Fixing Bugs in Model Transformations with Formal Verification: An Experience Report](/assets/publications/Selim2015 - Finding and Fixing Bugs in Model Transformations with Formal Verification An Experience Report.pdf)| G. Selim, J. R. Cordy, J. Dingel, L. Lúcio, B. Oakes. | Proceedings of Analysis of Model Transformations 2015 (pp. 26-35). | [paper](/assets/publications/Selim2015 - Finding and Fixing Bugs in Model Transformations with Formal Verification An Experience Report.pdf), bib| | 2015 |Article| [Fully Verifying Transformation Contracts for Declarative ATL](/assets/publications/Oakes2015 - Fully Verifying Transformation Contracts for Declarative ATL.pdf)| 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](/assets/publications/Oakes2015 - Fully Verifying Transformation Contracts for Declarative ATL.pdf), bib, [presentation](/assets/publications/Oakes2015 - Fully Verifying Transformation Contracts for Declarative ATL - Presentation.pdf)| | 2015 |Article| [SyVOLT: Full Model Transformation Verification Using Contracts](/assets/publications/Lucio2015 - SyVOLT Full Model Transformation Verification Using Contracts.pdf)| L. Lúcio, B. Oakes, C. Gomes, G. Selim, J. Dingel, J. R. Cordy, H. Vangheluwe. | Proceedings of MODELS 2015 (pp. 24-27). | [paper](/assets/publications/Lucio2015 - SyVOLT Full Model Transformation Verification Using Contracts.pdf), bib, [poster](/assets/publications/Lucio2015 - SyVOLT Full Model Transformation Verification Using Contracts - Poster.pdf), SyVOLT Contract Prover Video| | 2014 |Article| [Specification and Verification of Graph-Based Model Transformation Properties](/assets/publications/Selim2014 - Specification and Verification of Graph-Based Model Transformation Properties.pdf)| 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](/assets/publications/Selim2014 - Specification and Verification of Graph-Based Model Transformation Properties.pdf), bib| | 2014 |Tech Report| [A Technique for Symbolically Verifying Properties of Graph-based Model Transformations](/assets/publications/Lucio2014 - A Technique for Symbolically Verifying Properties of Graph-based Model Transformations.pdf)| L. Lúcio, B. Oakes, H. Vangheluwe. | Technical Report SOCS-TR-2014.1, McGill University. | [paper](/assets/publications/Lucio2014 - A Technique for Symbolically Verifying Properties of Graph-based Model Transformations.pdf), bib| | 2014 |Tech Report| [Optimizing Simulink Models](/assets/publications/Oakes2014 - Optimizing Simulink Models.pdf)| B. Oakes, C. Verbrugge, H. Vangheluwe. | Technical Report CS-TR-2014.5, McGill University. April 2014. | [paper](/assets/publications/Oakes2014 - Optimizing Simulink Models.pdf), bib, [poster](/assets/publications/Oakes2014 - Optimizing Simulink Models - Poster.pdf)| | 2013 |Master's Thesis| [Practical and Theoretical Issues of Evolving Behaviour Trees for a Turn-based Game](/assets/publications/Oakes2013 - Practical and Theoretical Issues of Evolving Behaviour Trees for a Turn-based Game.pdf)| B. Oakes. | McGill University, August 2013. | [paper](/assets/publications/Oakes2013 - Practical and Theoretical Issues of Evolving Behaviour Trees for a Turn-based Game.pdf), bib, [presentation](/assets/publications/Oakes2013 - Practical and Theoretical Issues of Evolving Behaviour Trees for a Turn-based Game - Presentation.pdf)| | 2012 |Tech Report| [Embedding Causal Block Diagrams Within Behaviour Trees](/assets/publications/Oakes2012 - Embedding Causal Block Diagrams Within Behaviour Trees.pdf)| B. Oakes. | COMP 522 - Modelling and Simulation Course Project. McGill University. 2012. | [paper](/assets/publications/Oakes2012 - Embedding Causal Block Diagrams Within Behaviour Trees.pdf), bib, [presentation](/assets/publications/Oakes2012 - Embedding Causal Block Diagrams Within Behaviour Trees - Presentation.pdf)| | 2012 |Tech Report| [Navigating Social Spaces](/assets/publications/Oakes2012 - Navigating Social Spaces.pdf)| B. Oakes, C. Verbrugge. | GRaM Technical Report No. 2012-2, McGill University, September 2012. | [paper](/assets/publications/Oakes2012 - Navigating Social Spaces.pdf), bib|