Oakes, B., Famelis, M., & Sahraoui, H. (2024). Building Domain-Specific Machine Learning Workflows: A Conceptual Framework for the State-of-the-Practice. ACM Transactions on Software Engineering and Methodology, 33(4), 1-50.
Directory of Experts
Oakes, Bentley

Directory of Experts
Oakes, Bentley
Directory of Experts
Publications by type
Journal article (4)
Conference paper (25)
Book
Book chapter (1)
Patent
Report (2)
Thesis (2)
Dataset
Teaching resource
Image
Audio recording
Video recording
Other
Bentley Oakes (34)
- Journal articles (4)
- 2024
Journal article Journal article Varaminybahnemiry, Z., Galasso, J., Oakes, B., & Sahraoui, H. (2024). Improving repair of semantic ATL errors using a social diversity metric. Software and Systems Modeling, 22-22.Journal article Gil, S., Oakes, B., Gomes, C., Frasheri, M., & Larsen, P. G. (2024). Toward a systematic reporting framework for Digital Twins: a cooperative robotics case study. SIMULATION, 27 pages.
- 2023
Journal article Oakes, B., Troya, J., Galasso, J., & Wimmer, M. (2023). Fault localization in DSLTrans model transformations by combining symbolic execution and spectrum-based analysis. Software and Systems Modeling, 27 pages.
- 2024
- Conference papers (25)
- 2024
Conference paper Dhaouadi, M., Oakes, B., & Famelis, M. (2024, April). Rationale Dataset and Analysis for the Commit Messages of the Linux Kernel Out-of-Memory Killer [Paper]. 32nd IEEE/ACM International Conference on Program Comprehension (ICPC 2024), Lisbon, Portugal.
- 2023
Conference paper Oakes, B., Gomes, C., Larsen, P. G., Denil, J., Deantoni, J., Cambeiro, J., & Fitzgerald, J. (2023, May). Examining model qualities and their impact on digital twins [Paper]. Annual Modeling and Simulation Conference (ANNSIM 2023), Hamilton, Canada.Conference paper Elaasar, M., Rouquette, N., Wagner, D., Oakes, B., Hamou-Lhadj, A., & Hamdaqa, M. (2023, October). openCAESAR: Balancing agility and rigor in model-based systems engineering [Paper]. 5th Workshop on Artificial Intelligence and Model-driven Engineering Co-located with MODELS, Västerås, Sweden.Conference paper Dhaouadi, M., Oakes, B., & Famelis, M. (2023, October). Towards Understanding and Analyzing Rationale in Commit Messages using a Knowledge Graph Approach [Paper]. 5th Workshop on Artificial Intelligence and Model-driven Engineering Co-located with MODELS, Västerås, Sweden.
- 2022
Conference paper Oakes, B., Parsai, A., Meyers, B., David, I., Mierlo, S. V., Demeyer, S., Denil, J., Meulenaere, P. D., & Vangheluwe, H. (2022, February). A Digital Twin Description Framework and Its Mapping to Asset Administration Shell [Paper]. Model-Driven Engineering and Software Development, Cham (24 pages).Conference paper Dhaouadi, M., Oakes, B., & Famelis, M. (2022, October). End-to-End Rationale Reconstruction [Paper]. 37th IEEE/ACM International Conference on Automated Software Engineering, Rochester, MI, USA.
- 2021
Conference paper Oakes, B., Parsai, A., Van Mierlo, S., Demeyer, S., Denil, J., De Meulenaere, P., & Vangheluwe, H. (2021, February). Improving digital twin experience reports [Paper]. 9th International Conference on Model-Driven Engineering and Software Development (MODELSWARD 2021).Conference paper Oakes, B., Moradi, M., Van Mierlo, S., Vangheluwe, H., & Denil, J. (2021, September). Machine learning-based fault injection for hazard analysis and risk assessment [Paper]. 40th International Conference on Computer Safety, Reliability and Security (SAFECOMP 2021), York, England.Conference paper Oakes, B., Meyers, B., Janssens, D., & Vangheluwe, H. (2021, September). Structuring and Accessing Knowledge for Historical and Streaming Digital Twins [Paper]. 1st Workshop on Ontology-Driven Conceptual Modelling of Digital Twins¸, co-located with Semantics 2021, Amsterdam, NL (13 pages).
- 2020
Conference paper Moradi, M., Oakes, B., Saraoglu, M., Morozov, A., Janschek, K., & Denil, J. (2020, June). Exploring fault parameter space using reinforcement learning-based fault injection [Paper]. 50th IEEE/IFIP Annual International Conference on Dependable Systems and Networks (DSN 2020), Valencia, Spain.Conference paper Van Mierlo, S., Oakes, B., Van Acker, B., Eslampanah, R., Denil, J., & Vangheluwe, H. (2020, June). Exploring Validity Frames in Practice [Paper]. First International Conference on Systems Modelling and Management (ICSMM 2020), Bergen, Norway.Conference paper Moradi, M., Oakes, B., & Denil, J. (2020, September). Machine learning-assisted fault injection [Paper]. 39th International Conference on Computer Safety, reliability and Security (SAFECOMP 2020), Lisbon, Portugal (4 pages).Conference paper Van Acker, B., Oakes, B., Moradi, M., Demeulenaere, P., & Denil, J. (2020, October). Validity frame concept as effort-cutting technique within the verification and validation of complex cyber-physical systems [Paper]. 23rd ACM/IEEE International Conference on Model Driven Engineering Languages and Systems (MODELS 2020).
- 2019
Conference paper Meyers, B., Gadeyne, K., Oakes, B., Bernaerts, M., Vangheluwe, H., & Denil, J. (2019, September). A model-driven engineering framework to support the functional safety process [Paper]. 22nd ACM/IEEE International Conference on Model Driven Engineering Languages and Systems Companion (MODELS-C 2019), Munich, Germany.Conference paper Oakes, B., Gomes, C., Holzinger, F. R., Benedikt, M., Denil, J., & Vangheluwe, H. (2019, July). Hint-Based Configuration of Co-simulations with Algebraic Loops [Paper]. Simulation and Modeling Methodologies, Technologies and Applications (SIMULTECH 2019), Prague, Czech Republic (28 pages).Conference paper Gomes, C., Oakes, B., Moradi, M., Torres Gamiz, A. C., Mendo, J., Dutre, S., Denil, J., & Vangheluwe, H. (2019, July). HintCO: Hint-based configuration of co-simulations [Paper]. 9th International Conference on Simulation and Modeling Methodologies, Technologies and Applications (SIMULTECH 2019), Prague, Czech Republic.Conference paper Moradi, M., Gomes, C., Oakes, B., & Denil, J. (2019, July). Optimizing fault injection in FMI co-simulation through sensitivity partitioning [Paper]. Summer Simulation Conference (SummerSim 2019), Berlin, Germany.Conference paper Oakes, B., Franceschini, R., Van Mierlo, S., & Vangheluwe, H. (2019, September). The computational notebook paradigm for multi-paradigm modeling [Paper]. 22nd ACM/IEEE International Conference on Model Driven Engineering Languages and Systems Companion (MODELS-C 2019), Munich, Germany.Conference paper Bernaerts, M., Oakes, B., Vanherpen, K., Aelvoet, B., Vangheluwe, H., & Denil, J. (2019, September). Validating industrial requirements with a contract-based approach [Paper]. 22nd ACM/IEEE International Conference on Model Driven Engineering Languages and Systems Companion (MODELS-C 2019), Munich, Germany.
- 2018
Conference paper Oakes, B., Verbrugge, C., Lúcio, L., & Vangheluwe, H. (2018, October). Debugging of Model Transformations and Contracts in SyVOLT [Paper]. MDEbug Workshop, colocated with 21st Model Driven Engineering Languages and Systems (MODELS MDEbug 2018), Copenhagen, Denmark.
- 2015
Conference paper Selim, G. M. K., Cordy, J. R., Dingel, J., Lúcio, L., & Oakes, B. (2015, September). Finding and fixing bugs in model transformations with formal verification: An experience report [Paper]. 4th Workshop on the Analysis of Model Transformations co-located with the 18th International Conference on Model Driven Engineering Languages and Systems (MODELS 2015), Ottawa, Ont..Conference paper Oakes, B., Troya, J., Lucio, L., & Wimmer, M. (2015, September). Full contract verification for ATL using symbolic execution [Paper]. 18th ACM/IEEE International Conference on Model Driven Engineering Languages and Systems (MODELS 2015), Ottawa, Canada. Published in Software and Systems Modeling, 17(3).Conference paper Oakes, B., Troya, J., Lucio, L., & Wimmer, M. (2015, September). Fully verifying transformation contracts for declarative ATL [Paper]. 18th ACM/IEEE International Conference on Model Driven Engineering Languages and Systems (MODELS 2015), Ottawa, Canada.Conference paper Lucio, L., Oakes, B., Gomes, C., Selim, G. M. K., Dingel, J., Cordy, J. R., & Vangheluwe, H. (2015, September). SyVOLT: Full Model Transformation Verification Using Contract [Paper]. Model Driven Engineering Languages and Systems (MODELS 2015), Ottawa, Ont..
- 2014
Conference paper Selim, G. M. K., Lucio, L., Cordy, J. R., Dingel, J., & Oakes, B. (2014, July). Specification and verification of graph-based model transformation properties [Paper]. 7th International Conference on Graph Transformation (ICGT 2014) held as part of Conference on Software Technologies - Applications and Foundations (STAF 2014), York, England.
- 2024
- Book chapters (1)
- 2022
Book chapter Karaduman, B., Oakes, B., Eslampanah, R., Denil, J., Vangheluwe, H., & Challenger, M. (2022). An Architecture and Reference Implementation for WSN-Based IoT Systems. In Taser, P. Y. (ed.), Emerging Trends in IoT and Integration with Data Science, Cloud Computing, and Big Data Analytics (pp. 80-103).
- 2022
- Reports (2)
- 2014
Report Lúcio, L., Oakes, B., & Vangheluwe, H. (2014). A technique for symbolically verifying properties of graph-based model transformations. (Technical Report n° SOCS-TR-2014.1).Report Oakes, B. (2014). Optimizing Simulink models. (Technical Report n° CS-TR-2014.5).
- 2014
- Theses (2)
- 2018
Thesis Oakes, B. (2018). A Symbolic Execution-Based Approach to Model Transformation Verification Using Structural Contracts [Ph.D. Thesis, McGill University].
- 2013
Thesis Oakes, B. (2013). Practical and theoretical issues of evolving behaviour trees for a turn-based game [Masters Thesis, McGill University].
- 2018