Specification and Verification of Graph-Based Model Transformation Properties. - Gehan M. K. Selim; Levi Lucio; James R. Cordy; Jürgen Dingel; Bentley J. Oakes (ICGT, 2014)

SyVOLT: Full Model Transformation Verification Using Contracts. - Levi Lúcio; Bentley James Oakes; Cláudio Gomes 001; Gehan M. K. Selim; Juergen Dingel; James R. Cordy; Hans Vangheluwe (P&D@MoDELS, 2015)

Fully verifying transformation contracts for declarative ATL. - Bentley James Oakes; Javier Troya; Levi Lucio; Manuel Wimmer (MoDELS, 2015)

Finding and Fixing Bugs in Model Transformations with Formal Verification: An Experience Report. - Gehan M. K. Selim; James R. Cordy; Jürgen Dingel; Levi Lucio; Bentley J. Oakes (AMT@MoDELS, 2015)

Debugging of Model Transformations and Contracts in SyVOLT. - Bentley James Oakes; Levi Lucio; Clark Verbrugge; Hans Vangheluwe (MoDELS (Workshops), 2018)

Full contract verification for ATL using symbolic execution. - Bentley James Oakes; Javier Troya; Levi Lúcio; Manuel Wimmer (Softw. Syst. Model., 2018)

Validating Industrial Requirements with a Contract-Based Approach. - Matthias Bernaerts; Bentley J. Oakes; Ken Vanherpen; Bjorn Aelvoet; Hans Vangheluwe; Joachim Denil (MoDELS (Companion), 2019)

A Model-Driven Engineering Framework to Support the Functional Safety Process. - Bart Meyers; Klaas Gadeyne; Bentley J. Oakes; Matthias Bernaerts; Hans Vangheluwe; Joachim Denil (MoDELS (Companion), 2019)

The Computational Notebook Paradigm for Multi-paradigm Modeling. - Bentley James Oakes; Romain Franceschini; Simon Van Mierlo; Hans Vangheluwe (MoDELS (Companion), 2019)

Optimizing fault injection in FMI co-simulation through sensitivity partitioning. - Mehrdad Moradi; Cláudio Gomes 001; Bentley James Oakes; Joachim Denil (SummerSim, 2019)

HintCO - Hint-based Configuration of Co-simulations. - Cláudio Gomes 001; Bentley James Oakes; Mehrdad Moradi; Alejandro Torres Gámiz; Juan Carlos Mendo; Stefan Dutré; Joachim Denil; Hans Vangheluwe (SIMULTECH, 2019)

Exploring Fault Parameter Space Using Reinforcement Learning-based Fault Injection. - Mehrdad Moradi; Bentley Oakes; Mustafa Saraoglu; Andrey Morozov 001; Klaus Janschek; Joachim Denil (DSN Workshops, 2020)

Exploring Validity Frames in Practice. - Simon Van Mierlo; Bentley Oakes; Bert Van Acker; Raheleh Eslampanah; Joachim Denil; Hans Vangheluwe (ICSMM, 2020)

Validity frame concept as effort-cutting technique within the verification and validation of complex cyber-physical systems. - Bert Van Acker; Bentley Oakes; Mehrdad Moradi; Paul De Meulenaere; Joachim Denil (MoDELS (Companion), 2020)

Towards adaptive abstraction for continuous time models with dynamic structure. - Romain Franceschini; Bentley Oakes; Simon Van Mierlo; Moharram Challenger; Hans Vangheluwe (MoDELS (Companion), 2020)

Structuring and Accessing Knowledge for Historical and Streaming Digital Twins. - Bentley Oakes; Bart Meyers; Dennis Janssens; Hans Vangheluwe (SEMANTiCS (Posters & Demos), 2021)

Improving Digital Twin Experience Reports. - Bentley Oakes; Ali Parsai; Simon Van Mierlo; Serge Demeyer; Joachim Denil; Paul De Meulenaere; Hans Vangheluwe (MODELSWARD, 2021)

