Bentley J. Oakes

According to our database, Bentley J. Oakes authored at least 28 papers between 2014 and 2024.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2024

Fault localization in DSLTrans model transformations by combining symbolic execution and spectrum-based analysis.

Bentley James Oakes, Javier Troya, Jessie Galasso, Manuel Wimmer

Softw. Syst. Model., June, 2024

Building Domain-Specific Machine Learning Workflows: A Conceptual Framework for the State of the Practice.

Bentley James Oakes, Michalis Famelis, Houari A. Sahraoui

ACM Trans. Softw. Eng. Methodol., May, 2024

Towards Ontological Service-Driven Engineering of Digital Twins.

Bentley J. Oakes, Cláudio Gomes, Eduard Kamburjan, Giuseppe Abbiati, Elif Ecem Bas, Sebastian Engelsgaard

Proceedings of the ACM/IEEE 27th International Conference on Model Driven Engineering Languages and Systems, 2024

Toward Intelligent Generation of Tailored Graphical Concrete Syntax.

Meriem Ben Chaaben, Oussama Ben Sghaier, Mouna Dhaouadi, Nafisa Elrasheed, Ikram Darif, Imen Jaoua, Bentley J. Oakes, Eugene Syriani, Mohammad Hamdaqa

Proceedings of the ACM/IEEE 27th International Conference on Model Driven Engineering Languages and Systems, 2024

Rationale Dataset and Analysis for the Commit Messages of the Linux Kernel Out-of-Memory Killer.

Mouna Dhaouadi, Bentley James Oakes, Michalis Famelis

Proceedings of the 32nd IEEE/ACM International Conference on Program Comprehension, 2024

2023

openCAESAR: Balancing Agility and Rigor in Model-Based Systems Engineering.

Maged Elaasar, Nicolas Rouquette, David A. Wagner, Bentley James Oakes, Abdelwahab Hamou-Lhadj, Mohammad Hamdaqa

Proceedings of the ACM/IEEE International Conference on Model Driven Engineering Languages and Systems, 2023

Towards Understanding and Analyzing Rationale in Commit Messages Using a Knowledge Graph Approach.

Mouna Dhaouadi, Bentley James Oakes, Michalis Famelis

Proceedings of the ACM/IEEE International Conference on Model Driven Engineering Languages and Systems, 2023

Examining Model Qualities and Their Impact on Digital Twins.

Bentley James Oakes, Cláudio Gomes, Peter Gorm Larsen, Joachim Denil, Julien Deantoni, João Cambeiro, John S. Fitzgerald

Proceedings of the Annual Modeling and Simulation Conference, 2023

2022

A Digital Twin Description Framework and Its Mapping to Asset Administration Shell.

Bentley James Oakes, Ali Parsai, Bart Meyers, Istvan David, Simon Van Mierlo, Serge Demeyer, Joachim Denil, Paul De Meulenaere, Hans Vangheluwe

Proceedings of the Model-Driven Engineering and Software Development, 2022

End-to-End Rationale Reconstruction.

Mouna Dhaouadi, Bentley James Oakes, Michalis Famelis

Proceedings of the 37th IEEE/ACM International Conference on Automated Software Engineering, 2022

2021

Machine Learning-Based Fault Injection for Hazard Analysis and Risk Assessment.

Bentley James Oakes, Mehrdad Moradi, Simon Van Mierlo, Hans Vangheluwe, Joachim Denil

Proceedings of the Computer Safety, Reliability, and Security, 2021

Improving Digital Twin Experience Reports.

Bentley James Oakes, Ali Parsai, Simon Van Mierlo, Serge Demeyer, Joachim Denil, Paul De Meulenaere, Hans Vangheluwe

Proceedings of the 9th International Conference on Model-Driven Engineering and Software Development, 2021

Structuring and Accessing Knowledge for Historical and Streaming Digital Twins.

Bentley J. Oakes, Bart Meyers, Dennis Janssens, Hans Vangheluwe

Proceedings of the Joint Proceedings of the Semantics co-located events: Poster&Demo track and Workshop on Ontology-Driven Conceptual Modelling of Digital Twins co-located with Semantics 2021, 2021

2020

