| 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 | 64 | 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 | 54 | 2017 |
| 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 | 48 | 2019 |
| 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 | 43 | 2018 |
| 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 | 43 | 2016 |
| Graph Constraint Evaluation over Partial Models by Constraint Rewriting O Semeráth, D Varró Theory and Practice of Model Transformation, 138, 2017 | 33 | 2017 |
| Iterative Generation of Diverse Models for Testing Specifications of DSL Tools. O Semeráth, D Varró FASE 18, 227-245, 2018 | 30 | 2018 |
| 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 | 26 | 2019 |
| 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 | 24 | 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 | 22 | 2016 |
| 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 | 22 | 2014 |
| 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 | 20 | 2015 |
| 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 | 15 | 2020 |
| A Specification Language for Consistent Model Generation based on Partial Models K Marussy, O Semeráth, AA Babikian, D Varró | 15 | 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 | 14 | 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, 2022 | 12 | 2022 |
| 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 | 12 | 2018 |
| 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 | 10 | 2021 |
| Automated Generation of Consistent Graph Models with First-Order Logic Theorem Provers. AA Babikian, O Semeráth, D Varró FASE, 441-461, 2020 | 10 | 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 | 10 | 2013 |
Daniel VarroProfessor of Software Engineering at Linköping University / Adjunct Professor at McGillZweryfikowany adres z liu.se