11.
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 (2020) 565 p. pp. 441-461. , 21 p.
DOI WoS Scopus
Publication:31160534 Validated Core Citing Chapter in Book (Conference paper ) Scientific
Citing papers: 2 | Independent citation: 1 | Self citation: 1 | Unknown citation: 0 | Number of citations in WoS: 2 | Number of citations in Scopus: 2 | WoS/Scopus assigned: 2 | Number of citations with DOI: 2
Conference paper (Chapter in Book) | Scientific[31160534] [Validated]
All citations+mentions: 2, External citations: 1, Self citations: 1, Unhandled citations: 0
12.
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 Validated Core Citing Journal Article (Article ) Scientific
Citing papers: 13 | Independent citation: 8 | Self citation: 5 | Unknown citation: 0 | Number of citations in WoS: 11 | Number of citations in Scopus: 9 | WoS/Scopus assigned: 11 | Number of citations with DOI: 13
Article (Journal Article) | Scientific[30748493] [Validated]
All citations+mentions: 13, External citations: 8, Self citations: 5, Unhandled citations: 0
13.
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
PhD (Thesis) | Scientific[31347768] [Admin approved]
14.
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 : Institute of Electrical and Electronics Engineers (2019) pp. 89-94. , 6 p.
DOI ISBN: 9781728125367 WoS Scopus
Publication:30748490 Admin approved Core Citing Chapter in Book (Conference paper ) Scientific
Citing papers: 30 | Independent citation: 29 | Self citation: 1 | Unknown citation: 0 | Number of citations in WoS: 20 | Number of citations in Scopus: 23 | WoS/Scopus assigned: 26 | Number of citations with DOI: 27
Conference paper (Chapter in Book) | Scientific[30748490] [Admin approved]
All citations+mentions: 30, External citations: 29, Self citations: 1, Unhandled citations: 0
15.
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 (eds.) 2019 IEEE/ACM 41st International Conference on Software Engineering: Companion Proceedings (ICSE-Companion)
Piscataway (NJ), United States of America : Institute of Electrical and Electronics Engineers (2019) pp. 43-46. Paper: 8802773 , 4 p.
DOI WoS Scopus
Publication:30748475 Published Core Citing Chapter in Book (Conference paper ) Scientific
Citing papers: 11 | Independent citation: 7 | Self citation: 4 | Unknown citation: 0 | Number of citations in WoS: 8 | Number of citations in Scopus: 7 | WoS/Scopus assigned: 9 | Number of citations with DOI: 10
Conference paper (Chapter in Book) | Scientific[30748475] [Approved]
All citations+mentions: 11, External citations: 7, Self citations: 4, Unhandled citations: 0
16.
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 (2018) pp. 323-333. , 11 p.
DOI WoS Scopus
Publication:3398313 Validated 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: 2 | Number of citations in Scopus: 2 | WoS/Scopus assigned: 2 | Number of citations with DOI: 5
Conference paper (Chapter in Book) | Scientific[3398313] [Validated]
All citations+mentions: 5, External citations: 5, Self citations: 0, Unhandled citations: 0
17.
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 (2018) 357 p. pp. 227-245. , 17 p.
DOI REAL SpringerLink WoS Scopus
Publication:3335171 Validated Core Citing Chapter in Book (Conference paper ) Scientific
Citing papers: 25 | Independent citation: 17 | Self citation: 8 | Unknown citation: 0 | Number of citations in WoS: 15 | Number of citations in Scopus: 17 | WoS/Scopus assigned: 19 | Number of citations with DOI: 19
Conference paper (Chapter in Book) | Scientific[3335171] [Validated]
All citations+mentions: 25, External citations: 17, Self citations: 8, Unhandled citations: 0
18.
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.) ICSE '18 : Proceedings of the 40th International Conference on Software Engineering
New York City, United States of America : ACM Press (2018) 12 p. pp. 980-980. , 12 p.
DOI REAL ACM Digital Library WoS Scopus Teljes dokumentum
Publication:3335161 Validated Core Citing Chapter in Book (Conference paper ) Scientific
Citing papers: 40 | Independent citation: 32 | Self citation: 8 | Unknown citation: 0 | Number of citations in WoS: 28 | Number of citations in Scopus: 21 | WoS/Scopus assigned: 30 | Number of citations with DOI: 33
Conference paper (Chapter in Book) | Scientific[3335161] [Validated]
All citations+mentions: 40, External citations: 32, Self citations: 8, Unhandled citations: 0
19.
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 (2018) pp. 285-312. , 28 p.
DOI REAL Scopus
Publication:3327320 Validated Core Citing Chapter in Book (Study ) Scientific
Citing papers: 24 | Independent citation: 9 | Self citation: 15 | Unknown citation: 0 | Number of citations in WoS: 20 | Number of citations in Scopus: 21 | WoS/Scopus assigned: 23 | Number of citations with DOI: 24
Study (Chapter in Book) | Scientific[3327320] [Validated]
All citations+mentions: 24, External citations: 9, Self citations: 15, Unhandled citations: 0
20.
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 Published Core Citing Journal Article (Article ) Scientific
Citing papers: 22 | Independent citation: 14 | Self citation: 8 | Unknown citation: 0 | Number of citations in WoS: 16 | Number of citations in Scopus: 11 | WoS/Scopus assigned: 17 | Number of citations with DOI: 17
Article (Journal Article) | Scientific[3277444] [Approved]
All citations+mentions: 22, External citations: 14, Self citations: 8, Unhandled citations: 0
2024-05-19 20:52