Bentley J. Oakes

Publication Activity (10 Years)

Years Active: 2014-2021
Publications (10 Years): 3

Top Topics

Model Driven Architecture

Formal Verification

Top Venues

MoDELS (Companion)

SEMANTiCS Posters&Demos

Publications

Bentley J. Oakes, Bart Meyers, Dennis Janssens, Hans Vangheluwe
Structuring and Accessing Knowledge for Historical and Streaming Digital Twins. SEMANTiCS Posters&Demos (2021)
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)
Matthias Bernaerts, Bentley J. Oakes, Ken Vanherpen, Bjorn Aelvoet, Hans Vangheluwe, Joachim Denil
Validating Industrial Requirements with a Contract-Based Approach. MoDELS (Companion) (2019)
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)
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)