Oszkár Semeráth

36 papers A* 2A 6B 3Journal 12Unranked 11

Year	Rank	Type	Title / Venue / Authors
2026	J	`jnl`	Certifying robustness of graph convolutional networks for node perturbation with polyhedra abstract interpretation. Data Min. Knowl. Discov. Boqi Chen, Kristóf Marussy, Oszkár Semeráth, Gunter Mussbacher, Dániel Varró
2026	—	`ed.`	Proceedings 16th International Workshop on Graph Computation Models, GCM@STAF 2025, Koblenz, Germany, 10 June 2025. GCM@STAF Leen Lambers, Oszkár Semeráth
2024	J	`jnl`	Automated and Complete Generation of Traffic Scenarios at Road Junctions Using a Multi-level Danger Definition. CoRR Aren A. Babikian, Attila Ficsor, Oszkár Semeráth, Gunter Mussbacher, Dániel Varró
2024	J	`jnl`	Certifying Robustness of Graph Convolutional Networks for Node Perturbation with Polyhedra Abstract Interpretation. CoRR Boqi Chen, Kristóf Marussy, Oszkár Semeráth, Gunter Mussbacher, Dániel Varró
2024	J	`jnl`	Concretization of Abstract Traffic Scene Specifications Using Metaheuristic Search. IEEE Trans. Software Eng. Aren A. Babikian, Oszkár Semeráth, Dániel Varró
2024	—	`conf`	Refinery: Graph Solver as a Service: Refinement-based Generation and Analysis of Consistent Models. ICSE Companion Kristóf Marussy, Attila Ficsor, Oszkár Semeráth, Dániel Varró
2024	A	`conf`	Requirement-Driven Generation of Distributed Ledger Architectures. MODELS Noor Al-Gburi, András Földvári, Kristóf Marussy, Oszkár Semeráth, Imre Kocsis
2023	J	`jnl`	Concretization of Abstract Traffic Scene Specifications Using Metaheuristic Search. CoRR Aren A. Babikian, Oszkár Semeráth, Dániel Varró
2022	J	`jnl`	Automated Generation of Consistent Graph Models With Multiplicity Reasoning. IEEE Trans. Software Eng. Kristóf Marussy, Oszkár Semeráth, Dániel Varró
2022	J	`jnl`	Automated generation of consistent models using qualitative abstractions and exploration strategies. Softw. Syst. Model. Aren A. Babikian, Oszkár Semeráth, Anqi Li, Kristóf Marussy, Dániel Varró
2022	A*	`conf`	Consistent Scene Graph Generation by Constraint Optimization. ASE Boqi Chen, Kristóf Marussy, Sebastian Pilarski, Oszkár Semeráth, Dániel Varró
2021	J	`jnl`	Automated generation of consistent, diverse and structurally realistic graph models. Softw. Syst. Model. Oszkár Semeráth, Aren A. Babikian, Boqi Chen, Chuning Li, Kristóf Marussy, Gábor Szárnyas, Dániel Varró
2021	—	`conf`	Towards the Formal Semantics of Scenario Tests for Autonomous Vehicles. LADC László Kovács, Oszkár Semeráth
2020	J	`jnl`	A Specification Language for Consistent Model Generation based on Partial Models. J. Object Technol. Kristóf Marussy, Oszkár Semeráth, Aren A. Babikian, Dániel Varró
2020	B	`conf`	Automated Generation of Consistent Graph Models with First-Order Logic Theorem Provers. FASE Aren A. Babikian, Oszkár Semeráth, Dániel Varró
2020	A	`conf`	Automated generation of consistent models with structural and attribute constraints. MoDELS Oszkár Semeráth, Aren A. Babikian, Anqi Li, Kristóf Marussy, Dániel Varró
2020	—	`conf`	Automated video game world map synthesis by model-based techniques. MoDELS (Companion) Boqi Chen, Dylan Havelock, Connor Plante, Michael Sukkarieh, Oszkár Semeráth, Dániel Varró
2020	J	`jnl`	Diversity of graph models and graph generators in mutation testing. Int. J. Softw. Tools Technol. Transf. Oszkár Semeráth, Rebeka Farkas, Gábor Bergmann, Dániel Varró
2019	—	`—`	Formal Validation and Model Generation for Domain-Specific Languages by Logic Solvers Oszkár Semeráth
2019	A	`conf`	Towards System-Level Testing with Coverage Guarantees for Autonomous Vehicles. MoDELS 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ó
2019	—	`conf`	Viatra solver: a framework for the automated generation of consistent domain-specific models. ICSE (Companion Volume) Oszkár Semeráth, Aren A. Babikian, Sebastian Pilarski, Dániel Varró
2018	A*	`conf`	A graph solver for the automated generation of consistent domain-specific models. ICSE Oszkár Semeráth, András Szabolcs Nagy, Dániel Varró
2018	A	`conf`	Incremental View Model Synchronization Using Partial Models. MoDELS Kristóf Marussy, Oszkár Semeráth, Dániel Varró
2018	B	`conf`	Iterative Generation of Diverse Models for Testing Specifications of DSL Tools. FASE Oszkár Semeráth, Dániel Varró
2018	—	`conf`	Towards the Automated Generation of Consistent, Diverse, Scalable and Realistic Graph Models. Graph Transformation, Specifications, and Nets Dániel Varró, Oszkár Semeráth, Gábor Szárnyas, Ákos Horváth
2017	J	`jnl`	Evaluating Well-Formedness Constraints on Incomplete Models. Acta Cybern. Oszkár Semeráth, Dániel Varró
2017	J	`jnl`	Formal validation of domain-specific languages with derived features and well-formedness constraints. Softw. Syst. Model. Oszkár Semeráth, Ágnes Barta, Ákos Horváth, Zoltán Szatmári, Dániel Varró
2017	—	`conf`	Graph Constraint Evaluation over Partial Models by Constraint Rewriting. ICMT Oszkár Semeráth, Dániel Varró
2016	—	`conf`	Change Propagation of View Models by Logic Synthesis using SAT solvers. Bx@ETAPS Oszkár Semeráth, Csaba Debreceni, Ákos Horváth, Dániel Varró
2016	—	`conf`	Formal Validation and Model Synthesis for Domain-specific Languages by Logic Solvers. SRC@MoDELS Oszkár Semeráth
2016	A	`conf`	Incremental backward change propagation of view models by logic solvers. MoDELS Oszkár Semeráth, Csaba Debreceni, Ákos Horváth, Dániel Varró
2016	B	`conf`	Iterative and Incremental Model Generation by Logic Solvers. FASE Oszkár Semeráth, András Vörös, Dániel Varró
2015	—	`conf`	The TTC 2015 Train Benchmark Case for Incremental Model Validation. TTC@STAF Gábor Szárnyas, Oszkár Semeráth, István Ráth, Dániel Varró
2014	—	`conf`	Movie Database Case: An EMF-IncQuery Solution. TTC@STAF Gábor Szárnyas, Oszkár Semeráth, Benedek Izsó, Csaba Debreceni, Ábel Hegedüs, Zoltán Ujhelyi, Gábor Bergmann
2014	—	`conf`	On Open Source Tools for Behavioral Modeling and Analysis with fUML and Alf. OSS4MDE@MoDELS Zoltán Micskei, Raimund-Andreas Konnerth, Benedek Horváth, Oszkár Semeráth, András Vörös, Dániel Varró
2013	A	`conf`	Validation of Derived Features and Well-Formedness Constraints in DSLs - By Mapping Graph Queries to an SMT-Solver. MoDELS Oszkár Semeráth, Ákos Horváth, Dániel Varró