Opeyemi Adesina
Opeyemi Adesina
University of the Fraser Valley
Verified email at ufv.ca
Title
Cited by
Cited by
Year
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
202016
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
152017
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
72018
Integrating formal methods with model-driven engineering
OO Adesina
Université d'Ottawa/University of Ottawa, 2017
62017
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
62016
Integrating Formal Methods with Model-Driven Engineering.
O Adesina
DS@ MoDELS, 2015
62015
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
42018
Web services: A solution to interoperability problems in sharing Grid resources
DR Aremu, O Adesina
32010
Modeling State Diagrams with And-Cross Transitions.
O Adesina, SS Somé, T Lethbridge
MoDeVVa@ MoDELS, 46-53, 2016
22016
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
22013
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
12017
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
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
2019
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
2014
Software Infrastructure for Grid Computing
OO Adesina, DR Aremu
Proceedings of the International Conference on Software Engineering Research …, 2011
2011
The system can't perform the operation now. Try again later.
Articles 1–15