Oszkár Semeráth

According to our database, Oszkár Semeráth authored at least 39 papers between 2013 and 2024.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2024

Concretization of Abstract Traffic Scene Specifications Using Metaheuristic Search.

Aren A. Babikian, Oszkár Semeráth, Dániel Varró

IEEE Trans. Software Eng., January, 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

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

Requirement-Driven Generation of Distributed Ledger Architectures.

Noor Al-Gburi, András Földvári, Kristóf Marussy, Oszkár Semeráth, Imre Kocsis

Proceedings of the ACM/IEEE 27th International Conference on Model Driven Engineering Languages and Systems, 2024

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ó

Proceedings of the 2024 IEEE/ACM 46th International Conference on Software Engineering: Companion Proceedings, 2024

2022

Artifacts for the paper "Concretization of Abstract Traffic Scene Specifications Using Metaheuristic Search".

Aren A. Babikian, Oszkár Semeráth, Dániel Varró

Dataset, March, 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ó

Dataset, March, 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ó

Dataset, March, 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

Automated generation of consistent models using qualitative abstractions and exploration strategies.

Aren A. Babikian, Oszkár Semeráth, Anqi Li, Kristóf Marussy, Dániel Varró

Softw. Syst. Model., 2022

Consistent Scene Graph Generation by Constraint Optimization.

Boqi Chen, Kristóf Marussy, Sebastian Pilarski, Oszkár Semeráth, Dániel Varró

Proceedings of the 37th IEEE/ACM International Conference on Automated Software Engineering, 2022

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

Towards the Formal Semantics of Scenario Tests for Autonomous Vehicles.

László Kovács, Oszkár Semeráth

Proceedings of the 10th Latin-American Symposium on Dependable Computing, 2021

2020

Artifacts for "Automated Generation of Consistent Models with Structural and Attribute Constraints".

Oszkár Semeráth, Aren A. Babikian, Anqi Li, Kristóf Marussy, Dániel Varró

Dataset, July, 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

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

Automated generation of consistent models with structural and attribute constraints.

Oszkár Semeráth, Aren A. Babikian, Anqi Li, Kristóf Marussy, Dániel Varró

Proceedings of the MoDELS '20: ACM/IEEE 23rd International Conference on Model Driven Engineering Languages and Systems, 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ó

Proceedings of the MODELS '20: ACM/IEEE 23rd International Conference on Model Driven Engineering Languages and Systems, 2020

Automated Generation of Consistent Graph Models with First-Order Logic Theorem Provers.

Aren A. Babikian, Oszkár Semeráth, Dániel Varró

Proceedings of the Fundamental Approaches to Software Engineering, 2020

2019

Formal Validation and Model Generation for Domain-Specific Languages by Logic Solvers

Oszkár Semeráth

PhD thesis, 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, Aren A. Babikian, Dániel Varró

Proceedings of the 22nd ACM/IEEE International Conference on Model Driven Engineering Languages and Systems, 2019

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ó

Proceedings of the 41st International Conference on Software Engineering: Companion Proceedings, 2019

2018

ViewModel Tool and Benchmark Results for "Incremental View Model Synchronization Using Partial Models".

Kristóf Marussy, Oszkár Semeráth, Dániel Varró

Dataset, July, 2018

ViewModel Tool and Benchmark Results for "Incremental View Model Synchronization Using Partial Models".

Kristóf Marussy, Oszkár Semeráth, Dániel Varró

Dataset, July, 2018

Incremental View Model Synchronization Using Partial Models.

Kristóf Marussy, Oszkár Semeráth, Dániel Varró

Proceedings of the 21th ACM/IEEE International Conference on Model Driven Engineering Languages and Systems, 2018

A graph solver for the automated generation of consistent domain-specific models.

Oszkár Semeráth, András Szabolcs Nagy, Dániel Varró

Proceedings of the 40th International Conference on Software Engineering, 2018

Iterative Generation of Diverse Models for Testing Specifications of DSL Tools.

Oszkár Semeráth, Dániel Varró

Proceedings of the Fundamental Approaches to Software Engineering, 2018

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

Proceedings of the Graph Transformation, Specifications, and Nets, 2018

2017

Formal validation of domain-specific languages with derived features and well-formedness constraints.

Oszkár Semeráth, Ágnes Barta, Ákos Horváth, Zoltán Szatmári, Dániel Varró

Softw. Syst. Model., 2017

Evaluating Well-Formedness Constraints on Incomplete Models.

Oszkár Semeráth, Dániel Varró

Acta Cybern., 2017

Graph Constraint Evaluation over Partial Models by Constraint Rewriting.

Oszkár Semeráth, Dániel Varró

Proceedings of the Theory and Practice of Model Transformation, 2017

2016

Incremental backward change propagation of view models by logic solvers.

Oszkár Semeráth, Csaba Debreceni, Ákos Horváth, Dániel Varró

Proceedings of the ACM/IEEE 19th International Conference on Model Driven Engineering Languages and Systems, 2016

Formal Validation and Model Synthesis for Domain-specific Languages by Logic Solvers.

Oszkár Semeráth

Proceedings of the ACM Student Research Competition at MODELS 2016 co-located with the 19th International Conference on Model Driven Engineering Languages and Systems (MODELS 2016), 2016

Iterative and Incremental Model Generation by Logic Solvers.

Oszkár Semeráth, András Vörös, Dániel Varró

Proceedings of the Fundamental Approaches to Software Engineering, 2016

Change Propagation of View Models by Logic Synthesis using SAT solvers.

Oszkár Semeráth, Csaba Debreceni, Ákos Horváth, Dániel Varró

Proceedings of the 5th International Workshop on Bidirectional Transformations, 2016

2015

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ó

Proceedings of the 8th Transformation Tool Contest, 2015

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

Proceedings of the 7th Transformation Tool Contest part of the Software Technologies: Applications and Foundations (STAF 2014) federation of conferences, 2014

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, Dániel Varró

Proceedings of the 1st Workshop on Open Source Software for Model Driven Engineering co-located with ACM/IEEE 17th International Conference on Model Driven Engineering Languages & Systems, 2014

2013

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, Dániel Varró

Proceedings of the Model-Driven Engineering Languages and Systems, 2013