Machine Learning-Based Fault Injection for Hazard Analysis and Risk Assessment. - Bentley Oakes; Mehrdad Moradi; Simon Van Mierlo; Hans Vangheluwe; Joachim Denil (SAFECOMP, 2021)

End-to-End Rationale Reconstruction. - Mouna Dhaouadi; Bentley Oakes; Michalis Famelis (ASE, 2022)

A Digital Twin Description Framework and Its Mapping to Asset Administration Shell. - Bentley Oakes; Ali Parsai; Bart Meyers; Istvan David; Simon Van Mierlo; Serge Demeyer; Joachim Denil; Paul De Meulenaere; Hans Vangheluwe (MODELSWARD (Revised Selected Papers), 2022)

Examining Model Qualities and Their Impact on Digital Twins. - Bentley Oakes; Cláudio Gomes 001; Peter Gorm Larsen; Joachim Denil; Julien Deantoni; João Cambeiro; John S. Fitzgerald (ANNSIM, 2023)

Towards Understanding and Analyzing Rationale in Commit Messages Using a Knowledge Graph Approach. - Mouna Dhaouadi; Bentley Oakes; Michalis Famelis (MoDELS (Companion), 2023)

openCAESAR: Balancing Agility and Rigor in Model-Based Systems Engineering. - Maged Elaasar; Nicolas Rouquette; David A. Wagner 002; Bentley Oakes; Abdelwahab Hamou-Lhadj; Mohammad Hamdaqa (MoDELS (Companion), 2023)

Rationale Dataset and Analysis for the Commit Messages of the Linux Kernel Out-of-Memory Killer. - Mouna Dhaouadi; Bentley Oakes; Michalis Famelis (ICPC, 2024)

Toward Intelligent Generation of Tailored Graphical Concrete Syntax. - Meriem Ben Chaaben; Oussama Ben Sghaier; Mouna Dhaouadi; Nafisa Elrasheed; Ikram Darif; Imen Jaoua; Bentley Oakes; Eugene Syriani; Mohammad Hamdaqa (MODELS, 2024)

Towards Ontological Service-Driven Engineering of Digital Twins. - Bentley Oakes; Cláudio Gomes 001; Eduard Kamburjan; Giuseppe Abbiati; Elif Ecem Bas; Sebastian Engelsgaard (MoDELS (Companion), 2024)

Building Domain-Specific Machine Learning Workflows: A Conceptual Framework for the State of the Practice. - Bentley Oakes; Michalis Famelis; Houari A. Sahraoui (ACM Trans. Softw. Eng. Methodol., 2024)

Fault localization in DSLTrans model transformations by combining symbolic execution and spectrum-based analysis. - Bentley Oakes; Javier Troya; Jessie Galasso; Manuel Wimmer (Softw. Syst. Model., 2024)

Improving repair of semantic ATL errors using a social diversity metric. - Zahra VaraminyBahnemiry; Jessie Galasso; Bentley Oakes; Houari A. Sahraoui (Softw. Syst. Model., 2024)

CoMRAT: Commit Message Rationale Analysis Tool. - Mouna Dhaouadi; Bentley Oakes; Michalis Famelis (MSR, 2025)

Automated Extraction and Analysis of Developer's Rationale in Open Source Software. - Mouna Dhaouadi; Bentley Oakes; Michalis Famelis (Proc. ACM Softw. Eng., 2025)

Modeling and simulation for software-intensive systems: from IoT to digital twins. - Istvan David; Bentley Oakes; Cláudio Gomes 001; Guodong Shao (Simul., 2025)

Toward a systematic reporting framework for Digital Twins: a cooperative robotics case study. - Santiago Gil 001; Bentley Oakes; Cláudio Gomes 001; Mirgita Frasheri; Peter Gorm Larsen (Simul., 2025)