Opeyemi Adesina
Opeyemi Adesina
University of the Fraser Valley
E-mail megerősítve itt: ufv.ca
Cím
Hivatkozott rá
Hivatkozott rá
Év
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
242017
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
232016
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
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
72017
Integrating Formal Methods with Model-Driven Engineering.
O Adesina
DS@ MoDELS, 2015
72015
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
62018
Modeling State Diagrams with And-Cross Transitions.
O Adesina, SS Somé, T Lethbridge
MoDeVVa@ MoDELS, 46-53, 2016
32016
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
32013
Web services: A solution to interoperability problems in sharing Grid resources
DR Aremu, O Adesina
32010
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
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
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
A rendszer jelenleg nem tudja elvégezni a műveletet. Próbálkozzon újra később.
Cikkek 1–15