![](https://dblp1.uni-trier.de/img/logo.ua.320x120.png)
![](https://dblp1.uni-trier.de/img/dropdown.dark.16x16.png)
![](https://dblp1.uni-trier.de/img/peace.dark.16x16.png)
Остановите войну!
for scientists:
![search dblp search dblp](https://dblp1.uni-trier.de/img/search.dark.16x16.png)
![search dblp](https://dblp1.uni-trier.de/img/search.dark.16x16.png)
default search action
Bentley J. Oakes
Person information
- affiliation: Polytechnique Montréal, Canada
Refine list
![note](https://dblp1.uni-trier.de/img/note-mark.dark.12x12.png)
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
2020 – today
- 2024
- [j3]Bentley James 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) - [j2]Bentley James 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) - [c23]Mouna Dhaouadi
, Bentley James Oakes
, Michalis Famelis
:
Rationale Dataset and Analysis for the Commit Messages of the Linux Kernel Out-of-Memory Killer. ICPC 2024: 415-425 - [i5]Mouna Dhaouadi, Bentley James 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 James 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 James 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 James 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 James 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 James Oakes, Michalis Famelis
:
End-to-End Rationale Reconstruction. ASE 2022: 176:1-176:5 - [c18]Bentley James 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 James 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 James Oakes, Michalis Famelis:
End-to-End Rationale Reconstruction. CoRR abs/2209.00398 (2022) - [i1]Bentley James 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 J. Oakes, Bart Meyers, Dennis Janssens, Hans Vangheluwe:
Structuring and Accessing Knowledge for Historical and Streaming Digital Twins. SEMANTiCS (Posters & Demos) 2021 - [c16]Bentley James 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 James 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 James 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 James Oakes
, Bert Van Acker
, Raheleh Eslampanah
, Joachim Denil
, Hans Vangheluwe
:
Exploring Validity Frames in Practice. ICSMM 2020: 131-148 - [c12]Bert Van Acker, Bentley James 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 James 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
![](https://dblp1.uni-trier.de/img/cog.dark.24x24.png)
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 2024-08-03 21:16 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint