Oszkár Semeráth
Oszkár Semeráth
Budapest University of Technology and Economics, Department of Measurement and Information Systems
Verified email at mit.bme.hu - Homepage
Title
Cited by
Cited by
Year
Formal validation of domain-specific languages with derived features and well-formedness constraints
O Semeráth, Á Barta, Á Horváth, Z Szatmári, D Varró
Software and Systems Modeling 16 (2), 357-392, 2017
372017
Iterative and incremental model generation by logic solvers
O Semeráth, A Vörös, D Varró
International Conference on Fundamental Approaches to Software Engineering …, 2016
282016
A Graph Solver for the Automated Generation of Consistent Domain-Specific Models
O Semeráth, AS Nagy, D Varró
40th International Conference on Software Engineering (ICSE 2018 …, 2018
202018
Graph Constraint Evaluation over Partial Models by Constraint Rewriting
O Semeráth, D Varró
Theory and Practice of Model Transformation, 138, 2017
182017
The TTC 2015 Train Benchmark Case for Incremental Model Validation.
G Szárnyas, O Semeráth, I Ráth, D Varró
TTC@ STAF, 129-141, 2015
182015
Towards the Automated Generation of Consistent, Diverse, Scalable and Realistic Graph Models
D Varró, O Semeráth, G Szárnyas, Á Horváth
Graph Transformation, Specifications, and Nets, 2018
172018
Iterative Generation of Diverse Models for Testing Specifications of DSL Tools.
O Semeráth, D Varró
FASE 18, 227-245, 2018
142018
Incremental backward change propagation of view models by logic solvers
O Semeráth, C Debreceni, Á Horváth, D Varró
Proceedings of the ACM/IEEE 19th International Conference on Model Driven …, 2016
132016
On open source tools for behavioral modeling and analysis with fuml and alf.
Z Micskei, RA Konnerth, B Horváth, O Semeráth, A Vörös, D Varró
OSS4MDE@ MoDELS, 31-41, 2014
112014
Viatra solver: a framework for the automated generation of consistent domain-specific models
O Semeráth, AA Babikian, S Pilarski, D Varró
2019 IEEE/ACM 41st International Conference on Software Engineering …, 2019
62019
Incremental view model synchronization using partial models
K Marussy, O Semeráth, D Varró
Proceedings of the 21th ACM/IEEE International Conference on Model Driven …, 2018
62018
Validation of derived features and well-formedness constraints in dsls
O Semeráth, Á Horváth, D Varró
International Conference on Model Driven Engineering Languages and Systems …, 2013
62013
Change Propagation of View Models by Logic Synthesis using SAT solvers.
O Semeráth, C Debreceni, Á Horváth, D Varró
CEUR-WS. org, 2016
52016
Diversity of graph models and graph generators in mutation testing
O Semeráth, R Farkas, G Bergmann, D Varró
International Journal on Software Tools for Technology Transfer 22 (1), 57-78, 2020
32020
Formal validation and model generation for domain-specific languages by logic solvers
O Semeráth
22019
Validation of Domain Specific Languages
O Semeráth
Technical Report, 2013
22013
Automated Generation of Consistent Graph Models with First-Order Logic Theorem Provers.
AA Babikian, O Semeráth, D Varró
FASE, 441-461, 2020
12020
Automated Generation of Consistent Graph Models with Multiplicity Reasoning
K Marussy, O Semeráth, D Varró
Submitted to the IEEE for possible publication, 2020
12020
Towards System-Level Testing with Coverage Guarantees for Autonomous Vehicles
I Majzik, O Semeráth, C Hajdu, K Marussy, Z Szatmári, Z Micskei, A Vörös, ...
IEEE / ACM 22nd International Conference on Model Driven Engineering …, 2019
12019
Evaluating well-formedness constraints on incomplete models
O Semeráth, D Varró
Acta Cybernetica 23 (2), 687-713, 2017
12017
The system can't perform the operation now. Try again later.
Articles 1–20