Towards adaptive abstraction for continuous time models with dynamic structure.

Romain Franceschini, Bentley James Oakes, Simon Van Mierlo, Moharram Challenger, Hans Vangheluwe

Proceedings of the MODELS '20: ACM/IEEE 23rd International Conference on Model Driven Engineering Languages and Systems, 2020

Validity frame concept as effort-cutting technique within the verification and validation of complex cyber-physical systems.

Bert Van Acker, Bentley James Oakes, Mehrdad Moradi, Paul De Meulenaere, Joachim Denil

Proceedings of the MODELS '20: ACM/IEEE 23rd International Conference on Model Driven Engineering Languages and Systems, 2020

Exploring Validity Frames in Practice.

Simon Van Mierlo, Bentley James Oakes, Bert Van Acker, Raheleh Eslampanah, Joachim Denil, Hans Vangheluwe

Proceedings of the Systems Modelling and Management - First International Conference, 2020

Exploring Fault Parameter Space Using Reinforcement Learning-based Fault Injection.

Mehrdad Moradi, Bentley James Oakes, Mustafa Saraoglu, Andrey Morozov, Klaus Janschek, Joachim Denil

Proceedings of the 50th Annual IEEE/IFIP International Conference on Dependable Systems and Networks Workshops, 2020

2019

HintCO - Hint-based Configuration of Co-simulations.

Cláudio Gomes, Bentley James Oakes, Mehrdad Moradi, Alejandro Torres Gámiz, Juan Carlos Mendo, Stefan Dutré, Joachim Denil, Hans Vangheluwe

Proceedings of the 9th International Conference on Simulation and Modeling Methodologies, 2019

Optimizing fault injection in FMI co-simulation through sensitivity partitioning.

Mehrdad Moradi, Cláudio Gomes, Bentley James Oakes, Joachim Denil

Proceedings of the 2019 Summer Simulation Conference, 2019

The Computational Notebook Paradigm for Multi-paradigm Modeling.

Bentley James Oakes, Romain Franceschini, Simon Van Mierlo, Hans Vangheluwe

Proceedings of the 22nd ACM/IEEE International Conference on Model Driven Engineering Languages and Systems 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

Proceedings of the 22nd ACM/IEEE International Conference on Model Driven Engineering Languages and Systems Companion, 2019

Validating Industrial Requirements with a Contract-Based Approach.

Matthias Bernaerts, Bentley J. Oakes, Ken Vanherpen, Bjorn Aelvoet, Hans Vangheluwe, Joachim Denil

Proceedings of the 22nd ACM/IEEE International Conference on Model Driven Engineering Languages and Systems Companion, 2019

2018

Full contract verification for ATL using symbolic execution.

Bentley James Oakes, Javier Troya, Levi Lúcio, Manuel Wimmer

Softw. Syst. Model., 2018

Debugging of Model Transformations and Contracts in SyVOLT.

Bentley James Oakes, Levi Lucio, Clark Verbrugge, Hans Vangheluwe

Proceedings of MODELS 2018 Workshops: ModComp, 2018

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

Proceedings of the 4th Workshop on the Analysis of Model Transformations co-located with the 18th International Conference on Model Driven Engineering Languages and Systems (MODELS 2015), 2015

Fully verifying transformation contracts for declarative ATL.

Bentley James Oakes, Javier Troya, Levi Lucio, Manuel Wimmer

Proceedings of the 18th ACM/IEEE International Conference on Model Driven Engineering Languages and Systems, 2015

SyVOLT: Full Model Transformation Verification Using Contracts.

Levi Lúcio, Bentley James Oakes, Cláudio Gomes, Gehan M. K. Selim, Juergen Dingel, James R. Cordy, Hans Vangheluwe

Proceedings of the MoDELS 2015 Demo and Poster Session co-located with ACM/IEEE 18th International Conference on Model Driven Engineering Languages and Systems (MoDELS 2015), 2015

2014

Specification and Verification of Graph-Based Model Transformation Properties.

Gehan M. K. Selim, Levi Lucio, James R. Cordy, Jürgen Dingel, Bentley J. Oakes

Proceedings of the Graph Transformation - 7th International Conference, 2014