 | Up a level |
Oakes, B., Famelis, M., & Sahraoui, H. (2024). Building Domain-Specific Machine Learning Workflows: A Conceptual Framework for the State-of-the-Practice. ACM Transactions on Software Engineering and Methodology, 33(4), 1-50. Available
Varaminybahnemiry, Z., Galasso, J., Oakes, B., & Sahraoui, H. (2024). Improving repair of semantic ATL errors using a social diversity metric. Software and Systems Modeling, 22-22. External link
Dhaouadi, M., Oakes, B., & Famelis, M. (2024, April). Rationale Dataset and Analysis for the Commit Messages of the Linux Kernel Out-of-Memory Killer [Paper]. 32nd IEEE/ACM International Conference on Program Comprehension (ICPC 2024), Lisbon, Portugal. External link
Gil, S., Oakes, B., Gomes, C., Frasheri, M., & Larsen, P. G. (2024). Toward a systematic reporting framework for Digital Twins: a cooperative robotics case study. SIMULATION, 27 pages. External link
Oakes, B., Parsai, A., Meyers, B., David, I., Mierlo, S. V., Demeyer, S., Denil, J., Meulenaere, P. D., & Vangheluwe, H. (2022, February). A Digital Twin Description Framework and Its Mapping to Asset Administration Shell***** [Paper]. 9th et 10th International Conference on Model-Driven Engineering and Software Development (MODELSWARD 2021 & MODELSWARD 2022) (24 pages). External link
Oakes, B., Parsai, A., Meyers, B., David, I., Mierlo, S. V., Demeyer, S., Denil, J., Meulenaere, P. D., & Vangheluwe, H. (2022, February). A Digital Twin Description Framework and Its Mapping to Asset Administration Shell [Paper]. Model-Driven Engineering and Software Development, Cham (24 pages). External link
Dhaouadi, M., Oakes, B., & Famelis, M. (2022, October). End-to-End Rationale Reconstruction [Paper]. 37th IEEE/ACM International Conference on Automated Software Engineering, Rochester, MI, USA. External link
Oakes, B., Gomes, C., Larsen, P. G., Denil, J., Deantoni, J., Cambeiro, J., & Fitzgerald, J. (2023, May). Examining model qualities and their impact on digital twins [Paper]. Annual Modeling and Simulation Conference (ANNSIM 2023), Hamilton, Canada. External link
Oakes, B., Troya, J., Galasso, J., & Wimmer, M. (2023). Fault localization in DSLTrans model transformations by combining symbolic execution and spectrum-based analysis. Software and Systems Modeling, 27 pages. External link
Elaasar, M., Rouquette, N., Wagner, D., Oakes, B., Hamou-Lhadj, A., & Hamdaqa, M. (2023, October). openCAESAR: Balancing agility and rigor in model-based systems engineering [Paper]. 5th Workshop on Artificial Intelligence and Model-driven Engineering Co-located with MODELS, Västerås, Sweden. External link
Dhaouadi, M., Oakes, B., & Famelis, M. (2023, October). Towards Understanding and Analyzing Rationale in Commit Messages using a Knowledge Graph Approach [Paper]. 5th Workshop on Artificial Intelligence and Model-driven Engineering Co-located with MODELS, Västerås, Sweden. Unavailable
Karaduman, B., Oakes, B., Eslampanah, R., Denil, J., Vangheluwe, H., & Challenger, M. (2022). An Architecture and Reference Implementation for WSN-Based IoT Systems. In Taser, P. Y. (ed.), Emerging Trends in IoT and Integration with Data Science, Cloud Computing, and Big Data Analytics (pp. 80-103). External link
Oakes, B., Gomes, C., Holzinger, F. R., Benedikt, M., Denil, J., & Vangheluwe, H. (2019, July). Hint-Based Configuration of Co-simulations with Algebraic Loops [Paper]. Simulation and Modeling Methodologies, Technologies and Applications (SIMULTECH 2019), Prague, Czech Republic (28 pages). Unavailable
Oakes, B., Parsai, A., Van Mierlo, S., Demeyer, S., Denil, J., De Meulenaere, P., & Vangheluwe, H. (2021, February). Improving digital twin experience reports [Paper]. 9th International Conference on Model-Driven Engineering and Software Development (MODELSWARD 2021). External link
Oakes, B., Moradi, M., Van Mierlo, S., Vangheluwe, H., & Denil, J. (2021, September). Machine learning-based fault injection for hazard analysis and risk assessment [Paper]. 40th International Conference on Computer Safety, Reliability and Security (SAFECOMP 2021), York, England. External link
Oakes, B., Meyers, B., Janssens, D., & Vangheluwe, H. (2021, September). Structuring and Accessing Knowledge for Historical and Streaming Digital Twins [Paper]. 1st Workshop on Ontology-Driven Conceptual Modelling of Digital Twins¸, co-located with Semantics 2021, Amsterdam, NL (13 pages). Unavailable
Moradi, M., Oakes, B., Saraoglu, M., Morozov, A., Janschek, K., & Denil, J. (2020, June). Exploring fault parameter space using reinforcement learning-based fault injection [Paper]. 50th IEEE/IFIP Annual International Conference on Dependable Systems and Networks (DSN 2020), Valencia, Spain. External link
Van Mierlo, S., Oakes, B., Van Acker, B., Eslampanah, R., Denil, J., & Vangheluwe, H. (2020, June). Exploring Validity Frames in Practice [Paper]. First International Conference on Systems Modelling and Management (ICSMM 2020), Bergen, Norway. External link
Moradi, M., Oakes, B., & Denil, J. (2020, September). Machine learning-assisted fault injection [Paper]. 39th International Conference on Computer Safety, reliability and Security (SAFECOMP 2020), Lisbon, Portugal (4 pages). External link
Van Acker, B., Oakes, B., Moradi, M., Demeulenaere, P., & Denil, J. (2020, October). Validity frame concept as effort-cutting technique within the verification and validation of complex cyber-physical systems [Paper]. 23rd ACM/IEEE International Conference on Model Driven Engineering Languages and Systems (MODELS 2020). External link
Oakes, B., Franceschini, R., Van Mierlo, S., & Vangheluwe, H. (2019, September). The computational notebook paradigm for multi-paradigm modeling [Paper]. 22nd ACM/IEEE International Conference on Model Driven Engineering Languages and Systems Companion (MODELS-C 2019), Munich, Germany. External link
Gomes, C., Oakes, B., Moradi, M., Torres Gamiz, A. C., Mendo, J., Dutre, S., Denil, J., & Vangheluwe, H. (2019, July). HintCO: Hint-based configuration of co-simulations [Paper]. 9th International Conference on Simulation and Modeling Methodologies, Technologies and Applications (SIMULTECH 2019), Prague, Czech Republic. External link
Meyers, B., Gadeyne, K., Oakes, B., Bernaerts, M., Vangheluwe, H., & Denil, J. (2019, September). A model-driven engineering framework to support the functional safety process [Paper]. 22nd ACM/IEEE International Conference on Model Driven Engineering Languages and Systems Companion (MODELS-C 2019), Munich, Germany. External link
Moradi, M., Gomes, C., Oakes, B., & Denil, J. (2019, July). Optimizing fault injection in FMI co-simulation through sensitivity partitioning [Paper]. Summer Simulation Conference (SummerSim 2019), Berlin, Germany. External link
Bernaerts, M., Oakes, B., Vanherpen, K., Aelvoet, B., Vangheluwe, H., & Denil, J. (2019, September). Validating industrial requirements with a contract-based approach [Paper]. 22nd ACM/IEEE International Conference on Model Driven Engineering Languages and Systems Companion (MODELS-C 2019), Munich, Germany. External link
Oakes, B., Verbrugge, C., Lúcio, L., & Vangheluwe, H. (2018, October). Debugging of Model Transformations and Contracts in SyVOLT [Paper]. MDEbug Workshop, colocated with 21st Model Driven Engineering Languages and Systems (MODELS MDEbug 2018), Copenhagen, Denmark. External link
Oakes, B., Troya, J., Lucio, L., & Wimmer, M. (2015, September). Full contract verification for ATL using symbolic execution [Paper]. 18th ACM/IEEE International Conference on Model Driven Engineering Languages and Systems (MODELS 2015), Ottawa, Canada. Published in Software and Systems Modeling, 17(3). External link
Oakes, B. (2018). A Symbolic Execution-Based Approach to Model Transformation Verification Using Structural Contracts [Ph.D. Thesis, McGill University]. External link
Selim, G. M. K., Cordy, J. R., Dingel, J., Lúcio, L., & Oakes, B. (2015, September). Finding and fixing bugs in model transformations with formal verification: An experience report [Paper]. 4th Workshop on the Analysis of Model Transformations co-located with the 18th International Conference on Model Driven Engineering Languages and Systems (MODELS 2015), Ottawa, Ont.. External link
Oakes, B., Troya, J., Lucio, L., & Wimmer, M. (2015, September). Fully verifying transformation contracts for declarative ATL [Paper]. 18th ACM/IEEE International Conference on Model Driven Engineering Languages and Systems (MODELS 2015), Ottawa, Canada. External link
Lucio, L., Oakes, B., Gomes, C., Selim, G. M. K., Dingel, J., Cordy, J. R., & Vangheluwe, H. (2015, September). SyVOLT: Full Model Transformation Verification Using Contract [Paper]. Model Driven Engineering Languages and Systems (MODELS 2015), Ottawa, Ont.. External link
Oakes, B. (2014). Optimizing Simulink models. (Technical Report n° CS-TR-2014.5). External link
Selim, G. M. K., Lucio, L., Cordy, J. R., Dingel, J., & Oakes, B. (2014, July). Specification and verification of graph-based model transformation properties [Paper]. 7th International Conference on Graph Transformation (ICGT 2014) held as part of Conference on Software Technologies - Applications and Foundations (STAF 2014), York, England. External link
Lúcio, L., Oakes, B., & Vangheluwe, H. (2014). A technique for symbolically verifying properties of graph-based model transformations. (Technical Report n° SOCS-TR-2014.1). Unavailable
Oakes, B. (2013). Practical and theoretical issues of evolving behaviour trees for a turn-based game [Masters Thesis, McGill University]. External link
