Oszkár Semeráth

Publication Activity (10 Years)

Years Active: 2013-2024
Publications (10 Years): 28

Top Topics

Constraint Optimization

Statistical Models

Top Venues

Softw. Syst. Model.

Publications

Aren A. Babikian, Oszkár Semeráth, Dániel Varró
Concretization of Abstract Traffic Scene Specifications Using Metaheuristic Search. IEEE Trans. Software Eng. 50 (1) (2024)
Boqi Chen, Kristóf Marussy, Oszkár Semeráth, Gunter Mussbacher, Dániel Varró
Certifying Robustness of Graph Convolutional Networks for Node Perturbation with Polyhedra Abstract Interpretation. CoRR (2024)
Kristóf Marussy, Attila Ficsor, Oszkár Semeráth, Dániel Varró
Refinery: Graph Solver as a Service: Refinement-based Generation and Analysis of Consistent Models. ICSE Companion (2024)
Aren A. Babikian, Oszkár Semeráth, Dániel Varró
Concretization of Abstract Traffic Scene Specifications Using Metaheuristic Search. CoRR (2023)
Aren A. Babikian, Oszkár Semeráth, Anqi Li, Kristóf Marussy, Dániel Varró
Automated generation of consistent models using qualitative abstractions and exploration strategies. Softw. Syst. Model. 21 (5) (2022)
Boqi Chen, Kristóf Marussy, Sebastian Pilarski, Oszkár Semeráth, Dániel Varró
Consistent Scene Graph Generation by Constraint Optimization. ASE (2022)
Kristóf Marussy, Oszkár Semeráth, Dániel Varró
Automated Generation of Consistent Graph Models With Multiplicity Reasoning. IEEE Trans. Software Eng. 48 (5) (2022)
László Kovács, Oszkár Semeráth
Towards the Formal Semantics of Scenario Tests for Autonomous Vehicles. LADC (2021)
Oszkár Semeráth, Aren A. Babikian, Boqi Chen, Chuning Li, Kristóf Marussy, Gábor Szárnyas, Dániel Varró
Automated generation of consistent, diverse and structurally realistic graph models. Softw. Syst. Model. 20 (5) (2021)
Boqi Chen, Dylan Havelock, Connor Plante, Michael Sukkarieh, Oszkár Semeráth, Dániel Varró
Automated video game world map synthesis by model-based techniques. MoDELS (Companion) (2020)
Oszkár Semeráth, Aren A. Babikian, Anqi Li, Kristóf Marussy, Dániel Varró
Automated generation of consistent models with structural and attribute constraints. MoDELS (2020)
Aren A. Babikian, Oszkár Semeráth, Dániel Varró
Automated Generation of Consistent Graph Models with First-Order Logic Theorem Provers. FASE (2020)
Kristóf Marussy, Oszkár Semeráth, Aren A. Babikian, Dániel Varró
A Specification Language for Consistent Model Generation based on Partial Models. J. Object Technol. 19 (3) (2020)
Oszkár Semeráth, Rebeka Farkas, Gábor Bergmann, Dániel Varró
Diversity of graph models and graph generators in mutation testing. Int. J. Softw. Tools Technol. Transf. 22 (1) (2020)
Oszkár Semeráth, Aren A. Babikian, Sebastian Pilarski, Dániel Varró
Viatra solver: a framework for the automated generation of consistent domain-specific models. ICSE (Companion Volume) (2019)
István Majzik, Oszkár Semeráth, Csaba Hajdu, Kristóf Marussy, Zoltán Szatmári, Zoltán Micskei, András Vörös, Aren A. Babikian, Dániel Varró
Towards System-Level Testing with Coverage Guarantees for Autonomous Vehicles. MoDELS (2019)
Oszkár Semeráth, András Szabolcs Nagy, Dániel Varró
A graph solver for the automated generation of consistent domain-specific models. ICSE (2018)
Kristóf Marussy, Oszkár Semeráth, Dániel Varró
Incremental View Model Synchronization Using Partial Models. MoDELS (2018)
Dániel Varró, Oszkár Semeráth, Gábor Szárnyas, Ákos Horváth
Towards the Automated Generation of Consistent, Diverse, Scalable and Realistic Graph Models. Graph Transformation, Specifications, and Nets (2018)
Oszkár Semeráth, Dániel Varró
Iterative Generation of Diverse Models for Testing Specifications of DSL Tools. FASE (2018)
Oszkár Semeráth, Dániel Varró
Graph Constraint Evaluation over Partial Models by Constraint Rewriting. ICMT (2017)
Oszkár Semeráth, Ágnes Barta, Ákos Horváth, Zoltán Szatmári, Dániel Varró
Formal validation of domain-specific languages with derived features and well-formedness constraints. Softw. Syst. Model. 16 (2) (2017)
Oszkár Semeráth, Dániel Varró
Evaluating Well-Formedness Constraints on Incomplete Models. Acta Cybern. 23 (2) (2017)
Oszkár Semeráth, Csaba Debreceni, Ákos Horváth, Dániel Varró
Change Propagation of View Models by Logic Synthesis using SAT solvers. Bx@ETAPS (2016)
Oszkár Semeráth, Csaba Debreceni, Ákos Horváth, Dániel Varró
Incremental backward change propagation of view models by logic solvers. MoDELS (2016)
Oszkár Semeráth
Formal Validation and Model Synthesis for Domain-specific Languages by Logic Solvers. SRC@MoDELS (2016)
Oszkár Semeráth, András Vörös, Dániel Varró
Iterative and Incremental Model Generation by Logic Solvers. FASE (2016)
Gábor Szárnyas, Oszkár Semeráth, István Ráth, Dániel Varró
The TTC 2015 Train Benchmark Case for Incremental Model Validation. TTC@STAF (2015)
Gábor Szárnyas, Oszkár Semeráth, Benedek Izsó, Csaba Debreceni, Ábel Hegedüs, Zoltán Ujhelyi, Gábor Bergmann
Movie Database Case: An EMF-IncQuery Solution. TTC@STAF (2014)
Zoltán Micskei, Raimund-Andreas Konnerth, Benedek Horváth, Oszkár Semeráth, András Vörös, Dániel Varró
On Open Source Tools for Behavioral Modeling and Analysis with fUML and Alf. OSS4MDE@MoDELS (2014)
Oszkár Semeráth, Ákos Horváth, Dániel Varró
Validation of Derived Features and Well-Formedness Constraints in DSLs - By Mapping Graph Queries to an SMT-Solver. MoDELS (2013)