Opeyemi Adesina
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
4
Venues
2
Active years
2015–2019
Best venue rank
A
Where they publish
Papers
4 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2019 | MODELS | Optimizing Hierarchical, Concurrent State Machines in Umple for Model Checking. | Opeyemi Adesina, Timothy C. Lethbridge, Stphane S. Som |
| 2016 | ISoLA | Merging Modeling and Programming Using Umple. | Timothy C. Lethbridge, Vahdat Abdelzad, Mahmoud Husseini Orabi, Ahmed Husseini Orabi, Opeyemi Adesina |
| 2016 | MODELS | Modeling State Diagrams with And-Cross Transitions. | Opeyemi Adesina, Stphane S. Som, Timothy Lethbridge |
| 2015 | MODELS | Integrating Formal Methods with Model-Driven Engineering. | Opeyemi Adesina |