Follow
Bentley Oakes
Title
Cited by
Cited by
Year
Exploring Fault Parameter Space Using Reinforcement Learning-Based Fault Injection
M Moradi, BJ Oakes, M Saraoglu, A Morozov, K Janschek, J Denil
Dependable Systems and Networks Workshops (DSN-W), 102-109, 2020
432020
Specification and Verification of Graph-Based Model Transformation Properties
GMK Selim, L Lúcio, JR Cordy, J Dingel, BJ Oakes
International Conference on Graph Transformation, 113-129, 2014
302014
Full contract verification for ATL using symbolic execution
BJ Oakes, J Troya, L Lúcio, M Wimmer
Software & Systems Modeling 17 (3), 815-849, 2018
282018
Exploring Validity Frames in Practice
S Van Mierlo, BJ Oakes, B Van Acker, R Eslampanah, J Denil, ...
International Conference on Systems Modelling and Management, 131-148, 2020
272020
HintCO - Hint-Based Configuration of Co-Simulations
C Gomes, BJ Oakes, M Moradi, AT Gámiz, JC Mendo, S Dutré, J Denil, ...
Proceedings of the 9th International Conference on Simulation and Modeling …, 2019
272019
Fully Verifying Transformation Contracts for Declarative ATL
BJ Oakes, J Troya, L Lúcio, M Wimmer
Model Driven Engineering Languages and Systems (MODELS), 256-265, 2015
202015
Structuring and Accessing Knowledge for Historical and Streaming Digital Twins
BJ Oakes, B Meyers, D Janssens, H Vangheluwe
Joint Proceedings of the Semantics co-located events: Poster&Demo track and …, 2021
172021
Validating Industrial Requirements with a Contract-Based Approach
M Bernaerts, BJ Oakes, K Vanherpen, B Aelvoet, H Vangheluwe, J Denil
2019 ACM/IEEE 22nd International Conference on Model Driven Engineering …, 2019
162019
Improving Digital Twin Experience Reports
BJ Oakes, A Parsai, S Van Mierlo, S Demeyer, J Denil, P De Meulenaere, ...
9th International Conference on Model-Driven Engineering and Software …, 2021
142021
Hint-Based Configuration of Co-simulations with Algebraic Loops
BJ Oakes, C Gomes, FR Holzinger, M Benedikt, J Denil, H Vangheluwe
Revised Selected Papers of SIMULTECH 2019: Simulation and Modeling …, 2020
142020
SyVOLT: Full Model Transformation Verification Using Contracts
L Lúcio, BJ Oakes, C Gomes, GMK Selim, J Dingel, JR Cordy, ...
Model Driven Engineering Languages and Systems (MODELS), 24-27, 2015
142015
A Model-Driven Engineering Framework to Support the Functional Safety Process
B Meyers, K Gadeyne, B Oakes, M Bernaerts, H Vangheluwe, J Denil
2019 ACM/IEEE 22nd International Conference on Model Driven Engineering …, 2019
122019
A technique for symbolically verifying properties of graph-based model transformations
L Lúcio, BJ Oakes, H Vangheluwe
Technical report, Technical Report SOCS-TR-2014.1, McGill U, 2014
122014
Practical and Theoretical Issues of Evolving Behaviour Trees for a Turn-based Game
BJ Oakes
McGill University, 2013
122013
A Digital Twin Description Framework and its Mapping to Asset Administration Shell
BJ Oakes, A Parsai, B Meyers, I David, S Van Mierlo, S Demeyer, J Denil, ...
Communications in Computer and Information Science 1708, 1-24, 2023
102023
Validity Frame Concept as Effort-Cutting Technique within the Verification and Validation of Complex Cyber-Physical Systems
B Van Acker, BJ Oakes, M Moradi, P Demeulenaere, J Denil
Proceedings of the 23rd ACM/IEEE International Conference on Model Driven …, 2020
102020
Optimizing Fault Injection in FMI Co-Simulation through Sensitivity Partitioning
M Moradi, C Gomes, BJ Oakes, J Denil
Summer Simulation Conference, 2019
102019
Examining Model Qualities and Their Impact on Digital Twins
BJ Oakes, C Gomes, PG Larsen, J Denil, J Deantoni, J Cambeiro, ...
2023 Annual Modeling and Simulation Conference (ANNSIM), 220-232, 2023
92023
End-to-End Rationale Reconstruction
M Dhaouadi, BJ Oakes, M Famelis
Proceedings of the 37th IEEE/ACM International Conference on Automated …, 2022
82022
Debugging of Model Transformations and Contracts in SyVOLT
BJ Oakes, L Lúcio, C Verbrugge, H Vangheluwe
Proceedings of MDEbug co-located with MODELS 2018, 532-537, 2018
82018
The system can't perform the operation now. Try again later.
Articles 1–20