|
|
Personal data sheet |
Print preview personal data approved: 2023. X. 18. Publications |
2021
from data base, 2021. XII. 14. |
Oszkár Semeráth, Aren A. Babikian, Boqi Chen, Chuning Li, Kristóf Marussy, Gábor Szárnyas, Dániel Varró: Automated Generation of Consistent, Diverse and Structurally Realistic Graph Models, SOFTWARE AND SYSTEMS MODELING type of document: Journal paper/Article language: English URL |
2020
from data base, 2021. XII. 14. |
Oszkár Semeráth, Rebeka Farkas, Gábor Bergmann, Dániel Varró: Diversity of Graph Models and Graph Generators in Mutation Testing, INTERNATIONAL JOURNAL ON SOFTWARE TOOLS FOR TECHNOLOGY TRANSFER 22: pp. 57-78. type of document: Journal paper/Article number of independent citations: 2 language: English URL |
2020
from data base, 2021. XII. 14. |
Kristóf Marussy, Oszkár Semeráth, Aren A. Babikian, Dániel Varró: A specification language for consistent model generation based on partial models, JOURNAL OF OBJECT TECHNOLOGY 19: (3) pp. 1-22. type of document: Journal paper/Article language: English URL |
2020
from data base, 2021. XII. 14. |
Semeráth Oszkár, Babikian Aren A., Li Anqi, Marussy Kristóf, Varró Daniel: Automated generation of consistent models with structural and attribute constraints, In: Syriani, E (szerk.) Proceedings of the 23rd ACM/IEEE International Conference on Model Driven Engineering Languages and Systems, Association for Computing Machinery (ACM) (2020) pp. 187-199. type of document: Part of book/Proceedings Paper language: English URL |
2019
from data base, 2021. XII. 14. |
Oszkár Semeráth, Aren A Babikian, Sebastian Pilarski, Dániel Varró: Viatra Solver: A Framework for the Automated Generation of Consistent Domain-Specific Models, In: Silvia, Abrahão (szerk.) 2019 IEEE/ACM 41st International Conference on Software Engineering: Companion Proceedings (ICSE-Companion), IEEE (2019) pp. 43-46. type of document: Part of book/Proceedings Paper number of independent citations: 3 language: English URL |
2018
from data base, 2021. XII. 14. |
Oszkár Semeráth, András Szabolcs Nagy, Dániel Varró: A Graph Solver for the Automated Generation of Consistent Domain-Specific Models, In: Marsha, Chechik; Mark, Harman (szerk.) ICSE '18, ACM Press (2018) pp. 980-980. type of document: Part of book/Proceedings Paper number of independent citations: 20 language: English URL |
2017
from data base, 2021. XII. 14. |
Oszkár Semeráth, Ágnes Barta, Ákos Horváth, Zoltán Szatmári, Dániel Varró: Formal validation of domain-specific languages with derived features and well-formedness constraints, SOFTWARE AND SYSTEMS MODELING 16: (2) pp. 357-392. type of document: Journal paper/Article number of independent citations: 22 language: English URL |
2017
from data base, 2021. XII. 14. |
Semeráth O, Varró D: Graph constraint evaluation over partial models by constraint rewriting, LECTURE NOTES IN COMPUTER SCIENCE 10374: pp. 138-154. type of document: Journal paper/Konferenciaközlemény number of independent citations: 12 language: English URL |
2016
from data base, 2021. XII. 14. |
Oszkár Semeráth, András Vörös, Dániel Varró: Iterative and incremental model generation by logic solvers, In: Perdita, Stevens; Andrzej, Wasowski (szerk.) Fundamental Approaches to Software Engineering, Springer (2016) pp. 87-103. type of document: Part of book/Proceedings Paper number of independent citations: 20 language: English URL |
2016
from data base, 2021. XII. 14. |
Oszkár Semeráth, Csaba Debreceni, Ákos Horváth, Dániel Varró: Incremental Backward Change Propagation of View Models by Logic Solvers, In: Benoit, Baudry; Benoit, Combemale (szerk.) MODELS '16, ACM Press (2016) pp. 306-316. type of document: Part of book/Proceedings Paper number of independent citations: 11 language: English URL |
| Number of independent citations to these publications: | 90 |
|
|
|
|
|