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.
Répertoire des expertises
Oakes, Bentley
Répertoire des expertises
Oakes, Bentley
Répertoire des expertises
Publications par type
Article de revue (5)
Communication de conférence (28)
Livre
Chapitre de livre (1)
Brevet
Rapport (2)
Thèse (2)
Ensemble de données
Ressource pédagogique
Image
Enregistrement audio
Enregistrement vidéo
Autre
Bentley Oakes (38)
- Articles de revue (5)
- 2025
Article de revue
- 2024
Article de revue 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.
Article de revue 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.Article de revue 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.
- 2023
Article de revue 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.
- 2025
- Communications de conférence (28)
- 2025
Communication de conférence Dhaouadi, M., Oakes, B., & Famelis, M. (juin 2025). Automated Extraction and Analysis of Developer's Rationale in Open Source Software [Résumé]. ACM on Software Engineering (FSE 2025), Trondheim, Norway.Communication de conférence Dhaouadi, M., Oakes, B., & Famelis, M. (avril 2025). CoMRAT: Commit Message Rationale Analysis Tool [Résumé]. 22nd International Conference on Mining Software Repositories (MSR 2025), Ottawa, ON, Canada (1 page).
- 2024
Communication de conférence 2024 Annual Modeling and Simulation Conference (ANNSIM) [Communication écrite] (mai 2024). Annual Modeling and Simulation Conference (ANNSIM 2024), Washington, DC, USA.Communication de conférence Dhaouadi, M., Oakes, B., & Famelis, M. (avril 2024). Rationale Dataset and Analysis for the Commit Messages of the Linux Kernel Out-of-Memory Killer [Communication écrite]. 32nd IEEE/ACM International Conference on Program Comprehension (ICPC 2024), Lisbon, Portugal.
- 2023
Communication de conférence Oakes, B., Gomes, C., Larsen, P. G., Denil, J., Deantoni, J., Cambeiro, J., & Fitzgerald, J. (mai 2023). Examining model qualities and their impact on digital twins [Communication écrite]. Annual Modeling and Simulation Conference (ANNSIM 2023), Hamilton, Canada.Communication de conférence Elaasar, M., Rouquette, N., Wagner, D., Oakes, B., Hamou-Lhadj, A., & Hamdaqa, M. (octobre 2023). openCAESAR: Balancing agility and rigor in model-based systems engineering [Communication écrite]. 5th Workshop on Artificial Intelligence and Model-driven Engineering Co-located with MODELS, Västerås, Sweden.Communication de conférence Dhaouadi, M., Oakes, B., & Famelis, M. (octobre 2023). Towards Understanding and Analyzing Rationale in Commit Messages using a Knowledge Graph Approach [Communication écrite]. 5th Workshop on Artificial Intelligence and Model-driven Engineering Co-located with MODELS, Västerås, Sweden.
- 2022
Communication de conférence Oakes, B., Parsai, A., Meyers, B., Dávid, I., Mierlo, S. V., Demeyer, S., Denil, J., Meulenaere, P. D., & Vangheluwe, H. (février 2022). A Digital Twin Description Framework and Its Mapping to Asset Administration Shell [Communication écrite]. Model-Driven Engineering and Software Development, Cham (24 pages).Communication de conférence Dhaouadi, M., Oakes, B., & Famelis, M. (octobre 2022). End-to-End Rationale Reconstruction [Communication écrite]. 37th IEEE/ACM International Conference on Automated Software Engineering, Rochester, MI, USA.
- 2021
Communication de conférence Oakes, B., Parsai, A., Van Mierlo, S., Demeyer, S., Denil, J., De Meulenaere, P., & Vangheluwe, H. (février 2021). Improving digital twin experience reports [Communication écrite]. 9th International Conference on Model-Driven Engineering and Software Development (MODELSWARD 2021).Communication de conférence Oakes, B., Moradi, M., Van Mierlo, S., Vangheluwe, H., & Denil, J. (septembre 2021). Machine learning-based fault injection for hazard analysis and risk assessment [Communication écrite]. 40th International Conference on Computer Safety, Reliability and Security (SAFECOMP 2021), York, England.Communication de conférence Oakes, B., Meyers, B., Janssens, D., & Vangheluwe, H. (septembre 2021). Structuring and Accessing Knowledge for Historical and Streaming Digital Twins [Communication écrite]. 1st Workshop on Ontology-Driven Conceptual Modelling of Digital Twins¸, co-located with Semantics 2021, Amsterdam, NL (13 pages).
- 2020
Communication de conférence Moradi, M., Oakes, B., Saraoğlu, M., Morozov, A., Janschek, K., & Denil, J. (juin 2020). Exploring fault parameter space using reinforcement learning-based fault injection [Communication écrite]. 50th IEEE/IFIP Annual International Conference on Dependable Systems and Networks (DSN 2020), Valencia, Spain.Communication de conférence Van Mierlo, S., Oakes, B., Van Acker, B., Eslampanah, R., Denil, J., & Vangheluwe, H. (juin 2020). Exploring Validity Frames in Practice [Communication écrite]. First International Conference on Systems Modelling and Management (ICSMM 2020), Bergen, Norway.Communication de conférence Moradi, M., Oakes, B., & Denil, J. (septembre 2020). Machine learning-assisted fault injection [Communication écrite]. 39th International Conference on Computer Safety, reliability and Security (SAFECOMP 2020), Lisbon, Portugal (4 pages).Communication de conférence Van Acker, B., Oakes, B., Moradi, M., Demeulenaere, P., & Denil, J. (octobre 2020). Validity frame concept as effort-cutting technique within the verification and validation of complex cyber-physical systems [Communication écrite]. 23rd ACM/IEEE International Conference on Model Driven Engineering Languages and Systems (MODELS 2020).
- 2019
Communication de conférence Meyers, B., Gadeyne, K., Oakes, B., Bernaerts, M., Vangheluwe, H., & Denil, J. (septembre 2019). A model-driven engineering framework to support the functional safety process [Communication écrite]. 22nd ACM/IEEE International Conference on Model Driven Engineering Languages and Systems Companion (MODELS-C 2019), Munich, Germany.Communication de conférence Oakes, B., Gomes, C., Holzinger, F. R., Benedikt, M., Denil, J., & Vangheluwe, H. (juillet 2019). Hint-Based Configuration of Co-simulations with Algebraic Loops [Communication écrite]. Simulation and Modeling Methodologies, Technologies and Applications (SIMULTECH 2019), Prague, Czech Republic (28 pages).Communication de conférence Gomes, C., Oakes, B., Moradi, M., Torres Gamiz, A. C., Mendo, J., Dutré, S., Denil, J., & Vangheluwe, H. (juillet 2019). HintCO: Hint-based configuration of co-simulations [Communication écrite]. 9th International Conference on Simulation and Modeling Methodologies, Technologies and Applications (SIMULTECH 2019), Prague, Czech Republic.Communication de conférence Moradi, M., Gomes, C., Oakes, B., & Denil, J. (juillet 2019). Optimizing fault injection in FMI co-simulation through sensitivity partitioning [Communication écrite]. Summer Simulation Conference (SummerSim 2019), Berlin, Germany.Communication de conférence Oakes, B., Franceschini, R., Van Mierlo, S., & Vangheluwe, H. (septembre 2019). The computational notebook paradigm for multi-paradigm modeling [Communication écrite]. 22nd ACM/IEEE International Conference on Model Driven Engineering Languages and Systems Companion (MODELS-C 2019), Munich, Germany.Communication de conférence Bernaerts, M., Oakes, B., Vanherpen, K., Aelvoet, B., Vangheluwe, H., & Denil, J. (septembre 2019). Validating industrial requirements with a contract-based approach [Communication écrite]. 22nd ACM/IEEE International Conference on Model Driven Engineering Languages and Systems Companion (MODELS-C 2019), Munich, Germany.
- 2018
Communication de conférence Oakes, B., Verbrugge, C., Lúcio, L., & Vangheluwe, H. (octobre 2018). Debugging of Model Transformations and Contracts in SyVOLT [Communication écrite]. MDEbug Workshop, colocated with 21st Model Driven Engineering Languages and Systems (MODELS MDEbug 2018), Copenhagen, Denmark.
- 2015
Communication de conférence Selim, G. M. K., Cordy, J. R., Dingel, J., Lúcio, L., & Oakes, B. (septembre 2015). Finding and fixing bugs in model transformations with formal verification: An experience report [Communication écrite]. 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..Communication de conférence Oakes, B., Troya, J., Lucio, L., & Wimmer, M. (septembre 2015). Full contract verification for ATL using symbolic execution [Communication écrite]. 18th ACM/IEEE International Conference on Model Driven Engineering Languages and Systems (MODELS 2015), Ottawa, Canada. Publié dans Software and Systems Modeling, 17(3).Communication de conférence Oakes, B., Troya, J., Lucio, L., & Wimmer, M. (septembre 2015). Fully verifying transformation contracts for declarative ATL [Communication écrite]. 18th ACM/IEEE International Conference on Model Driven Engineering Languages and Systems (MODELS 2015), Ottawa, Canada.Communication de conférence Lucio, L., Oakes, B., Gomes, C., Selim, G. M. K., Dingel, J., Cordy, J. R., & Vangheluwe, H. (septembre 2015). SyVOLT: Full Model Transformation Verification Using Contract [Communication écrite]. Model Driven Engineering Languages and Systems (MODELS 2015), Ottawa, Ont..
- 2014
Communication de conférence Selim, G. M. K., Lucio, L., Cordy, J. R., Dingel, J., & Oakes, B. (juillet 2014). Specification and verification of graph-based model transformation properties [Communication écrite]. 7th International Conference on Graph Transformation (ICGT 2014) held as part of Conference on Software Technologies - Applications and Foundations (STAF 2014), York, England.
- 2025
- Chapitres de livre (1)
- 2022
Chapitre de livre Karaduman, B., Oakes, B., Eslampanah, R., Denil, J., Vangheluwe, H., & Challenger, M. (2022). An Architecture and Reference Implementation for WSN-Based IoT Systems. Dans Taser, P. Y. (édit.), Emerging Trends in IoT and Integration with Data Science, Cloud Computing, and Big Data Analytics (p. 80-103).
- 2022
- Rapports (2)
- 2014
Rapport Lúcio, L., Oakes, B., & Vangheluwe, H. (2014). A technique for symbolically verifying properties of graph-based model transformations. (Rapport technique n° SOCS-TR-2014.1).Rapport Oakes, B. (2014). Optimizing Simulink models. (Rapport technique n° CS-TR-2014.5).
- 2014
- Thèses (2)
- 2018
Thèse Oakes, B. (2018). A Symbolic Execution-Based Approach to Model Transformation Verification Using Structural Contracts [Thèse de doctorat, McGill University].
- 2013
Thèse Oakes, B. (2013). Practical and theoretical issues of evolving behaviour trees for a turn-based game [Thèse de maîtrise, McGill University].
- 2018
