 | Up a level |
Bentley OakesDepartment of Computer Engineering and Software Engineering
Profile in the Directory of Experts of Polytechnique Montréal
Collaboration networkThis graph maps the connections between all the collaborators of {}'s publications listed on this page.
Each link represents a collaboration on the same publication. The thickness of the link represents the number of collaborations.
Use the mouse wheel or scroll gestures to zoom into the graph.
You can click on the nodes and links to highlight them and move the nodes by dragging them.
Hold down the "Ctrl" key or the "⌘" key while clicking on the nodes to open the list of this person's publications.
Word cloudA word cloud is a visual representation of the most frequently used words in a text or a set of texts. The words appear in different sizes, with the size of each word being proportional to its frequency of occurrence in the text. The more frequently a word is used, the larger it appears in the word cloud. This technique allows for a quick visualization of the most important themes and concepts in a text.
In the context of this page, the word cloud was generated from the publications of the author {}. The words in this cloud come from the titles, abstracts, and keywords of the author's articles and research papers. By analyzing this word cloud, you can get an overview of the most recurring and significant topics and research areas in the author's work.
The word cloud is a useful tool for identifying trends and main themes in a corpus of texts, thus facilitating the understanding and analysis of content in a visual and intuitive way.
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
Dhaouadi, M., Oakes, B., & Famelis, M. (2025). Automated Extraction and Analysis of Developer's Rationale in Open Source Software. Proceedings of the ACM on software engineering., 2(FSE), 2548-2570. External link
Dhaouadi, M., Oakes, B., & Famelis, M. (2025, June). Automated Extraction and Analysis of Developer's Rationale in Open Source Software [Abstract]. ACM on Software Engineering (FSE 2025), Trondheim, Norway. External link
Dhaouadi, M., Oakes, B., & Famelis, M. (2025, April). CoMRAT: Commit Message Rationale Analysis Tool [Abstract]. 22nd International Conference on Mining Software Repositories (MSR 2025), Ottawa, ON, Canada (1 page). 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
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
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. 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
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
Gomes, C., Oakes, B., Moradi, M., Torres Gamiz, A. C., Mendo, J., Dutré, 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
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
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
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
Moradi, M., Oakes, B., Saraoğlu, 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
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
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
2024 Annual Modeling and Simulation Conference (ANNSIM) [Paper] (2024, May). Annual Modeling and Simulation Conference (ANNSIM 2024), Washington, DC, USA. External link
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
Oakes, B., Parsai, A., Meyers, B., Dávid, 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
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
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
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
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
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
Oakes, B. (2014). Optimizing Simulink models. (Technical Report n° CS-TR-2014.5). External link
Oakes, B. (2013). Practical and theoretical issues of evolving behaviour trees for a turn-based game [Masters 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
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
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
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
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
