| 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 | 67 | 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 |
| 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 | 44 | 2016 |
| 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 | 42 | 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 | 42 | 2018 |
| 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 | 29 | 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 | 27 | 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, 57-78, 2020 | 22 | 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 | 20 | 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 | 20 | 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 | 19 | 2014 |
| 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ó | 13 | 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 | 13 | 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 | 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 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 | 8 | 2022 |
| Automated Generation of Consistent Graph Models with First-Order Logic Theorem Provers. AA Babikian, O Semeráth, D Varró FASE, 441-461, 2020 | 8 | 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 |
| 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 |
| Refinery: Graph Solver as a Service: Refinement-based Generation and Analysis of Consistent Models K Marussy, A Ficsor, O Semeráth, D Varró Proceedings of the 2024 IEEE/ACM 46th International Conference on Software …, 2024 | 4* | 2024 |
| Concretization of Abstract Traffic Scene Specifications Using Metaheuristic Search AA Babikian, O Semeráth, D Varró IEEE Transactions on Software Engineering, 2023 | 2 | 2023 |
| Consistent scene graph generation by constraint optimization B Chen, K Marussy, S Pilarski, O Semeráth, D Varró 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 PQDT-Global, 2019 | 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-SZEGED, 1-26, 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 |
| Requirement-Driven Generation of Distributed Ledger Architectures NMS Al-Gburi, A Földvári, K Marussy, O Semeráth, I Kocsis Proceedings of the ACM/IEEE 27th International Conference on Model Driven …, 2024 | | 2024 |
| Certifying Robustness of Graph Convolutional Networks for Node Perturbation with Polyhedra Abstract Interpretation B Chen, K Marussy, O Semeráth, G Mussbacher, D Varró arXiv preprint arXiv:2405.08645, 2024 | | 2024 |
| 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 |
| An Initial Performance Analysis of Graph Predicate Evaluation over Partial Models A Ficsor, O Semeráth | | |
Daniel VarroProfessor of Software Engineering at Linköping University / Adjunct Professor at McGillE-mail megerősítve itt: liu.se
