Opeyemi O. Adesina

Publication Activity (10 Years)

Years Active: 2016-2024
Publications (10 Years): 6

Top Topics

Elementary School Students

High Confidence

Top Venues

Comput. Lang. Syst. Struct.

Expert Syst. Appl.

Publications

Mithila Sivakumar, Alvine Boaye Belle, Kimya Khakzad Shahandashti, Oluwafemi Odu, Hadi Hemmati, Segla Kpodjedo, Song Wang, Opeyemi O. Adesina
I came, I saw, I certified: some perspectives on the safety assurance of cyber-physical systems. CoRR (2024)
Alvine Boaye Belle, Callum Sutherland, Opeyemi O. Adesina, Sègla Kpodjedo, Nathanael Ojong, Lisa Cole
Bolstering the Persistence of Black Students in Undergraduate Computer Science Programs: A Systematic Mapping Study. ACM Trans. Comput. Educ. 23 (4) (2023)
Alvine Boaye Belle, Timothy C. Lethbridge, Sègla Kpodjedo, Opeyemi O. Adesina, Miguel A. Garzón
A Novel Approach to Measure Confidence and Uncertainty in Assurance Cases. RE Workshops (2019)
Alvine Boaye Belle, Timothy C. Lethbridge, Miguel Garzón, Opeyemi O. Adesina
Design and implementation of distributed expert systems: On a control strategy to manage the execution flow of rule activation. Expert Syst. Appl. 96 (2018)
Opeyemi O. Adesina, Timothy C. Lethbridge, Stéphane S. Somé, Vahdat Abdelzad, Alvine Boaye Belle
Improving formal analysis of state machines with particular emphasis on and-cross transitions. Comput. Lang. Syst. Struct. 54 (2018)
Opeyemi O. Adesina, Timothy C. Lethbridge, Stéphane S. Somé
A Fully Automated Approach to Discovering Nondeterminism in State Machine Diagrams. QUATIC (2016)