Bentley J. Oakes
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
3
Venues
1
Active years
2015–2019
Best venue rank
A
Where they publish
Papers
3 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2019 | MODELS | Validating Industrial Requirements with a Contract-Based Approach. | Matthias Bernaerts, Bentley J. Oakes, Ken Vanherpen, Bjorn Aelvoet, Hans Vangheluwe, Joachim Denil |
| 2019 | MODELS | A Model-Driven Engineering Framework to Support the Functional Safety Process. | Bart Meyers, Klaas Gadeyne, Bentley J. Oakes, Matthias Bernaerts, Hans Vangheluwe, Joachim Denil |
| 2015 | MODELS | Finding and Fixing Bugs in Model Transformations with Formal Verification: An Experience Report. | Gehan M. K. Selim, James R. Cordy, Jrgen Dingel, Levi Lucio, Bentley J. Oakes |