


default search action
Bentley Oakes
Person information
- affiliation: Polytechnique Montréal, Canada
Refine list

refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
2020 – today
- 2025
[j7]Mouna Dhaouadi
, Bentley Oakes
, Michalis Famelis
:
Automated Extraction and Analysis of Developer's Rationale in Open Source Software. Proc. ACM Softw. Eng. 2(FSE): 2548-2570 (2025)
[j6]Istvan David, Bentley Oakes
, Cláudio Gomes
, Guodong Shao:
Modeling and simulation for software-intensive systems: from IoT to digital twins. Simul. 101(3): 211-212 (2025)
[j5]Santiago Gil
, Bentley Oakes
, Cláudio Gomes
, Mirgita Frasheri
, Peter Gorm Larsen
:
Toward a systematic reporting framework for Digital Twins: a cooperative robotics case study. Simul. 101(3): 313-339 (2025)
[c30]Abdelhamid Rouatbi, Eugene Syriani
, Bentley Oakes:
DTChecker: A Real-Time Signal Monitoring and Property Specification Tool for Digital Twins. MODELS-C 2025: 84-88
[c29]Kérian Fiter
, Louis Malassigné-Onfroy, Bentley Oakes:
DTInsight: A Tool for Explicit, Interactive, and Continuous Digital Twin Reporting. MODELS-C 2025: 139-143
[c28]Pierre-Emmanuel Goffi, Raphaël Tremblay, Bentley Oakes:
Engineering a Digital Twin for the Monitoring and Control of Beer Fermentation Sampling. MODELS-C 2025: 167-173
[c27]Maged Elaasar, Abdelwahab Hamou-Lhadj, Bentley Oakes, Mohammad Hamdaqa:
Model-Based Systems Engineering Perspectives: A Survey of Practitioner Experiences and Challenges. MODELS-C 2025: 367-376
[c26]Mouna Dhaouadi, Bentley Oakes, Michalis Famelis:
CoMRAT: Commit Message Rationale Analysis Tool. MSR 2025: 831-835
[i9]Mouna Dhaouadi, Bentley Oakes, Michalis Famelis:
CoMRAT: Commit Message Rationale Analysis Tool. CoRR abs/2506.10986 (2025)
[i8]Mouna Dhaouadi, Bentley Oakes, Michalis Famelis:
Automated Extraction and Analysis of Developer's Rationale in Open Source Software. CoRR abs/2506.11005 (2025)
[i7]Kérian Fiter, Louis Malassigné-Onfroy, Bentley Oakes:
DTInsight: A Tool for Explicit, Interactive, and Continuous Digital Twin Reporting. CoRR abs/2508.18431 (2025)
[i6]Pierre-Emmanuel Goffi, Raphaël Tremblay, Bentley Oakes:
Engineering a Digital Twin for the Monitoring and Control of Beer Fermentation Sampling. CoRR abs/2508.18452 (2025)- 2024
[j4]Bentley Oakes
, Javier Troya, Jessie Galasso, Manuel Wimmer:
Fault localization in DSLTrans model transformations by combining symbolic execution and spectrum-based analysis. Softw. Syst. Model. 23(3): 737-763 (2024)
[j3]Zahra VaraminyBahnemiry, Jessie Galasso, Bentley Oakes
, Houari A. Sahraoui:
Improving repair of semantic ATL errors using a social diversity metric. Softw. Syst. Model. 23(6): 1547-1568 (2024)
[j2]Bentley Oakes
, Michalis Famelis
, Houari A. Sahraoui
:
Building Domain-Specific Machine Learning Workflows: A Conceptual Framework for the State of the Practice. ACM Trans. Softw. Eng. Methodol. 33(4): 91:1-91:50 (2024)
[c25]Mouna Dhaouadi
, Bentley Oakes
, Michalis Famelis
:
Rationale Dataset and Analysis for the Commit Messages of the Linux Kernel Out-of-Memory Killer. ICPC 2024: 415-425
[c24]Meriem Ben Chaaben
, Oussama Ben Sghaier
, Mouna Dhaouadi
, Nafisa Elrasheed
, Ikram Darif
, Imen Jaoua
, Bentley Oakes
, Eugene Syriani
, Mohammad Hamdaqa
:
Toward Intelligent Generation of Tailored Graphical Concrete Syntax. MODELS 2024: 160-171
[c23]Bentley Oakes
, Cláudio Gomes
, Eduard Kamburjan
, Giuseppe Abbiati
, Elif Ecem Bas
, Sebastian Engelsgaard
:
Towards Ontological Service-Driven Engineering of Digital Twins. MoDELS (Companion) 2024: 464-469
[e1]Bentley Oakes, Román Cárdenas Rodríguez:
Annual Modeling and Simulation Conference, ANNSIM 2024, Washington, DC, USA, May 20-23, 2024. IEEE 2024, ISBN 978-17-13899-31-0 [contents]
[i5]Mouna Dhaouadi, Bentley Oakes, Michalis Famelis:
Rationale Dataset and Analysis for the Commit Messages of the Linux Kernel Out-of-Memory Killer. CoRR abs/2403.18832 (2024)- 2023
[c22]Bentley Oakes, Cláudio Gomes, Peter Gorm Larsen, Joachim Denil, Julien Deantoni, João Cambeiro, John S. Fitzgerald:
Examining Model Qualities and Their Impact on Digital Twins. ANNSIM 2023: 220-232
[c21]Maged Elaasar
, Nicolas Rouquette, David A. Wagner, Bentley Oakes, Abdelwahab Hamou-Lhadj
, Mohammad Hamdaqa:
openCAESAR: Balancing Agility and Rigor in Model-Based Systems Engineering. MoDELS (Companion) 2023: 221-230
[c20]Mouna Dhaouadi, Bentley Oakes, Michalis Famelis:
Towards Understanding and Analyzing Rationale in Commit Messages Using a Knowledge Graph Approach. MoDELS (Companion) 2023: 622-630
[i4]Mouna Dhaouadi, Bentley Oakes
, Michalis Famelis:
Towards Understanding and Analyzing Rationale in Commit Messages using a Knowledge Graph Approach. CoRR abs/2311.03358 (2023)- 2022
[c19]Mouna Dhaouadi, Bentley Oakes
, Michalis Famelis
:
End-to-End Rationale Reconstruction. ASE 2022: 176:1-176:5
[c18]Bentley Oakes
, Ali Parsai
, Bart Meyers
, Istvan David
, Simon Van Mierlo
, Serge Demeyer
, Joachim Denil
, Paul De Meulenaere
, Hans Vangheluwe
:
A Digital Twin Description Framework and Its Mapping to Asset Administration Shell. MODELSWARD (Revised Selected Papers) 2022: 1-24
[i3]Bentley Oakes, Michalis Famelis, Houari A. Sahraoui:
Building Domain-Specific Machine Learning Workflows: A Conceptual Framework for the State-of-the-Practice. CoRR abs/2203.08638 (2022)
[i2]Mouna Dhaouadi, Bentley Oakes
, Michalis Famelis:
End-to-End Rationale Reconstruction. CoRR abs/2209.00398 (2022)
[i1]Bentley Oakes, Ali Parsai, Bart Meyers, Istvan David, Simon Van Mierlo, Serge Demeyer, Joachim Denil, Paul De Meulenaere, Hans Vangheluwe:
A Digital Twin Description Framework and its Mapping to Asset Administration Shell. CoRR abs/2209.12661 (2022)- 2021
[c17]Bentley Oakes, Bart Meyers, Dennis Janssens, Hans Vangheluwe:
Structuring and Accessing Knowledge for Historical and Streaming Digital Twins. SEMANTiCS (Posters & Demos) 2021
[c16]Bentley Oakes
, Ali Parsai
, Simon Van Mierlo, Serge Demeyer, Joachim Denil, Paul De Meulenaere
, Hans Vangheluwe
:
Improving Digital Twin Experience Reports. MODELSWARD 2021: 179-190
[c15]Bentley Oakes
, Mehrdad Moradi
, Simon Van Mierlo
, Hans Vangheluwe
, Joachim Denil
:
Machine Learning-Based Fault Injection for Hazard Analysis and Risk Assessment. SAFECOMP 2021: 178-192- 2020
[c14]Mehrdad Moradi
, Bentley Oakes
, Mustafa Saraoglu, Andrey Morozov, Klaus Janschek
, Joachim Denil:
Exploring Fault Parameter Space Using Reinforcement Learning-based Fault Injection. DSN Workshops 2020: 102-109
[c13]Simon Van Mierlo
, Bentley Oakes
, Bert Van Acker
, Raheleh Eslampanah
, Joachim Denil
, Hans Vangheluwe
:
Exploring Validity Frames in Practice. ICSMM 2020: 131-148
[c12]Bert Van Acker, Bentley Oakes
, Mehrdad Moradi
, Paul De Meulenaere
, Joachim Denil:
Validity frame concept as effort-cutting technique within the verification and validation of complex cyber-physical systems. MoDELS (Companion) 2020: 80:1-80:10
[c11]Romain Franceschini, Bentley Oakes
, Simon Van Mierlo, Moharram Challenger, Hans Vangheluwe:
Towards adaptive abstraction for continuous time models with dynamic structure. MoDELS (Companion) 2020: 93:1
2010 – 2019
- 2019
[c10]Matthias Bernaerts, Bentley J. Oakes
, Ken Vanherpen
, Bjorn Aelvoet, Hans Vangheluwe
, Joachim Denil
:
Validating Industrial Requirements with a Contract-Based Approach. MoDELS (Companion) 2019: 18-27
[c9]Bentley James Oakes
, Romain Franceschini, Simon Van Mierlo, Hans Vangheluwe
:
The Computational Notebook Paradigm for Multi-paradigm Modeling. MoDELS (Companion) 2019: 449-454
[c8]Bart Meyers
, Klaas Gadeyne, Bentley J. Oakes
, Matthias Bernaerts, Hans Vangheluwe
, Joachim Denil
:
A Model-Driven Engineering Framework to Support the Functional Safety Process. MoDELS (Companion) 2019: 619-623
[c7]Mehrdad Moradi, Cláudio Gomes, Bentley James Oakes, Joachim Denil:
Optimizing fault injection in FMI co-simulation through sensitivity partitioning. SummerSim 2019: 32:1-32:12
[c6]Cláudio Gomes, Bentley James Oakes
, Mehrdad Moradi
, Alejandro Torres Gámiz, Juan Carlos Mendo, Stefan Dutré, Joachim Denil, Hans Vangheluwe
:
HintCO - Hint-based Configuration of Co-simulations. SIMULTECH 2019: 57-68- 2018
[j1]Bentley James Oakes
, Javier Troya
, Levi Lúcio, Manuel Wimmer:
Full contract verification for ATL using symbolic execution. Softw. Syst. Model. 17(3): 815-849 (2018)
[c5]Bentley James Oakes, Levi Lucio, Clark Verbrugge, Hans Vangheluwe:
Debugging of Model Transformations and Contracts in SyVOLT. MoDELS (Workshops) 2018: 532-537- 2015
[c4]Levi Lúcio, Bentley James Oakes, Cláudio Gomes, Gehan M. K. Selim, Juergen Dingel, James R. Cordy, Hans Vangheluwe:
SyVOLT: Full Model Transformation Verification Using Contracts. P&D@MoDELS 2015: 24-27
[c3]Gehan M. K. Selim, James R. Cordy, Jürgen Dingel, Levi Lucio, Bentley J. Oakes:
Finding and Fixing Bugs in Model Transformations with Formal Verification: An Experience Report. AMT@MoDELS 2015: 26-35
[c2]Bentley James Oakes
, Javier Troya
, Levi Lucio, Manuel Wimmer:
Fully verifying transformation contracts for declarative ATL. MoDELS 2015: 256-265- 2014
[c1]Gehan M. K. Selim, Levi Lucio, James R. Cordy, Jürgen Dingel, Bentley J. Oakes
:
Specification and Verification of Graph-Based Model Transformation Properties. ICGT 2014: 113-129
Coauthor Index

manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from
to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the
of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from
,
, and
to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from
and
to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from
.
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2026-03-26 00:49 CET by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint


Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCID







