Personalizing vehicular comfort settings for a specific user M Stevanovic, H Elnajjar, NR Gautama, O Adesina, V Abdelzad US Patent App. 14/961,808, 2017 | 69 | 2017 |
Merging modeling and programming using Umple TC Lethbridge, V Abdelzad, M Husseini Orabi, A Husseini Orabi, ... Leveraging Applications of Formal Methods, Verification and Validation …, 2016 | 37 | 2016 |
Umple: Model-driven development for open source and education TC Lethbridge, A Forward, O Badreddin, D Brestovansky, M Garzon, ... Science of Computer Programming 208, 102665, 2021 | 30 | 2021 |
Design and implementation of distributed expert systems: On a control strategy to manage the execution flow of rule activation AB Belle, TC Lethbridge, M Garzón, OO Adesina Expert Systems with Applications 96, 129-148, 2018 | 17 | 2018 |
A Novel Approach to Measure Confidence and Uncertainty in Assurance Cases AB Belle, TC Lethbridge, S Kpodjedo, OO Adesina, MA Garzón 2019 IEEE 27th International Requirements Engineering Conference Workshops …, 2019 | 10 | 2019 |
Improving formal analysis of state machines with particular emphasis on and-cross transitions OO Adesina, TC Lethbridge, SS Somé, V Abdelzad, AB Belle Computer Languages, Systems & Structures 54, 544-585, 2018 | 9 | 2018 |
A Fully Automated Approach to Discovering Nondeterminism in State Machine Diagrams OO Adesina, TC Lethbridge, SS Somé Quality of Information and Communications Technology (QUATIC), 2016 10th …, 2016 | 9 | 2016 |
Determining a prioritized list of telephone numbers for a specific user M Stevanovic, H Elnajjar, NR Gautama, O Adesina, V Abdelzad US Patent 9,614,950, 2017 | 3 | 2017 |
Modeling State Diagrams with And-Cross Transitions. O Adesina, SS Somé, T Lethbridge MoDeVVa@ MoDELS, 46-53, 2016 | 3 | 2016 |
Optimizing Hierarchical, Concurrent State Machines in Umple for Model Checking O Adesina, TC Lethbridge, S Somé 2019 ACM/IEEE 22nd International Conference on Model Driven Engineering …, 2019 | 2 | 2019 |
Web services: A solution to interoperability problems in sharing Grid resources DR Aremu, O Adesina | 2 | 2010 |
I came, I saw, I certified: some perspectives on the safety assurance of cyber-physical systems M Sivakumar, AB Belle, KK Shahandashti, O Odu, H Hemmati, ... arXiv preprint arXiv:2401.16633, 2024 | 1 | 2024 |
Integrating formal methods with model-driven engineering OO Adesina Université d'Ottawa/University of Ottawa, 2017 | 1 | 2017 |
Integrating Formal Methods with Model-Driven Engineering. O Adesina DS@ MoDELS, 2015 | 1 | 2015 |
The Last Decade in Review: Tracing the Evolution of Safety Assurance Cases through a Comprehensive Bibliometric Analysis M Sivakumar, AB Belle, J Shan, O Adesina, S Wang, M Chechik, ... arXiv preprint arXiv:2311.07495, 2023 | | 2023 |
Bolstering the Persistence of Black Students in Undergraduate Computer Science Programs: A Systematic Mapping Study AB Belle, C Sutherland, OO Adesina, S Kpodjedo, N Ojong, L Cole ACM Transactions on Computing Education 23 (4), 1-42, 2023 | | 2023 |
Computing Education MS Ross, D Ronan, DC Erdil, D Brylow, L El-Hamamsy, B Bruno, S Avry, ... ACM Transactions on 23 (2), 2023 | | 2023 |
Flexible Job-Shop Scheduling with Changeover Priorities H Milne, O Adesina, R Campbell, B Friesen, M Khawaja International Conference on Machine Learning, Optimization, and Data Science …, 2021 | | 2021 |
Job shop operator scheduling software with change-over times H Milne, O Adesina | | 2020 |
Merging Modeling and Programming Using Umple MH Orabi, AH Orabi, O Adesina | | 2016 |