Publications

Talks:

• Modeling Languages: A Graph Solver for Automatically Generating Consistent Models
• Hungarian Academy of Sciences: Innovation of Hungarian researchers could revolutionise car-industry design technology testing

Selected Papers:

• Varró, D., Semeráth, O., Szárnyas, G., and Horváth, Á., "Towards the Automated Generation of Consistent, Diverse, Scalable and Realistic Graph Models", Graph Transformation, Specifications, and Nets, 2018.
• Semeráth, O., Nagy, A S., and Varró, D., "A Graph Solver for the Automated Generation of Consistent Domain-Specific Models", 40th International Conference on Software Engineering (ICSE 2018).
• Semeráth, O., and Varró, D., "Iterative Generation of Diverse Models for Testing Specifications of DSL Tools", 21st International Conference on Fundamental Approaches to Software Engineering (FASE 2018).
• Semeráth, O., and Varró, D., "Graph Constraint Evaluation over Partial Models by Constraint Rewriting", 10th International Conference on Theory and Practice of Model Transformation (ICMT 2017).
• Semeráth, O., Barta, Á., Szatmári, Z., Horváth, Á., and Varró, D., "Formal Validation of Domain-Specific Languages with Derived Features and Well-Formedness Constraints", International Journal on Software and Systems Modeling (SOSYM 2017)
• Semeráth, O., Debreceni, C., Horváth, Á., and Varró, D., "Incremental Backward Change Propagation of View Models by Logic Solvers", 19th International Conference on Model Driven Engineering Languages and Systems (MODELS 2016)
• Semeráth, O., Vörös, A., and Varró, D., "Iterative and Incremental Model Generation by Logic Solvers", 19th International Conference on Fundamental Approaches to Software Engineering (FASE 2016)
• Semeráth, O., Horváth, Á., and Varró, D., "Validation of Derived Features and Well-Formedness Constraints in DSLs by mapping graph queries to an SMT-solver", International Conference on Model Driven Engineering Languages and Systems (MODELS 2013)