[24] - Article
Improving Digital Twin Experience Reports
|
B. Oakes, A. Parsai, S. Van Mierlo, S. Demeyer, J. Denil, P. Demeulenaere, and H. Vangheluwe. |
Proceedings of the 9th International Conference on Model-Driven Engineering and Software Development - Volume 1: MODELSWARD, 2021 |
[bib]
[presentation]
[presentation video] |
|
[23] - Article
Validity Frame Concept as Effort-Cutting Technique within the Verification and Validation of Complex Cyber-Physical Systems
|
B. Van Acker, B. Oakes, M. Moradi, P. Demeulenaere, and J. Denil. |
Proceedings of the 17th Workshop on Model Driven Engineering, Verification and Validation at MODELS 2020. 2020. |
[bib] |
|
[23] - Book Chapter
Hint-Based Configuration of Co-simulations with Algebraic Loops
|
B. Oakes, C. Gomes, F. Holzinger, M. Benedikt, J. Denil, and H. Vangheluwe. |
Revised Selected Papers of SIMULTECH 2019. 2020. |
[bib] |
|
[22] - Position Paper
Machine Learning-assisted Fault Injection
|
M. Moradi, B. Oakes, and J. Denil. |
Position paper at SAFECOMP 2020. 2020. |
[bib] |
|
[21] - Article
Exploring Fault Parameter Space Using Reinforcement Learning-based Fault Injection
|
M. Moradi, B. Oakes, M. Saraoglu, A. Morozov, K. Janschek and J. Denil. |
Proceedings of SSIV at DSN 2020. 2020. |
[bib] |
|
[20] - Article
Exploring Validity Frames in Practice
|
S. Van Mierlo, B. Oakes, B. Van Acker, R. Eslampanah, J. Denil, and H. Vangheluwe. |
Proceedings of ICSMM at STAF 2020. 2020. |
[bib] |
|
[19] - Article
A Model-Driven Engineering Framework to Support the Functional Safety Process
|
B. Meyers, K. Gadeyne, B. Oakes, M. Bernaerts, H. Vangheluwe, and J. Denil. |
Proceedings of MASE at MODELS 2019. 2019. |
[bib] |
|
[18] - Article
The Computational Notebook Paradigm for Multi-Paradigm Modeling
|
B. Oakes, R. Franceschini, S. Van Mierlo, H. Vangheluwe. |
Proceedings of MPM4CPS at MODELS 2019. 2019. |
[bib] [presentation] |
|
[17] - Article
Validating Industrial Requirements with a Contract-Based Approach
|
M. Bernaerts, B. Oakes, K. Vanherpen, B. Aelvoet, H. Vangheluwe, and J. Denil. |
Proceedings of MASE at MODELS 2019. 2019. |
[bib] [presentation] |
|
[16] - Article
Optimizing Fault Injection in FMI Co-Simulation Through Sensitivity Partitioning
|
M. Moradi, C. Gomes, B. Oakes, J. Denil. |
Proceedings of SummerSim 2019. 2019. |
[bib] [presentation] |
|
[15] - Article
HintCO – Hint-Based Configuration of Co-Simulations - Winner of the Best Student Paper Award
|
C. Gomes, B. Oakes, M. Moradi, A. Gámiz, J. Mendo, S. Dutré, J. Denil, H. Vangheluwe. |
Proceedings of Simulation and Modeling Methodologies, Technologies and Applications (SIMULTECH). 2019. |
[bib] [presentation] |
|
[14] - Article
Debugging of Model Transformations and Contracts in SyVOLT
|
B. Oakes, C. Verbrugge, L. Lúcio, H. Vangheluwe. |
Proceedings of MDEbug at MODELS 2018. 2018. |
[bib] [presentation] |
|
[13] - Thesis
A Symbolic Execution-Based Approach To Model Transformation Verification using Structural Contracts
|
B. Oakes. |
Ph.D. Dissertation. McGill University. 2018. |
[bib] [presentation] |
|
[12] - Journal Article
Full Contract Verification for ATL using Symbolic Execution
|
B. Oakes, J. Troya, L. Lúcio, M. Wimmer. |
Software and Systems Modeling 2016 (pp. 1-35). Springer Berlin Heidelberg. |
[bib] |
|
[11] - Article
Fully Verifying Transformation Contracts for Declarative ATL
|
B. Oakes, J. Troya, L. Lúcio, M. Wimmer. |
Proceedings of MODELS 2015 (pp. 256-265). |
[bib] [presentation] |
|
[10] - Poster
SyVOLT: Full Model Transformation Verification Using Contracts
|
L. Lúcio, B. Oakes, C. Gomes, G. Selim, J. Dingel, J. R. Cordy, H. Vangheluwe |
Presented at MODELS 2015. October 2015. |
|
|
[9] - Article
SyVOLT: Full Model Transformation Verification Using Contracts
|
L. Lúcio, B. Oakes, C. Gomes, G. Selim, J. Dingel, J. R. Cordy, H. Vangheluwe |
Proceedings of MODELS 2015 (pp. 24-27). |
[bib] [SyVOLT Contract Prover Video] |
|
[8] - Article
Finding and Fixing Bugs in Model Transformations with Formal Verification: An Experience Report
|
G. Selim, J. R. Cordy, J. Dingel, L. Lúcio, B. Oakes |
Proceedings of Analysis of Model Transformations 2015 (pp. 26-35). |
[bib] |
|
[7] - Tech Report
A Technique for Symbolically Verifying Properties of Graph-based Model Transformations
|
L. Lúcio, B. Oakes, H. Vangheluwe. |
Technical Report SOCS-TR-2014.1, McGill University. |
[bib] |
|
[6] - Article
Specification and Verification of Graph-Based Model Transformation Properties
|
G. Selim, L. Lúcio, J. Cordy, J. Dingel, B.Oakes. |
Proceedings of Graph Transformation 2014 (pp. 113-129). Springer International Publishing. |
[bib] [presentation] |
|
[5] - Poster
Optimizing Simulink Models
|
B. Oakes, C. Verbrugge, H. Vangheluwe. |
Presented at NECSIS Workshop. June 2014. |
|
|
[4] - Tech Report
Optimizing Simulink Models
|
B. Oakes. |
Technical Report CS-TR-2014.5, McGill University. April 2014. |
[bib] |
|
[3] - Master's Thesis
Practical and Theoretical Issues of Evolving Behaviour Trees for a Turn-based Game
|
B. Oakes. |
McGill University, August 2013. |
[bib] [presentation] |
|
[2] - Tech Report
Navigating Social Spaces
|
B. Oakes, C. Verbrugge. |
McGill University, September 2012. |
[bib] |
|
[1] - Tech Report
Embedding Causal Block Diagrams Within Behaviour Trees
|
B. Oakes. |
COMP 522 - Modelling and Simulation Course Project. McGill University. 2012. |
[bib] [presentation] |
|
