Introduction

Oszkár Semeráth is an assistant professor at the Department of Measurement and Information Systems at Budapest University of Technology and Economics. His research focuses on modeling technologies, and the application and development of specialized logic solvers for graph generation. He is the lead developer of the VIATRA Solver graph generator framework. He won IEEE/ACM best paper award at the MODELS 2013 conference, Young Researcher Award from the Hungarian Academy of Science, John George Kemeny Award from John von Neumann Computer Socienty, Amazon Research Award, and the scholarship of the New National Excellence Program three times.

Research Interest

• Modeling Tools and Technologies
• Graph-Based Modeling and Graph Transformation
• Formal Logic and Solvers

Education

• PhD at Budapest University of Technology and Ecomomics, dissertation
• BSc and MSc at Budapest University of Technology and Ecomomics

Publications

Selected publications

• Semeráth, Nagy, and Varró. A Graph Solver for the Automated Generation of Consistent Domain-Specific Models, 40th International Conference on Software Engineering (ICSE 2018), Gothenburg, Sweden

• Semeráth, Farkas, Bergmann and Varró. Diversity of graph models and graph generators in mutation testing, International Journal on Software Tools for Technology Transfer 22 (1), 57-78

• Semeráth, Babikian, Li, Marussy and Varró. Automated Generation of Consistent Models with Structural and Attribute Constraints, 23rd International Conference on Model Driven Engineering Languages and Systems (MODELS 2020), Montréal, Canada

• Semeráth, Barta, Horváth, Szatmári and Varró. Formal validation of domain-specific languages with derived features and well-formedness constraints, Software and Systems Modeling 16 (2), 357-392

• Semeráth and Varró. Graph Constraint Evaluation over Partial Models by Constraint Rewriting, International Conference on Theory and Practice of Model Transformation (ICMT 2017), Marburg, Germany