Bentley James Oakes

Exploring Fault Parameter Space Using Reinforcement Learning-based Fault Injection

Mehrdad Moradi, Bentley James Oakes, Mustafa Saraoğlu et al. · 2020 · 32 citations · Full text

Artificial Intelligence, Fault Injection, Reliability Engineering +15

Full contract verification for ATL using symbolic execution

Bentley James Oakes, Javier Troya, Lucio Levi et al. · Software & Systems Modeling · 2016 · 20 citations

Engineering, Program Analysis, Mechanical Verification +8

HintCO – Hint-based Configuration of Co-simulations

Cláudio Gomes, Bentley James Oakes, Mehrdad Moradi et al. · 2019 · 20 citations · Full text

Fully verifying transformation contracts for declarative ATL

Bentley James Oakes, Javier Troya, Lucio Levi et al. · 2015 · 15 citations

Engineering, Verification, Software Engineering +19

Validating Industrial Requirements with a Contract-Based Approach

Matthias Bernaerts, Bentley James Oakes, Ken Vanherpen et al. · 2019 · 12 citations

Engineering, Industrial Engineering, Verification +21