A Model-Driven Solution for Financial Data Representation Expressed in FIXML. - Vahdat Abdelzad; Hamoud Aljamaan; Opeyemi Adesina; Miguel Garzón; Timothy Lethbridge (TTC@STAF, 2014)

Integrating Formal Methods with Model-Driven Engineering. - Opeyemi Adesina (MoDELS (Doctoral Symposium), 2015)

Merging Modeling and Programming Using Umple. - Timothy C. Lethbridge; Vahdat Abdelzad; Mahmoud Husseini Orabi; Ahmed Husseini Orabi; Opeyemi Adesina (ISoLA (2), 2016)

Modeling State Diagrams with And-Cross Transitions. - Opeyemi Adesina; Stéphane S. Somé; Timothy Lethbridge (MoDeVVa@MoDELS, 2016)

A Fully Automated Approach to Discovering Nondeterminism in State Machine Diagrams. - Opeyemi O. Adesina; Timothy C. Lethbridge; Stéphane S. Somé (QUATIC, 2016)

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)

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)

Optimizing Hierarchical, Concurrent State Machines in Umple for Model Checking. - Opeyemi Adesina; Timothy C. Lethbridge; Stéphane S. Somé (MoDELS (Companion), 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 (RE Workshops, 2019)

Flexible Job-Shop Scheduling with Changeover Priorities. - Holden Milne; Opeyemi Adesina; Russell Campbell; Barbara Friesen; Masud Khawaja (LOD, 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; et al. (Sci. Comput. Program., 2021)

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 009; Marsha Chechik; Marios Fokaefs; Kimya Khakzad Shahandashti; Oluwafemi Odu (CoRR, 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., 2023)

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 009; Opeyemi O. Adesina (CoRR, 2024)