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 (szerk.) 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, Svájc : Springer-Verlag (2020) 565 p. pp. 441-461. , 21 p.
DOI WoS Scopus
Közlemény:31160534 Egyeztetett Forrás Idéző Könyvrészlet (Konferenciaközlemény ) Tudományos
Nyilvános idéző összesen: 2 | Független: 1 | Függő: 1 | Nem jelölt: 0 | WoS jelölt: 2 | Scopus jelölt: 2 | WoS/Scopus jelölt: 2 | DOI jelölt: 2
Konferenciaközlemény (Könyvrészlet) | Tudományos[31160534] [Egyeztetett]
Nyilvános idéző összesen: 2, Független: 1, Függő: 1, Nem jelölt: 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
Közlemény:30748493 Egyeztetett Forrás Idéző Folyóiratcikk (Szakcikk ) Tudományos
Nyilvános idéző összesen: 13 | Független: 8 | Függő: 5 | Nem jelölt: 0 | WoS jelölt: 11 | Scopus jelölt: 9 | WoS/Scopus jelölt: 11 | DOI jelölt: 13
Szakcikk (Folyóiratcikk) | Tudományos[30748493] [Egyeztetett]
Nyilvános idéző összesen: 13, Független: 8, Függő: 5, Nem jelölt: 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 Megjelenés/Fokozatszerzés éve: 2019
Teljes dokumentum
Közlemény:31347768 Admin láttamozott Forrás Disszertáció (PhD ) Tudományos
PhD (Disszertáció) | Tudományos[31347768] [Admin láttamozott]
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)
Munich, Németország : IEEE (2019) pp. 89-94. , 6 p.
DOI ISBN: 9781728125367 WoS Scopus
Közlemény:30748490 Admin láttamozott Forrás Idéző Könyvrészlet (Konferenciaközlemény ) Tudományos
Nyilvános idéző összesen: 30 | Független: 29 | Függő: 1 | Nem jelölt: 0 | WoS jelölt: 20 | Scopus jelölt: 23 | WoS/Scopus jelölt: 26 | DOI jelölt: 27
Konferenciaközlemény (Könyvrészlet) | Tudományos[30748490] [Admin láttamozott]
Nyilvános idéző összesen: 30, Független: 29, Függő: 1, Nem jelölt: 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 (szerk.) 2019 IEEE/ACM 41st International Conference on Software Engineering: Companion Proceedings (ICSE-Companion)
Piscataway (NJ), Amerikai Egyesült Államok : IEEE (2019) pp. 43-46. Paper: 8802773 , 4 p.
DOI WoS Scopus
Közlemény:30748475 Nyilvános Forrás Idéző Könyvrészlet (Konferenciaközlemény ) Tudományos
Nyilvános idéző összesen: 11 | Független: 7 | Függő: 4 | Nem jelölt: 0 | WoS jelölt: 8 | Scopus jelölt: 7 | WoS/Scopus jelölt: 9 | DOI jelölt: 10
Konferenciaközlemény (Könyvrészlet) | Tudományos[30748475] [Nyilvános]
Nyilvános idéző összesen: 11, Független: 7, Függő: 4, Nem jelölt: 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 (szerk.) ACM/IEEE 21st International Conference on Model Driven Engineering Languages and Systems
Association for Computing Machinery (ACM) (2018) pp. 323-333. , 11 p.
DOI WoS Scopus
Közlemény:3398313 Egyeztetett Forrás Idéző Könyvrészlet (Konferenciaközlemény ) Tudományos
Nyilvános idéző összesen: 5 | Független: 5 | Függő: 0 | Nem jelölt: 0 | WoS jelölt: 2 | Scopus jelölt: 2 | WoS/Scopus jelölt: 2 | DOI jelölt: 5
Konferenciaközlemény (Könyvrészlet) | Tudományos[3398313] [Egyeztetett]
Nyilvános idéző összesen: 5, Független: 5, Függő: 0, Nem jelölt: 0
17.
Semerath, Oszkar ; Varro, Daniel
Iterative Generation of Diverse Models for Testing Specifications of DSL Tools
In: Alessandra, Russo; Andy, Schürr (szerk.) 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 (Németország), Németország : Springer-Verlag (2018) 357 p. pp. 227-245. , 17 p.
DOI REAL SpringerLink WoS Scopus
Közlemény:3335171 Egyeztetett Forrás Idéző Könyvrészlet (Konferenciaközlemény ) Tudományos
Nyilvános idéző összesen: 25 | Független: 17 | Függő: 8 | Nem jelölt: 0 | WoS jelölt: 15 | Scopus jelölt: 17 | WoS/Scopus jelölt: 19 | DOI jelölt: 19
Konferenciaközlemény (Könyvrészlet) | Tudományos[3335171] [Egyeztetett]
Nyilvános idéző összesen: 25, Független: 17, Függő: 8, Nem jelölt: 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 (szerk.) ICSE '18 : Proceedings of the 40th International Conference on Software Engineering
New York, Amerikai Egyesült Államok : ACM Press (2018) 12 p. pp. 980-980. , 12 p.
DOI REAL ACM Digital Library WoS Scopus Teljes dokumentum
Közlemény:3335161 Egyeztetett Forrás Idéző Könyvrészlet (Konferenciaközlemény ) Tudományos
Nyilvános idéző összesen: 40 | Független: 32 | Függő: 8 | Nem jelölt: 0 | WoS jelölt: 28 | Scopus jelölt: 21 | WoS/Scopus jelölt: 30 | DOI jelölt: 33
Konferenciaközlemény (Könyvrészlet) | Tudományos[3335161] [Egyeztetett]
Nyilvános idéző összesen: 40, Független: 32, Függő: 8, Nem jelölt: 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 (szerk.) Graph Transformation, Specifications, and Nets : In Memory of Hartmut Ehrig
Berlin, Németország, Heidelberg, Németország : Springer-Verlag (2018) pp. 285-312. , 28 p.
DOI REAL Scopus
Közlemény:3327320 Egyeztetett Forrás Idéző Könyvrészlet (Szaktanulmány ) Tudományos
Nyilvános idéző összesen: 24 | Független: 9 | Függő: 15 | Nem jelölt: 0 | WoS jelölt: 20 | Scopus jelölt: 21 | WoS/Scopus jelölt: 23 | DOI jelölt: 24
Szaktanulmány (Könyvrészlet) | Tudományos[3327320] [Egyeztetett]
Nyilvános idéző összesen: 24, Független: 9, Függő: 15, Nem jelölt: 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
Közlemény:3277444 Nyilvános Forrás Idéző Folyóiratcikk (Szakcikk ) Tudományos
Nyilvános idéző összesen: 22 | Független: 14 | Függő: 8 | Nem jelölt: 0 | WoS jelölt: 16 | Scopus jelölt: 11 | WoS/Scopus jelölt: 17 | DOI jelölt: 17
Szakcikk (Folyóiratcikk) | Tudományos[3277444] [Nyilvános]
Nyilvános idéző összesen: 22, Független: 14, Függő: 8, Nem jelölt: 0
2024-05-08 03:12