| 2026 | SAC | Synthetic Data Generation for Trustworthy Data Space Services. | Nada Akel, Oszkr Semerth, Imre Kocsis, Lszl Gnczy |
| 2024 | ICSE | Refinery: Graph Solver as a Service: Refinement-based Generation and Analysis of Consistent Models. | Kristf Marussy, Attila Ficsor, Oszkr Semerth, Dniel Varr |
| 2024 | MODELS | Requirement-Driven Generation of Distributed Ledger Architectures. | Noor Al-Gburi, Andrs Fldvri, Kristf Marussy, Oszkr Semerth, Imre Kocsis |
| 2020 | FASE | Automated Generation of Consistent Graph Models with First-Order Logic Theorem Provers. | Aren A. Babikian, Oszkr Semerth, Dniel Varr |
| 2020 | MODELS | Automated video game world map synthesis by model-based techniques. | Boqi Chen, Dylan Havelock, Connor Plante, Michael Sukkarieh, Oszkr Semerth, Dniel Varr |
| 2020 | MODELS | Automated generation of consistent models with structural and attribute constraints. | Oszkr Semerth, Aren A. Babikian, Anqi Li, Kristf Marussy, Dniel Varr |
| 2019 | ICSE | Viatra solver: a framework for the automated generation of consistent domain-specific models. | Oszkr Semerth, Aren A. Babikian, Sebastian Pilarski, Dniel Varr |
| 2019 | MODELS | Towards System-Level Testing with Coverage Guarantees for Autonomous Vehicles. | Istvn Majzik, Oszkr Semerth, Csaba Hajdu, Kristf Marussy, Zoltn Szatmri, Zoltn Micskei, Andrs Vrs, Aren A. Babikian, Dniel Varr |
| 2018 | FASE | Iterative Generation of Diverse Models for Testing Specifications of DSL Tools. | Oszkr Semerth, Dniel Varr |
| 2018 | ICSE | A graph solver for the automated generation of consistent domain-specific models. | Oszkr Semerth, Andrs Szabolcs Nagy, Dniel Varr |
| 2018 | MODELS | Incremental View Model Synchronization Using Partial Models. | Kristf Marussy, Oszkr Semerth, Dniel Varr |
| 2016 | FASE | Iterative and Incremental Model Generation by Logic Solvers. | Oszkr Semerth, Andrs Vrs, Dniel Varr |
| 2016 | MODELS | Formal Validation and Model Synthesis for Domain-specific Languages by Logic Solvers. | Oszkr Semerth |
| 2016 | MODELS | Incremental backward change propagation of view models by logic solvers. | Oszkr Semerth, Csaba Debreceni, kos Horvth, Dniel Varr |
| 2014 | MODELS | On Open Source Tools for Behavioral Modeling and Analysis with fUML and Alf. | Zoltn Micskei, Raimund-Andreas Konnerth, Benedek Horvth, Oszkr Semerth, Andrs Vrs, Dniel Varr |
| 2013 | MODELS | Validation of Derived Features and Well-Formedness Constraints in DSLs - By Mapping Graph Queries to an SMT-Solver. | Oszkr Semerth, kos Horvth, Dniel Varr |