Opeyemi Adesina
Opeyemi Adesina
University of the Fraser Valley
Verified email at ufv.ca
Cited by
Cited by
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
Merging modeling and programming using Umple
TC Lethbridge, V Abdelzad, MH Orabi, AH Orabi, O Adesina
International Symposium on Leveraging Applications of Formal Methods, 187-197, 2016
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
Integrating formal methods with model-driven engineering
OO Adesina
Université d'Ottawa/University of Ottawa, 2017
Integrating Formal Methods with Model-Driven Engineering.
O Adesina
DS@ MoDELS, 2015
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
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
A Comparative Study of Sorting Algorithms
DR Aremu, OO Adesina, OE Makinde, O Ajibola, OO Agbo-Ajala
African Journal of Computing & ICT 6 (5), 199-206, 2013
Modeling State Diagrams with And-Cross Transitions.
O Adesina, SS Somé, T Lethbridge
MoDeVVa@ MoDELS, 46-53, 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
Web services: A solution to interoperability problems in sharing Grid resources
DR Aremu, O Adesina
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
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
Umple: Model-Driven Development for Open Source and Education
TC Lethbridge, A Forward, O Badreddin, D Brestovansky, M Garzon, ...
Science of Computer Programming, 102665, 2021
A Model-Driven Solution for Financial Data Representation Expressed in FIXML
V Abdelzad, H Aljamaan, O Adesina, MA Garzon, TC Lethbridge
TTC 2014, 65, 2014
Software Infrastructure for Grid Computing
OO Adesina, DR Aremu
Proceedings of the International Conference on Software Engineering Research …, 2011
The system can't perform the operation now. Try again later.
Articles 1–16