Opeyemi Adesina
Opeyemi Adesina
University of the Fraser Valley
Verified email at ufv.ca
Title
Cited by
Cited by
Year
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
322017
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
272016
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
92018
Integrating formal methods with model-driven engineering
OO Adesina
Université d'Ottawa/University of Ottawa, 2017
92017
Integrating Formal Methods with Model-Driven Engineering.
O Adesina
DS@ MoDELS, 2015
92015
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
82016
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
72018
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
52013
Modeling State Diagrams with And-Cross Transitions.
O Adesina, SS Somé, T Lethbridge
MoDeVVa@ MoDELS, 46-53, 2016
32016
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
22017
Web services: A solution to interoperability problems in sharing Grid resources
DR Aremu, O Adesina
22010
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
12019
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
12019
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
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
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–16