| 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 | 62 | 2018 |
| 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 | 52 | 2017 |
| 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 | 40 | 2016 |
| 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 | 36 | 2018 |
| 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 | 35 | 2019 |
| Graph Constraint Evaluation over Partial Models by Constraint Rewriting O Semeráth, D Varró Theory and Practice of Model Transformation, 138, 2017 | 32 | 2017 |
| Iterative Generation of Diverse Models for Testing Specifications of DSL Tools. O Semeráth, D Varró FASE 18, 227-245, 2018 | 27 | 2018 |
| 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, 57-78, 2020 | 20 | 2020 |
| 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 | 19 | 2016 |
| 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 | 19 | 2015 |
| On open source tools for behavioral modeling and analysis with fuml and alf. Z Micskei, RA Konnerth, B Horváth, O Semerath, A Vörös, D Varró OSS4MDE@ MoDELS 1290, 31-41, 2014 | 18 | 2014 |
| 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 | 17 | 2019 |
| Automated generation of consistent graph models with multiplicity reasoning K Marussy, O Semeráth, D Varró IEEE Transactions on Software Engineering 48 (5), 1610-1629, 2020 | 11 | 2020 |
| Automated Generation of Consistent Models with Structural and Attribute Constraints O Semeráth, AA Babikian, A Li, K Marussy, D Varró ACM / IEEE 23rd International Conference on Model Driven Engineering …, 2020 | 11 | 2020 |
| 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 | 11 | 2018 |
| A Specification Language for Consistent Model Generation based on Partial Models K Marussy, O Semeráth, AA Babikian, D Varró | 9 | 2020 |
| Validation of Derived Features and Well-Formedness Constraints in DSLs: By Mapping Graph Queries to an SMT-Solver O Semeráth, Á Horváth, D Varró Model-Driven Engineering Languages and Systems: 16th International …, 2013 | 8 | 2013 |
| Automated generation of consistent, diverse and structurally realistic graph models O Semeráth, AA Babikian, B Chen, C Li, K Marussy, G Szárnyas, D Varró Software and Systems Modeling 20 (5), 1713-1734, 2021 | 7 | 2021 |
| Change Propagation of View Models by Logic Synthesis using SAT solvers. O Semeráth, C Debreceni, Á Horváth, D Varró CEUR-WS. org, 2016 | 7 | 2016 |
| Automated Generation of Consistent Graph Models with First-Order Logic Theorem Provers. AA Babikian, O Semeráth, D Varró FASE, 441-461, 2020 | 5 | 2020 |
| Automated generation of consistent models using qualitative abstractions and exploration strategies AA Babikian, O Semeráth, A Li, K Marussy, D Varró Software and Systems Modeling, 1-25, 2021 | 3 | 2021 |
| Consistent Scene Graph Generation by Constraint Optimization B Chen, K Marussy, S Pilarski, O Semeráth, D Varro Proceedings of the 37th IEEE/ACM International Conference on Automated …, 2022 | 2 | 2022 |
| Formal validation and model generation for domain-specific languages by logic solvers O Semeráth | 2 | 2019 |
| Validation of Domain Specific Languages O Semeráth Technical Report, 2013 | 2 | 2013 |
| Evaluating well-formedness constraints on incomplete models O Semeráth, D Varró Acta Cybernetica 23 (2), 687-713, 2017 | 1 | 2017 |
| Validation of Well-formedness Constraints on Uncertain Models O Semeráth, D Varró THE 10TH JUBILEE CONFERENCE OF PHD STUDENTS IN COMPUTER SCIENCE, 57, 2016 | 1 | 2016 |
| Concretization of Abstract Traffic Scene Specifications Using Metaheuristic Search AA Babikian, O Semeráth, D Varró arXiv preprint arXiv:2307.07826, 2023 | | 2023 |
| An Initial Performance Analysis of Graph Predicate Evaluation over Partial Models A Ficsor, O Semeráth 29th Minisymposium of the Department of Measurement and Information Systems, 1-4, 2022 | | 2022 |
| Towards the Formal Semantics of Scenario Tests for Autonomous Vehicles L Kovács, O Semeráth 2021 10th Latin-American Symposium on Dependable Computing (LADC), 01-04, 2021 | | 2021 |
| Automated video game world map synthesis by model-based techniques B Chen, D Havelock, C Plante, M Sukkarieh, O Semeráth, D Varró Proceedings of the 23rd ACM/IEEE International Conference on Model Driven …, 2020 | | 2020 |
| Formal Validation and Model Synthesis for Domain-specific Languages by Logic Solvers O Semeráth | | 2016 |
| Movie Database Case: An EMF-INCQUERY Solution GSOSB Izsó, C Debreceni, ÁHZUG Bergmann TTC 2014, 103, 2014 | | 2014 |
Daniel VarroProfessor of Software Engineering at Linköping University / Adjunct Professor at McGillE-mail megerősítve itt: liu.se
