Validation of Derived Features and Well-Formedness Constraints in DSLs - By Mapping Graph Queries to an SMT-Solver. - Oszkár Semeráth; Ákos Horváth 001; Dániel Varró (MoDELS, 2013)

On Open Source Tools for Behavioral Modeling and Analysis with fUML and Alf. - Zoltán Micskei; Raimund-Andreas Konnerth; Benedek Horváth; Oszkár Semeráth; András Vörös 001; Dániel Varró (OSS4MDE@MoDELS, 2014)

Movie Database Case: An EMF-IncQuery Solution. - Gábor Szárnyas; Oszkár Semeráth; Benedek Izsó; Csaba Debreceni; Ábel Hegedüs; Zoltán Ujhelyi; Gábor Bergmann (TTC@STAF, 2014)

The TTC 2015 Train Benchmark Case for Incremental Model Validation. - Gábor Szárnyas; Oszkár Semeráth; István Ráth; Dániel Varró (TTC@STAF, 2015)

Change Propagation of View Models by Logic Synthesis using SAT solvers. - Oszkár Semeráth; Csaba Debreceni; Ákos Horváth 001; Dániel Varró (Bx@ETAPS, 2016)

Iterative and Incremental Model Generation by Logic Solvers. - Oszkár Semeráth; András Vörös 001; Dániel Varró (FASE, 2016)

Formal Validation and Model Synthesis for Domain-specific Languages by Logic Solvers. - Oszkár Semeráth (SRC@MoDELS, 2016)

Incremental backward change propagation of view models by logic solvers. - Oszkár Semeráth; Csaba Debreceni; Ákos Horváth 001; Dániel Varró (MoDELS, 2016)

Graph Constraint Evaluation over Partial Models by Constraint Rewriting. - Oszkár Semeráth; Dániel Varró (ICMT, 2017)

Evaluating Well-Formedness Constraints on Incomplete Models. - Oszkár Semeráth; Dániel Varró (Acta Cybern., 2017)

Formal validation of domain-specific languages with derived features and well-formedness constraints. - Oszkár Semeráth; Ágnes Barta; Ákos Horváth 001; Zoltán Szatmári; Dániel Varró (Softw. Syst. Model., 2017)

Towards the Automated Generation of Consistent, Diverse, Scalable and Realistic Graph Models. - Dániel Varró; Oszkár Semeráth; Gábor Szárnyas; Ákos Horváth 001 (Graph Transformation, Specifications, and Nets, 2018)

Iterative Generation of Diverse Models for Testing Specifications of DSL Tools. - Oszkár Semeráth; Dániel Varró (FASE, 2018)

A graph solver for the automated generation of consistent domain-specific models. - Oszkár Semeráth; András Szabolcs Nagy; Dániel Varró (ICSE, 2018)

Incremental View Model Synchronization Using Partial Models. - Kristóf Marussy; Oszkár Semeráth; Dániel Varró (MoDELS, 2018)

ViewModel Tool and Benchmark Results for "Incremental View Model Synchronization Using Partial Models". - Kristóf Marussy; Oszkár Semeráth; Dániel Varró (Zenodo, 2018)

ViewModel Tool and Benchmark Results for "Incremental View Model Synchronization Using Partial Models". - Kristóf Marussy; Oszkár Semeráth; Dániel Varró (Zenodo, 2018)

Viatra solver: a framework for the automated generation of consistent domain-specific models. - Oszkár Semeráth; Aren A. Babikian; Sebastian Pilarski; Dániel Varró (ICSE (Companion Volume), 2019)

Towards System-Level Testing with Coverage Guarantees for Autonomous Vehicles. - István Majzik; Oszkár Semeráth; Csaba Hajdu; Kristóf Marussy; Zoltán Szatmári; Zoltán Micskei; András Vörös 001; Aren A. Babikian; Dániel Varró (MoDELS, 2019)

Formal Validation and Model Generation for Domain-Specific Languages by Logic Solvers - Oszkár Semeráth (2019)

Automated Generation of Consistent Graph Models with First-Order Logic Theorem Provers. - Aren A. Babikian; Oszkár Semeráth; Dániel Varró (FASE, 2020)

Automated video game world map synthesis by model-based techniques. - Boqi Chen; Dylan Havelock; Connor Plante; Michael Sukkarieh; Oszkár Semeráth; Dániel Varró (MoDELS (Companion), 2020)

