1.
Aren, A. Babikian ; Oszkár, Semeráth ; Anqi, Li ; Kristóf, Marussy ; Dániel, Varró
Automated Generation of Consistent Models byCombining Geometric and Qualitative Reasoning
SOFTWARE AND SYSTEMS MODELING (2021)
DOI
Publication:32028298 Published Core Journal Article (Article ) Scientific
Journal Article/Article (Journal Article)/Scientific[32028298] [Approved]
2.
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. (2021)
DOI
Locked Publication:31360895 Published Core Citing Journal Article (Article ) Scientific
Journal Article/Article (Journal Article)/Scientific[31360895] [Approved]
3.
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 (2021)
DOI
Publication:32028274 Published Core Journal Article (Article ) Scientific
Journal Article/Article (Journal Article)/Scientific[32028274] [Approved]
4.
Aren, Babikian ; Oszkár, Semeráth ; Daniel, Varro
Automated Generation of Consistent Graph Models with First-Order Logic Theorem Provers
In: Wehrheim, Heike; Cabot, Jordi (eds.) Fundamental Approaches to Software Engineering : 23rd International Conference, FASE 2020, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2020, Dublin, Ireland, April 25–30, 2020, Proceedings
Cham, Switzerland : Springer International Publishing (2020) 565 p. 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]
5.
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]
6.
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 Published Core Citing Journal Article (Article ) Scientific
Journal Article/Article (Journal Article)/Scientific[31361799] [Approved]
7.
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 WoS Scopus Teljes dokumentum
Publication:30748493 Published Core Citing Journal Article (Article ) Scientific
Citing papers: 3 | Independent citation: 2 | Self citation: 1 | Unknown citation: 0 | Number of citations in WoS: 2 | Number of citations in Scopus: 1 | WoS/Scopus assigned: 2 | Number of citations with DOI: 2
Journal Article/Article (Journal Article)/Scientific[30748493] [Approved]
All citations+mentions: 3, External citations: 2, Self citations: 1, Unhandled citations: 0
8.
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 Proceedings of the 23rd ACM/IEEE International Conference on Model Driven Engineering Languages and Systems
New York, United States of America : United States Association for Computing Machinery (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]
9.
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: 5 | Independent citation: 5 | Self citation: 0 | Unknown citation: 0 | Number of citations in WoS: 1 | Number of citations in Scopus: 3 | WoS/Scopus assigned: 3 | Number of citations with DOI: 4
Chapter in Book/Conference paper (Chapter in Book)/Scientific[30748490] [Approved]
All citations+mentions: 5, External citations: 5, Self citations: 0, Unhandled citations: 0
10.
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 WoS Scopus
Publication:30748475 Published Core Citing Chapter in Book (Conference paper ) Scientific
Citing papers: 4 | Independent citation: 3 | Self citation: 1 | Unknown citation: 0 | Number of citations in Scopus: 1 | WoS/Scopus assigned: 1 | Number of citations with DOI: 2
Chapter in Book/Conference paper (Chapter in Book)/Scientific[30748475] [Approved]
All citations+mentions: 4, External citations: 3, Self citations: 1, Unhandled citations: 0
11.
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 ) Scientific
Thesis/PhD (Thesis)/Scientific[31347768] [Admin approved]
12.
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 (Study ) Scientific
Citing papers: 11 | Independent citation: 3 | Self citation: 8 | Unknown citation: 0 | Number of citations in WoS: 4 | Number of citations in Scopus: 4 | WoS/Scopus assigned: 6 | Number of citations with DOI: 8
Chapter in Book/Study (Chapter in Book)/Scientific[3327320] [Approved]
All citations+mentions: 11, External citations: 3, Self citations: 8, Unhandled citations: 0
13.
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 ) Scientific
Citing papers: 5 | Independent citation: 5 | Self citation: 0 | Unknown citation: 0 | Number of citations in WoS: 1 | Number of citations in Scopus: 1 | WoS/Scopus assigned: 1 | Number of citations with DOI: 1
Chapter in Book/Conference paper (Chapter in Book)/Scientific[3398313] [Approved]
All citations+mentions: 5, External citations: 5, Self citations: 0, Unhandled citations: 0
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 (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: 26 | Independent citation: 20 | Self citation: 6 | Unknown citation: 0 | Number of citations in WoS: 8 | Number of citations in Scopus: 8 | WoS/Scopus assigned: 11 | Number of citations with DOI: 17
Chapter in Book/Conference paper (Chapter in Book)/Scientific[3335161] []
All citations+mentions: 26, External citations: 20, Self citations: 6, Unhandled citations: 0
15.
Semerath, Oszkar ; Varro, Daniel
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: 17 | Independent citation: 11 | Self citation: 6 | Unknown citation: 0 | Number of citations in WoS: 6 | Number of citations in Scopus: 3 | WoS/Scopus assigned: 6 | Number of citations with DOI: 7
Chapter in Book/Conference paper (Chapter in Book)/Scientific[3335171] [Approved]
All citations+mentions: 17, External citations: 11, Self citations: 6, Unhandled citations: 0
16.
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 | WoS/Scopus assigned: 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
17.
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: 36 | Independent citation: 20 | Self citation: 16 | Unknown citation: 0 | Number of citations in WoS: 12 | Number of citations in Scopus: 10 | WoS/Scopus assigned: 15 | Number of citations with DOI: 17
Journal Article/Article (Journal Article)/Scientific[3018014] [Validated]
All citations+mentions: 36, External citations: 20, Self citations: 16, Unhandled citations: 0
18.
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: 17 | Independent citation: 11 | Self citation: 6 | Unknown citation: 0 | Number of citations in WoS: 3 | Number of citations in Scopus: 4 | WoS/Scopus assigned: 6 | Number of citations with DOI: 9
Journal Article/Conference paper in journal (Journal Article)/Scientific[3277444] [Admin approved]
All citations+mentions: 17, External citations: 11, Self citations: 6, Unhandled citations: 0
19.
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) 81 p. pp. 68-68. , 1 p.
Publication:3172186 Published Core Conference paper (Abstract ) Scientific
Citing papers: 1 | Independent citation: 0 | Self citation: 1 | Unknown citation: 0
Conference paper/Abstract (Conference paper)/Scientific[3172186] [Approved]
All citations+mentions: 1, External citations: 0, Self citations: 1, Unhandled citations: 0
20.
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.
REAL Scopus Teljes dokumentum Google scholar
Publication:3169934 Validated Core Citing Conference paper (Conference paper ) Scientific
Citing papers: 2 | Independent citation: 2 | Self citation: 0 | Unknown citation: 0
Conference paper/Conference paper (Conference paper)/Scientific[3169934] [Validated]
All citations+mentions: 2, External citations: 2, Self citations: 0, Unhandled citations: 0
21.
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: 13 | Independent citation: 11 | Self citation: 2 | Unknown citation: 0 | Number of citations in WoS: 3 | Number of citations in Scopus: 4 | WoS/Scopus assigned: 4 | Number of citations with DOI: 4
Chapter in Book/Conference paper (Chapter in Book)/Scientific[3169820] [Validated]
All citations+mentions: 13, External citations: 11, Self citations: 2, Unhandled citations: 0
22.
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: 32 | Independent citation: 20 | Self citation: 12 | Unknown citation: 0 | Number of citations in WoS: 16 | Number of citations in Scopus: 13 | WoS/Scopus assigned: 21 | Number of citations with DOI: 21
Chapter in Book/Conference paper (Chapter in Book)/Scientific[3018468] [Admin approved]
All citations+mentions: 32, External citations: 20, Self citations: 12, Unhandled citations: 0
23.
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.
REAL Scopus Teljes dokumentum Google scholar
Publication:3092093 Validated Core Citing Chapter in Book (Conference paper ) Scientific
Citing papers: 5 | Independent citation: 3 | Self citation: 2 | Unknown citation: 0 | Number of citations in WoS: 1 | Number of citations in Scopus: 1 | WoS/Scopus assigned: 1 | Number of citations with DOI: 3
Chapter in Book/Conference paper (Chapter in Book)/Scientific[3092093] [Validated]
All citations+mentions: 5, External citations: 3, Self citations: 2, Unhandled citations: 0
24.
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.
Scopus
Publication:3017909 Published Core Citing 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 | WoS/Scopus assigned: 10 | 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
25.
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.
Scopus
Publication:2813997 Validated Core Citing Conference paper (Conference paper ) Scientific
Conference paper/Conference paper (Conference paper)/Scientific[2813997] [Validated]
26.
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: 13 | Independent citation: 11 | Self citation: 2 | Unknown citation: 0 | Number of citations in WoS: 1 | Number of citations in Scopus: 3 | WoS/Scopus assigned: 3 | Number of citations with DOI: 5
Conference paper/Conference paper (Conference paper)/Scientific[2801379] [Admin approved]
All citations+mentions: 13, External citations: 11, Self citations: 2, Unhandled citations: 0
27.
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 | WoS/Scopus assigned: 4 | 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-09-28 21:10