DBLP Google Scholar ResearchGate ORCID

Selected papers:

  • DTInsight: A Tool for Explicit, Interactive, and Continuous Digital Twin Reporting
    Fiter, Malassigné-Onfroy, Oakes
    Conference on Engineering Digital Twins (EDTconf)
    Paper Poster
  • Towards Ontological Service-Driven Engineering of Digital Twins
    Oakes, Gomes, Kamburjan, Abbiati, Bas, Engelsgaard
    International Conference on Engineering Digital Twins (EDTconf) 🏆 Best Short Paper Award
    Paper Bib Presentation Video DOI
  • Towards a Systematic Reporting Framework for Digital Twins: A Cooperative Robotics Case Study
    Gil, Oakes, Gomes, Frasheri, Larsen
    SIMULATION
    Paper Bib Video DOI
  • Building Domain-Specific Machine Learning Workflows: A Conceptual Framework for the State-of-the-Practice
    Oakes, Famelis, Sahraoui
    ACM Transactions on Software Engineering and Methodology (TOSEM)
    Paper Bib DOI
  • openCAESAR: Balancing Agility and Rigor in Model-Based Systems Engineering
    Elaasar, Rouquette, Wagner, Oakes, Hamou-Lhadj, Hamdaqa
    SAM 2023, ACM/IEEE MODELS Companion
    Paper Bib DOI

All papers:

Year Type Title Authors Venue Links
2025 Article CoMRAT: Commit Message Rationale Analysis Tool Dhaouadi, Oakes, Famelis In Proceedings of Mining Software Repositories paper
2025 Journal Article Automated Extraction and Analysis of Developer's Rationale in Open Source Software Dhaouadi, Oakes, Famelis In Proceedings of Foundations of Software Engineering (FSE) paper
2025 Article DTChecker: A Real-Time Signal Monitoring and Property Specification Tool for Digital Twins Rouatbi, Syriani, Oakes Proceedings of MODELS 2025 tool track paper
2025 Article DTInsight: A Tool for Explicit, Interactive, and Continuous Digital Twin Reporting Fiter, Malassigné-Onfroy, Oakes In Proceedings of Conference on Engineering Digital Twins (EDTconf) paper, poster
2025 Article Engineering a Digital Twin for the Monitoring and Control of Beer Fermentation Sampling Goffi, Tremblay, Oakes In Proceedings of Conference on Engineering Digital Twins (EDTconf) paper
2025 Article Model-Based Systems Engineering Perspectives: A Survey of Practitioner Experiences and Challenges Elaasar, Hamou-Lhadj, Oakes, Hamdaqa In Proceedings of System Analysis and Modelling conference (SAM 2025) paper
2024 Article Toward Intelligent Generation of Tailored Graphical Concrete Syntax Ben Chaaben, Ben Sghaier, Dhaouadi, Elrasheed, Darif, Jaoua, Oakes, Syriani, Hamdaqa In Proceedings of Model Driven Engineering Languages and Systems (MODELS) (pp. 160-171) DOI paper, bib
2024 Article Towards Ontological Service-Driven Engineering of Digital Twins Oakes, Gomes, Kamburjan, Abbiati, Bas and Engelsgaard. In Proceedings of the International Conference on Engineering Digital Twins (EDTconf) in the MODELS Companion (MODELS-C) DOI paper, bib, presentation, video 🏆 Awarded EDTconf 2024 Best Short Paper
2024 Journal Article Towards a Systematic Reporting Framework for Digital Twins: A Cooperative Robotics Case Study Gil, Oakes, Gomes, Frasheri and Larsen. SIMULATION DOI. paper, bib, video
2024 Article Rationale Dataset and Analysis for the Commit Messages of the Linux Kernel Out-of-Memory Killer Dhaouadi, Oakes, and Famelis. In Proceedings of the 32nd IEEE/ACM International Conference on Program Comprehension (ICPC) DOI paper, bib
2024 Journal Article Improving Repair of Semantic ATL Errors using a Social Diversity Metric VaraminyBahnemiry, Galasso, Oakes, and Sahraoui. Journal of Software and Systems Modeling (SoSyM) DOI. paper, bib
2024 Journal Article Building Domain-Specific Machine Learning Workflows: A Conceptual Framework for the State-of-the-Practice Oakes, Famelis, and Sahraoui. ACM Transactions on Software Engineering and Methodology (TOSEM) DOI paper, bib
2023 Journal Article Fault localization in DSLTrans model transformations by combining symbolic execution and spectrum-based analysis Oakes, Troya, Galasso, and Wimmer. Journal of Software and Systems Modeling (SoSyM) DOI. paper, bib 🏆 Awarded SoSyM/MODELS Journal-First Award
2023 Article openCAESAR: Balancing Agility and Rigor in Model-Based Systems Engineering Elaasar, Rouquette, Wagner, Oakes, Hamou-Lhadj, and Hamdaqa. In Proceedings of SAM 2023, ACM/IEEE International Conference on Model Driven Engineering Languages and Systems (MODELS) Companion. IEEE DOI paper, bib
2023 Article Towards Understanding and Analyzing Rationale in Commit Messages using a Knowledge Graph Approach Dhaouadi, Oakes, and Famelis. In Proceedings of MDEIntelligence, ACM/IEEE International Conference on Model Driven Engineering Languages and Systems (MODELS) Companion. IEEE DOI paper, bib
2023 Book Chapter A Digital Twin Description Framework and its Mapping to Asset Administration Shell Oakes, Parsai, Meyers, David, Van Mierlo, Demeyer, Denil, De Meulenaere, and Vangheluwe. In Model-Driven Engineering and Software Development. MODELSWARD 2021 and 2022. Communications in Computer and Information Science, vol 1708. Springer, Cham. DOI paper, bib, arxiv
2023 Article Examining Model Qualities and their Impact on Digital Twins Oakes, Gomes, Denil, Deantoni, Cambeiro, Fitzgerald, and 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 Karaduman, Oakes, Eslampanah, Denil, Vangheluwe, and Challenger. Emerging Trends in IoT and Integration with Data Science, Cloud Computing, and Big Data Analytics, IGI Global (pp. 80-103). DOI paper, bib
2022 Article End-to-End Rationale Reconstruction Dhaouadi, Oakes, and Famelis. 37th IEEE/ACM International Conference on Automated Software Engineering, pp. 1-5 DOI paper, bib
2021 Article Improving Digital Twin Experience Reports Oakes, Parsai, Van Mierlo, Demeyer, Denil, Demeulenaere, and 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 Oakes, Moradi, Van Mierlo, Vangheluwe, and Denil. International Conference on Computer Safety, Reliability, and Security (pp. 178-192) DOI paper, bib
2021 Article Structuring and Accessing Knowledge for Historical and Streaming Digital Twins Oakes, Meyers, Janssens, and 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 Oakes, Gomes, Holzinger, Benedikt, Denil, and Vangheluwe. Revised Selected Papers of SIMULTECH 2019. 2020. DOI paper, bib
2020 Article Exploring Fault Parameter Space Using Reinforcement Learning-based Fault Injection Moradi, Oakes, Saraoglu, Morozov, Janschek and Denil. Proceedings of SSIV at Dependable Systems and Networks Workshops 2020. DOI paper, bib
2020 Article Exploring Validity Frames in Practice Van Mierlo, Oakes, Van Acker, Eslampanah, Denil, and Vangheluwe. Proceedings of ICSMM at STAF 2020. DOI paper, bib
2020 Article Machine Learning-assisted Fault Injection Moradi, Oakes, and 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 Van Acker, Oakes, Moradi, Demeulenaere, and Denil. Proceedings of the 17th Workshop on Model Driven Engineering, Verification and Validation at MODELS 2020 DOI paper, bib
2019 Article A Model-Driven Engineering Framework to Support the Functional Safety Process Meyers, Gadeyne, Oakes, Bernaerts, Vangheluwe, and Denil. Proceedings of DevOps at MODELS 2019. DOI paper, bib
2019 Article HintCO – Hint-Based Configuration of Co-Simulations Gomes, Oakes, Moradi, Gámiz, Mendo, Dutré, Denil, Vangheluwe. Proceedings of Simulation and Modeling Methodologies, Technologies and Applications (SIMULTECH) 2019. DOI paper, bib, presentation 🏆 Winner of the Best Student Paper Award
2019 Article Optimizing Fault Injection in FMI Co-Simulation Through Sensitivity Partitioning Moradi, Gomes, Oakes, Denil. Proceedings of SummerSim 2019. paper, bib, presentation
2019 Article The Computational Notebook Paradigm for Multi-Paradigm Modeling Oakes, Franceschini, Van Mierlo, Vangheluwe. Proceedings of MPM4CPS at MODELS 2019. DOI paper, bib, presentation
2019 Article Validating Industrial Requirements with a Contract-Based Approach Bernaerts, Oakes, Vanherpen, Aelvoet, Vangheluwe, and Denil. Proceedings of MASE at MODELS 2019. DOI paper, bib, presentation
2018 Journal Article Full Contract Verification for ATL using Symbolic Execution Oakes, Troya, Lúcio, Wimmer. Software and Systems Modeling 2018 (pp. 1-35). Springer Berlin Heidelberg. DOI paper, bib
2018 Article Debugging of Model Transformations and Contracts in SyVOLT Oakes, Verbrugge, Lúcio, Vangheluwe. Proceedings of MDEbug at MODELS 2018. paper, bib, presentation
2018 Thesis A Symbolic Execution-Based Approach To Model Transformation Verification using Structural Contracts Oakes. Ph.Dissertation. McGill University. 2018. paper, bib, presentation
2015 Article Finding and Fixing Bugs in Model Transformations with Formal Verification: An Experience Report Selim, Cordy, Dingel, Lúcio, Oakes. Proceedings of Analysis of Model Transformations 2015 (pp. 26-35). paper, bib
2015 Article Fully Verifying Transformation Contracts for Declarative ATL Oakes, Troya, Lúcio, Wimmer. Proceedings of MODELS 2015 (pp. 256-265). DOI paper, bib, presentation
2015 Article SyVOLT: Full Model Transformation Verification Using Contracts Lúcio, Oakes, Gomes, Selim, Dingel, Cordy, 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 Selim, Lúcio, Cordy, Dingel, B.Oakes. Proceedings of Graph Transformation 2014 (pp. 113-129). Springer International Publishing. DOI paper, bib
2014 Tech Report A Technique for Symbolically Verifying Properties of Graph-based Model Transformations Lúcio, Oakes, Vangheluwe. Technical Report SOCS-TR-2014.1, McGill University. paper, bib
2014 Tech Report Optimizing Simulink Models Oakes, Verbrugge, Vangheluwe. Technical Report CS-TR-2014.5, McGill University. April 2014. paper, bib, poster
2013 Masters Thesis Practical and Theoretical Issues of Evolving Behaviour Trees for a Turn-based Game Oakes. McGill University, August 2013. paper, bib, presentation
2012 Tech Report Embedding Causal Block Diagrams Within Behaviour Trees Oakes. COMP 522 - Modelling and Simulation Course Project. McGill University. 2012. paper, bib, presentation
2012 Tech Report Navigating Social Spaces Oakes, Verbrugge. GRaM Technical Report No. 2012-2, McGill University, September 2012. paper, bib