Automated generation of consistent models with structural and attribute constraints. - Oszkár Semeráth; Aren A. Babikian; Anqi Li 003; Kristóf Marussy; Dániel Varró (MoDELS, 2020)

A Specification Language for Consistent Model Generation based on Partial Models. - Kristóf Marussy; Oszkár Semeráth; Aren A. Babikian; Dániel Varró (J. Object Technol., 2020)

Diversity of graph models and graph generators in mutation testing. - Oszkár Semeráth; Rebeka Farkas; Gábor Bergmann; Dániel Varró (Int. J. Softw. Tools Technol. Transf., 2020)

Artifacts for "Automated Generation of Consistent Models with Structural and Attribute Constraints". - Oszkár Semeráth; Aren A. Babikian; Anqi Li 003; Kristóf Marussy; Dániel Varró (Zenodo, 2020)

Towards the Formal Semantics of Scenario Tests for Autonomous Vehicles. - László Kovács; Oszkár Semeráth (LADC, 2021)

Automated generation of consistent, diverse and structurally realistic graph models. - Oszkár Semeráth; Aren A. Babikian; Boqi Chen; Chuning Li; Kristóf Marussy; Gábor Szárnyas; Dániel Varró (Softw. Syst. Model., 2021)

Consistent Scene Graph Generation by Constraint Optimization. - Boqi Chen; Kristóf Marussy; Sebastian Pilarski; Oszkár Semeráth; Dániel Varró (ASE, 2022)

Automated generation of consistent models using qualitative abstractions and exploration strategies. - Aren A. Babikian; Oszkár Semeráth; Anqi Li 003; Kristóf Marussy; Dániel Varró (Softw. Syst. Model., 2022)

Automated Generation of Consistent Graph Models With Multiplicity Reasoning. - Kristóf Marussy; Oszkár Semeráth; Dániel Varró (IEEE Trans. Software Eng., 2022)

Artifacts for the paper "Concretization of Abstract Traffic Scene Specifications Using Multi-objective Optimization". - Aren A. Babikian; Oszkár Semeráth; Dániel Varró (Zenodo, 2022)

Artifacts for the paper "Concretization of Abstract Traffic Scene Specifications Using Multi-objective Optimization". - Aren A. Babikian; Oszkár Semeráth; Dániel Varró (Zenodo, 2022)

Artifacts for the paper "Concretization of Abstract Traffic Scene Specifications Using Metaheuristic Search". - Aren A. Babikian; Oszkár Semeráth; Dániel Varró (Zenodo, 2022)

Refinery: Graph Solver as a Service: Refinement-based Generation and Analysis of Consistent Models. - Kristóf Marussy; Attila Ficsor; Oszkár Semeráth; Dániel Varró (ICSE Companion, 2024)

Requirement-Driven Generation of Distributed Ledger Architectures. - Noor Al-Gburi; András Földvári; Kristóf Marussy; Oszkár Semeráth; Imre Kocsis (MODELS, 2024)

Certifying Robustness of Graph Convolutional Networks for Node Perturbation with Polyhedra Abstract Interpretation. - Boqi Chen; Kristóf Marussy; Oszkár Semeráth; Gunter Mussbacher; Dániel Varró (CoRR, 2024)

Automated and Complete Generation of Traffic Scenarios at Road Junctions Using a Multi-level Danger Definition. - Aren A. Babikian; Attila Ficsor; Oszkár Semeráth; Gunter Mussbacher; Dániel Varró (CoRR, 2024)

Concretization of Abstract Traffic Scene Specifications Using Metaheuristic Search. - Aren A. Babikian; Oszkár Semeráth; Dániel Varró (IEEE Trans. Software Eng., 2024)

Artifacts for the paper "Concretization of Abstract Traffic Scene Specifications Using Metaheuristic Search". - Aren A. Babikian; Oszkár Semeráth; Dániel Varró (Zenodo, 2024)

Artifacts for the paper "Automated and Complete Generation of Traffic Scenarios at Road Junctions Using a Multi-level Danger Definition". - Aren A. Babikian; Attila Ficsor; Oszkár Semeráth; Gunter Mussbacher; Dániel Varró (Zenodo, 2024)

Artifacts for the paper "Automated and Complete Generation of Traffic Scenarios at Road Junctions Using a Multi-level Danger Definition". - Aren A. Babikian; Attila Ficsor; Oszkár Semeráth; Gunter Mussbacher; Dániel Varró (Zenodo, 2024)