1.
Aren, Babikian ; Oszkár, Semeráth ; Daniel, Varro
Automated Generation of Consistent Graph Models with First-Order Logic Theorem Provers
In: Cabot, Jordi; Wehrheim, Heike (eds.) Fundamental Approaches to Software Engineering
Springer International Publishing (2020) pp. 441-461. , 21 p.
DOI
Publication:31160534 Published Core Citing Chapter in Book (Conference paper ) Scientific
Chapter in Book/Conference paper (Chapter in Book)/Scientific[31160534] [Approved]
2.
Chen, Boqi ; Havelock, Dylan ; Plante, Connor ; Sukkarieh, Michael ; Semeráth, Oszkár ; Varró, Dániel
Automated video game world map synthesis by model-based techniques
In: Proceedings of the 23rd ACM/IEEE International Conference on Model Driven Engineering Languages and Systems: Companion Proceedings
(2020) pp. 1-5. , 5 p.
DOI Scopus Egyéb URL
Publication:31872191 Published Core Chapter in Book (Conference paper ) Scientific
Chapter in Book/Conference paper (Chapter in Book)/Scientific[31872191] [Approved]
3.
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 Paper: 12 , 22 p. (2020)
DOI WoS
Publication:31361799 Admin approved Core Citing Journal Article (Article ) Scientific
Journal Article/Article (Journal Article)/Scientific[31361799] [Admin approved]
4.
Kristóf, Marussy ; Oszkár, Semeráth ; Dániel, Varró
Automated Generation of Consistent Graph Models with Multiplicity Reasoning
IEEE TRANSACTIONS ON SOFTWARE ENGINEERING , 19 p. (2020)
DOI
Publication:31360895 Published Core Citing Journal Article (Article ) Scientific
Journal Article/Article (Journal Article)/Scientific[31360895] [Approved]
5.
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. , 22 p. (2020)
DOI ISSN: 1433-2779 WoS Scopus Teljes dokumentum
Publication:30748493 Validated Core Citing Journal Article (Article ) Scientific
Citing papers: 2 | Independent citation: 1 | Self citation: 1 | Unknown citation: 0 | Number of citations in WoS: 1 | Number of citations with DOI: 1
Journal Article/Article (Journal Article)/Scientific[30748493] [Validated]
All citations+mentions: 2, External citations: 1, Self citations: 1, Unhandled citations: 0
6.
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: Proceedings of the 23rd ACM/IEEE International Conference on Model Driven Engineering Languages and Systems
(2020) pp. 187-199. , 13 p.
DOI Scopus Egyéb URL
Publication:31872205 Published Core Chapter in Book (Conference paper ) Scientific
Chapter in Book/Conference paper (Chapter in Book)/Scientific[31872205] [Approved]
7.
István, Majzik ; Oszkár, Semeráth ; Csaba, Hajdu ; Kristóf, Marussy ; Zoltán, Szatmári ; Zoltán, Micskei ; András, Vörös ; Aren, A. Babikian ; Dániel, Varró
Towards System-Level Testing with Coverage Guarantees for Autonomous Vehicles
In: Alexander, Pretschner; Sebastian, Voss Proceedings of the IEEE / ACM 22nd International Conference on Model Driven Engineering Languages and Systems (MODELS)
München, Germany : IEEE (2019) pp. 89-94. , 6 p.
DOI ISBN: 9781728125367 WoS
Publication:30748490 Published Core Citing Chapter in Book (Conference paper ) Scientific
Citing papers: 3 | Independent citation: 3 | Self citation: 0 | Unknown citation: 0 | Number of citations in WoS: 1 | Number of citations in Scopus: 3 | Number of citations with DOI: 3
Chapter in Book/Conference paper (Chapter in Book)/Scientific[30748490] [Approved]
All citations+mentions: 3, External citations: 3, Self citations: 0, Unhandled citations: 0
8.
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: IEEE - IEEE (eds.) 2019 IEEE/ACM 41st International Conference on Software Engineering: Companion Proceedings (ICSE-Companion)
Piscataway (NJ), United States of America : IEEE (2019) pp. 43-46. Paper: 8802773 , 4 p.
DOI ISSN: 2574-1926 WoS Scopus
Publication:30748475 Admin approved Core Citing Chapter in Book (Conference paper ) Scientific
Citing papers: 3 | Independent citation: 2 | Self citation: 1 | Unknown citation: 0 | Number of citations in Scopus: 1 | Number of citations with DOI: 2
Chapter in Book/Conference paper (Chapter in Book)/Scientific[30748475] [Admin approved]
All citations+mentions: 3, External citations: 2, Self citations: 1, Unhandled citations: 0
9.
Semeráth, Oszkár
Formal validation and model generation for domain-specific languages by logic solvers
Budapesti Műszaki és Gazdaságtudományi Egyetem, Informatikai Tudományok Doktori Iskola, Varró Dániel Published/defended: 2019
Teljes dokumentum
Publication:31347768 Admin approved Core Thesis (PhD )
Thesis/PhD (Thesis)/Scientific[31347768] [Admin approved]
10.
Dániel, Varró ; Oszkár, Semeráth ; Gábor, Szárnyas ; Ákos, Horváth
Towards the Automated Generation of Consistent, Diverse, Scalable and Realistic Graph Models
In: Reiko, Heckel; Gabriele, Taentzer (eds.) Graph Transformation, Specifications, and Nets : In Memory of Hartmut Ehrig
Berlin, Germany, Heidelberg, Germany : Springer-Verlag, Berlin, Heidelberg (2018) pp. 285-312. , 28 p.
DOI REAL Scopus
Publication:3327320 Published Core Citing Chapter in Book (Chapter ) Scientific
Citing papers: 11 | Independent citation: 2 | Self citation: 9 | Unknown citation: 0 | Number of citations in WoS: 3 | Number of citations in Scopus: 4 | Number of citations with DOI: 7
Chapter in Book/Chapter (Chapter in Book)/Scientific[3327320] [Approved]
All citations+mentions: 11, External citations: 2, Self citations: 9, Unhandled citations: 0
11.
Kristóf, Marussy ; Oszkár, Semeráth ; Dániel, Varró
Incremental View Model Synchronization Using Partial Models
In: Andrzej, Wąsowski; Richard, Paige; Øystein, Haugen (eds.) ACM/IEEE 21st International Conference on Model Driven Engineering Languages and Systems
ACM - IEEE Service Center, (2018) pp. 323-333. , 11 p.
DOI
Publication:3398313 Published Core Citing Chapter in Book (Conference paper ) Citing papers: 5 Independent citation count: 5 Self citation count: 0 Number of cited publications: 3
Chapter in Book/Conference paper (Chapter in Book)/Scientific[3398313] [Approved]
All citations+mentions: 5, External citations: 5, Self citations: 0, Unhandled citations: 0
12.
Oszkar, Semerath ; Daniel, Varro
Iterative Generation of Diverse Models for Testing Specifications of DSL Tools
In: Alessandra, Russo; Andy, Schürr (eds.) Fundamental Approaches to Software Engineering : 21st International Conference, FASE 2018, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2018, Thessaloniki, Greece, April 14-20, 2018, Proceedings
Cham, Germany : Springer International Publishing (2018) 357 p. pp. 227-245. , 17 p.
DOI REAL SpringerLink Scopus
Publication:3335171 Published Core Citing Chapter in Book (Conference paper ) Scientific
Citing papers: 14 | Independent citation: 8 | Self citation: 6 | Unknown citation: 0 | Number of citations in WoS: 4 | Number of citations in Scopus: 2 | Number of citations with DOI: 5
Chapter in Book/Conference paper (Chapter in Book)/Scientific[3335171] [Approved]
All citations+mentions: 14, External citations: 8, Self citations: 6, Unhandled citations: 0
13.
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 (eds.) International Conference on Software Engineering
New York, United States of America : ACM Press (2018) 12 p. Paper: 40 , 12 p.
DOI REAL ACM Digital Library WoS
Publication:3335161 WoS/MTMT difference Core Citing Chapter in Book (Conference paper ) Scientific
Citing papers: 19 | Independent citation: 12 | Self citation: 7 | Unknown citation: 0 | Number of citations in WoS: 4 | Number of citations in Scopus: 4 | Number of citations with DOI: 11
Chapter in Book/Conference paper (Chapter in Book)/Scientific[3335161] []
All citations+mentions: 19, External citations: 12, Self citations: 7, Unhandled citations: 0
14.
Oszkár, Semeráth ; Dániel, Varró
Evaluating Well-Formedness Constraints on Incomplete Models
ACTA CYBERNETICA 23 : 2 pp. 687-713. , 26 p. (2017)
DOI REAL WoS Scopus
Publication:3229152 Published Core Citing Journal Article (Article ) Scientific
Citing papers: 1 | Independent citation: 0 | Self citation: 1 | Unknown citation: 0 | Number of citations in WoS: 1 | Number of citations in Scopus: 1 | Number of citations with DOI: 1
Journal Article/Article (Journal Article)/Scientific[3229152] [Approved]
All citations+mentions: 1, External citations: 0, Self citations: 1, Unhandled citations: 0
15.
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. , 36 p. (2017)
DOI REAL WoS Scopus
Publication:3018014 Validated Core Citing Journal Article (Article ) Scientific
Citing papers: 33 | Independent citation: 17 | Self citation: 16 | Unknown citation: 0 | Number of citations in WoS: 11 | Number of citations in Scopus: 9 | Number of citations with DOI: 16
Journal Article/Article (Journal Article)/Scientific[3018014] [Validated]
All citations+mentions: 33, External citations: 17, Self citations: 16, Unhandled citations: 0
16.
Semeráth, O ; Varró, D
Graph constraint evaluation over partial models by constraint rewriting
LECTURE NOTES IN COMPUTER SCIENCE 10374 pp. 138-154. , 17 p. (2017)
DOI REAL WoS Scopus
Publication:3277444 Admin approved Core Citing Journal Article (Conference paper in journal ) Scientific
Citing papers: 14 | Independent citation: 8 | Self citation: 6 | Unknown citation: 0 | Number of citations in WoS: 3 | Number of citations in Scopus: 2 | Number of citations with DOI: 7
Journal Article/Conference paper in journal (Journal Article)/Scientific[3277444] [Admin approved]
All citations+mentions: 14, External citations: 8, Self citations: 6, Unhandled citations: 0
17.
Oszkár, Semeráth ; Dániel, Varró
Validation of Well-formedness Constraints on Uncertain Models
In: Rudolf, Ferenc; Balázs, Bánhelyi; Tamás, Gergely; Attila, Kertész; Zoltán, Kincses (eds.) The 10th Jubilee Conference of PhD Students in Computer Science (CS2) : Volume of extended abstracts
Szeged, Hungary : University of Szeged, Institute of Informatics, (2016) pp. 68-68. , 1 p.
Publication:3172186 Published Core Conference paper (Abstract ) Citing papers: 1 Independent citation count: 0 Self citation count: 1
Conference paper/Abstract (Conference paper)/Scientific[3172186] [Approved]
All citations+mentions: 1, External citations: 0, Self citations: 1, Unhandled citations: 0
18.
Oszkár, Semeráth
Formal Validation and Model Synthesis for Domain-specific Languages by Logic Solvers
In: Jeff, Gray; Ruth, Breu (eds.) ACM Student Research Competition at MODELS 2016
CEUR Workshop Proceedings, (2016) Paper: 6 , 7 p.
ISSN: 1613-0073 REAL Scopus Teljes dokumentum Google scholar
Publication:3169934 Validated Core Citing Conference paper (Conference paper ) Citing papers: 2 Independent citation count: 2 Self citation count: 0 Number of cited publications: 1
Conference paper/Conference paper (Conference paper)/Scientific[3169934] [Validated]
All citations+mentions: 2, External citations: 2, Self citations: 0, Unhandled citations: 0
19.
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 (eds.) MODELS '16 : ACM/IEEE 19th International Conference on Model Driven Engineering Languages and Systems
New York, United States of America : ACM Press (2016) 414 p. pp. 306-316. , 11 p.
DOI REAL Scopus
Publication:3169820 Validated Core Chapter in Book (Conference paper ) Scientific
Citing papers: 11 | Independent citation: 9 | Self citation: 2 | Unknown citation: 0 | Number of citations in WoS: 1 | Number of citations in Scopus: 2 | Number of citations with DOI: 2
Chapter in Book/Conference paper (Chapter in Book)/Scientific[3169820] [Validated]
All citations+mentions: 11, External citations: 9, Self citations: 2, Unhandled citations: 0
20.
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 (eds.) Fundamental Approaches to Software Engineering : 19th International Conference, FASE 2016, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2016
Berlin, Germany, Heidelberg, Germany : Springer (2016) 436 p. pp. 87-103. , 17 p.
DOI REAL WoS Scopus
Publication:3018468 Admin approved Core Citing Chapter in Book (Conference paper ) Scientific
Citing papers: 31 | Independent citation: 19 | Self citation: 12 | Unknown citation: 0 | Number of citations in WoS: 14 | Number of citations in Scopus: 10 | Number of citations with DOI: 19
Chapter in Book/Conference paper (Chapter in Book)/Scientific[3018468] [Admin approved]
All citations+mentions: 31, External citations: 19, Self citations: 12, Unhandled citations: 0
21.
Semeráth, Oszkár ; Debreceni, Csaba ; Horváth, Ákos ; Varró, Dániel
Change Propagation of View Models by Logic Synthesis using SAT solvers.
In: A, Anjorin; J, Gibbons (eds.) Proceedings of the 5th International Workshop on Bidirectional Transformations, Bx 2016, co-located with The European Joint Conferences on Theory and Practice of Software, ETAPS 2016, Eindhoven, The Netherlands, April 8, 2016.
Aachen, Germany : CEUR Workshop Proceedings, (2016) pp. 40-44. , 5 p.
ISSN: 1613-0073 REAL Scopus Teljes dokumentum Google scholar
Publication:3092093 Validated Core Chapter in Book (Conference paper ) Citing papers: 4 Independent citation count: 2 Self citation count: 2
Chapter in Book/Conference paper (Chapter in Book)/Scientific[3092093] [Validated]
All citations+mentions: 4, External citations: 2, Self citations: 2, Unhandled citations: 0
22.
Gábor, Szárnyas ; Oszkár, Semeráth ; István, Ráth ; Dániel, Varró
The TTC 2015 Train Benchmark Case for Incremental Model Validation
In: Louis, M Rose; Tassilo, Horn; Filip, Křikava (eds.) 8th Transformation Tool Contest 2015
CEUR Workshop Proceedings (2015) pp. 129-141. , 13 p.
ISSN: 1613-0073 Scopus
Publication:3017909 Published Core Conference paper (Conference paper ) Scientific
Citing papers: 17 | Independent citation: 11 | Self citation: 6 | Unknown citation: 0 | Number of citations in WoS: 3 | Number of citations in Scopus: 9 | Number of citations with DOI: 4
Conference paper/Conference paper (Conference paper)/Scientific[3017909] [Approved]
All citations+mentions: 17, External citations: 11, Self citations: 6, Unhandled citations: 0
23.
Gábor, Szárnyas ; Oszkár, Semeráth ; Benedek, Izsó ; Csaba, Debreceni ; Ábel, Hegedüs ; Zoltán, Ujhelyi ; Gábor, Bergmann
Movie database case: An EMF-IncQuery solution
In: Krause, C; Horn, T; Rose, L M (eds.) 7th Transformation Tool Contest
York, United Kingdom / England : CEUR Workshop Proceedings (2014) pp. 103-115. , 13 p.
ISSN: 1613-0073 Scopus
Publication:2813997 Validated Core Conference paper (Conference paper ) Scientific
Conference paper/Conference paper (Conference paper)/Scientific[2813997] [Validated]
24.
Zoltán, Micskei ; Raimund-Andreas, Konnerth ; Benedek, Horváth ; Oszkár, Semeráth ; András, Vörös ; Dániel, Varró
On Open Source Tools for Behavioral Modeling and Analysis with fUML and Alf
In: Francis, Bordelau; Juergen, Dingel; Sebastien, Gerard; Sebastian, Voss (eds.) Proceedings of the 1st Workshop on Open Source Software for Model Driven Engineering : co-located with ACM/IEEE 17th International Conference on Model Driven Engineering Languages & Systems (MoDELS 2014)
CEUR Workshop Proceedings (2014) pp. 31-41. , 11 p.
Egyéb URL
Publication:2801379 Admin approved Core Conference paper (Conference paper ) Scientific
Citing papers: 12 | Independent citation: 11 | Self citation: 1 | Unknown citation: 0 | Number of citations in WoS: 1 | Number of citations in Scopus: 2 | Number of citations with DOI: 4
Conference paper/Conference paper (Conference paper)/Scientific[2801379] [Admin approved]
All citations+mentions: 12, External citations: 11, Self citations: 1, Unhandled citations: 0
25.
Semeráth, O ; Horváth, Á ; Varró, D
Validation of derived features and well-formedness constraints in DSLs: By mapping graph queries to an SMT-solver
LECTURE NOTES IN COMPUTER SCIENCE 8107 pp. 538-554. , 17 p. (2013)
DOI WoS Scopus Google scholar Google scholar hash
Publication:2694711 Admin approved Core Citing Journal Article (Conference paper in journal ) Scientific
Citing papers: 7 | Independent citation: 3 | Self citation: 4 | Unknown citation: 0 | Number of citations in WoS: 3 | Number of citations in Scopus: 3 | Number of citations with DOI: 3
Journal Article/Conference paper in journal (Journal Article)/Scientific[2694711] [Admin approved]
All citations+mentions: 7, External citations: 3, Self citations: 4, Unhandled citations: 0
2021-04-16 18:31