Opeyemi Adesina

According to our database, Opeyemi Adesina authored at least 14 papers between 2014 and 2024.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of four.

2024

I came, I saw, I certified: some perspectives on the safety assurance of cyber-physical systems.

Mithila Sivakumar, Alvine Boaye Belle, Kimya Khakzad Shahandashti, Oluwafemi Odu, Hadi Hemmati, Segla Kpodjedo, Song Wang, Opeyemi O. Adesina

CoRR, 2024

2023

Bolstering the Persistence of Black Students in Undergraduate Computer Science Programs: A Systematic Mapping Study.

Alvine Boaye Belle, Callum Sutherland, Opeyemi O. Adesina, Sègla Kpodjedo, Nathanael Ojong, Lisa Cole

ACM Trans. Comput. Educ., December, 2023

The Last Decade in Review: Tracing the Evolution of Safety Assurance Cases through a Comprehensive Bibliometric Analysis.

Mithila Sivakumar, Alvine Boaye Belle, Jinjun Shan, Opeyemi Adesina, Song Wang, Marsha Chechik, Marios Fokaefs, Kimya Khakzad Shahandashti, Oluwafemi Odu

CoRR, 2023

2021

Umple: Model-driven development for open source and education.

Timothy C. Lethbridge, Andrew Forward, Omar Badreddin, Dusan Brestovansky, Miguel A. Garzón, Hamoud Aljamaan, Sultan Eid, Ahmed Husseini Orabi, Mahmoud Husseini Orabi, Vahdat Abdelzad, Opeyemi Adesina, Aliaa Alghamdi, Abdulaziz Algablan, Amid Zakariapour

Sci. Comput. Program., 2021

Flexible Job-Shop Scheduling with Changeover Priorities.

Holden Milne, Opeyemi Adesina, Russell Campbell, Barbara Friesen, Masud Khawaja

Proceedings of the Machine Learning, Optimization, and Data Science, 2021

2019

A Novel Approach to Measure Confidence and Uncertainty in Assurance Cases.

Alvine Boaye Belle, Timothy C. Lethbridge, Sègla Kpodjedo, Opeyemi O. Adesina, Miguel A. Garzón

Proceedings of the 27th IEEE International Requirements Engineering Conference Workshops, 2019

Optimizing Hierarchical, Concurrent State Machines in Umple for Model Checking.

Opeyemi Adesina, Timothy C. Lethbridge, Stéphane S. Somé

Proceedings of the 22nd ACM/IEEE International Conference on Model Driven Engineering Languages and Systems Companion, 2019

2018

Design and implementation of distributed expert systems: On a control strategy to manage the execution flow of rule activation.

Alvine Boaye Belle, Timothy C. Lethbridge, Miguel Garzón, Opeyemi O. Adesina

Expert Syst. Appl., 2018

Improving formal analysis of state machines with particular emphasis on and-cross transitions.

Opeyemi O. Adesina, Timothy C. Lethbridge, Stéphane S. Somé, Vahdat Abdelzad, Alvine Boaye Belle

Comput. Lang. Syst. Struct., 2018

2016

A Fully Automated Approach to Discovering Nondeterminism in State Machine Diagrams.

Opeyemi O. Adesina, Timothy C. Lethbridge, Stéphane S. Somé

Proceedings of the 10th International Conference on the Quality of Information and Communications Technology, 2016

Modeling State Diagrams with And-Cross Transitions.

Opeyemi Adesina, Stéphane S. Somé, Timothy Lethbridge

Proceedings of the 13th Workshop on Model-Driven Engineering, 2016

Merging Modeling and Programming Using Umple.

Timothy C. Lethbridge, Vahdat Abdelzad, Mahmoud Husseini Orabi, Ahmed Husseini Orabi, Opeyemi Adesina

Proceedings of the Leveraging Applications of Formal Methods, Verification and Validation: Discussion, Dissemination, Applications, 2016

2015

Integrating Formal Methods with Model-Driven Engineering.

Opeyemi Adesina

Proceedings of the Doctoral Symposium at the 18th ACM/IEEE International Conference of Model-Driven Engineering Languages and Systems 2015 (MoDELS 2015), 2015

2014

A Model-Driven Solution for Financial Data Representation Expressed in FIXML.

Vahdat Abdelzad, Hamoud Aljamaan, Opeyemi Adesina, Miguel Garzón, Timothy Lethbridge

Proceedings of the 7th Transformation Tool Contest part of the Software Technologies: Applications and Foundations (STAF 2014) federation of conferences, 2014