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 |