1.
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 Cham (2020) 565 p. pp. 441-461. , 21 p.
DOI WoS Scopus
Központi kezelésű Közlemény:31160534 Egyeztetett Forrás Idéző Könyvrészlet (Konferenciaközlemény ) Tudományos
Nyilvános idéző összesen: 6 | Független: 3 | Függő: 3 | Nem jelölt: 0 | WoS jelölt: 4 | Scopus jelölt: 4 | WoS/Scopus jelölt: 5 | DOI jelölt: 6
Konferenciaközlemény (Könyvrészlet) | Tudományos[31160534] [Egyeztetett]
Nyilvános idéző összesen: 6, Független: 3, Függő: 3, Nem jelölt: 0
2.
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 : 1 pp. 57-78. , 22 p. (2020)
DOI WoS Scopus Teljes dokumentum
Zárolt Közlemény:30748493 Egyeztetett Forrás Idéző Folyóiratcikk (Szakcikk ) Tudományos
Nyilvános idéző összesen: 20 | Független: 12 | Függő: 8 | Nem jelölt: 0 | WoS jelölt: 16 | Scopus jelölt: 14 | WoS/Scopus jelölt: 18 | DOI jelölt: 20
Szakcikk (Folyóiratcikk) | Tudományos[30748493] [Egyeztetett]
Nyilvános idéző összesen: 20, Független: 12, Függő: 8, Nem jelölt: 0
3.
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 MODELS '20: Proceedings of the 23rd ACM/IEEE International Conference on Model Driven Engineering Languages and Systems
New York, Amerikai Egyesült Államok : Association for Computing Machinery (ACM) (2020) 385 p. pp. 187-199. , 13 p.
DOI Scopus Egyéb URL
Zárolt Közlemény:31872205 Egyeztetett Forrás Idéző Könyvrészlet (Konferenciaközlemény ) Tudományos
Nyilvános idéző összesen: 10 | Független: 7 | Függő: 3 | Nem jelölt: 0 | WoS jelölt: 9 | Scopus jelölt: 8 | WoS/Scopus jelölt: 9 | DOI jelölt: 10
Konferenciaközlemény (Könyvrészlet) | Tudományos[31872205] [Egyeztetett]
Nyilvános idéző összesen: 10, Független: 7, Függő: 3, Nem jelölt: 0
4.
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: Burgueno, L; Voss, S; Pretschner, A; Yue, T; Kessentini, M (szerk.) 2019 ACM/IEEE 22nd International Conference on Model Driven Engineering Languages and Systems (MODELS)
Los Alamitos (CA), Amerikai Egyesült Államok : IEEE Computer Society (2019) pp. 89-94. , 6 p.
DOI WoS Scopus
Központi kezelésű Közlemény:30748490 Egyeztetett Forrás Idéző Könyvrészlet (Konferenciaközlemény ) Tudományos
Nyilvános idéző összesen: 46 | Független: 41 | Függő: 5 | Nem jelölt: 0 | WoS jelölt: 33 | Scopus jelölt: 34 | WoS/Scopus jelölt: 41 | DOI jelölt: 43
Konferenciaközlemény (Könyvrészlet) | Tudományos[30748490] [Egyeztetett]
Nyilvános idéző összesen: 46, Független: 41, Függő: 5, Nem jelölt: 0
5.
Semeráth, Oszkár ; A Babikian, Aren ; Pilarski, Sebastian ; Varró, Dániel
Viatra Solver: A Framework for the Automated Generation of Consistent Domain-Specific Models
In: Abrahão, Silvia (szerk.) 2019 IEEE/ACM 41st International Conference on Software Engineering: Companion Proceedings (ICSE-Companion)
Piscataway (NJ), Amerikai Egyesült Államok : Institute of Electrical and Electronics Engineers (IEEE) (2019) 372 p. pp. 43-46. Paper: 8802773 , 4 p.
DOI WoS Scopus
Zárolt Közlemény:30748475 Egyeztetett Forrás Idéző Könyvrészlet (Konferenciaközlemény ) Tudományos
Nyilvános idéző összesen: 19 | Független: 10 | Függő: 9 | Nem jelölt: 0 | WoS jelölt: 14 | Scopus jelölt: 17 | WoS/Scopus jelölt: 18 | DOI jelölt: 18
Konferenciaközlemény (Könyvrészlet) | Tudományos[30748475] [Egyeztetett]
Nyilvános idéző összesen: 19, Független: 10, Függő: 9, Nem jelölt: 0
6.
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
LECTURE NOTES IN COMPUTER SCIENCE 10800 pp. 285-312. , 28 p. (2018)
DOI REAL Scopus
Zárolt Közlemény:3327320 Egyeztetett Forrás Idéző Folyóiratcikk (Szakcikk ) Tudományos
Nyilvános idéző összesen: 31 | Független: 14 | Függő: 17 | Nem jelölt: 0 | WoS jelölt: 30 | Scopus jelölt: 30 | WoS/Scopus jelölt: 31 | DOI jelölt: 31
Szakcikk (Folyóiratcikk) | Tudományos[3327320] [Egyeztetett]
Nyilvános idéző összesen: 31, Független: 14, Függő: 17, Nem jelölt: 0
7.
Semerath, Oszkar ✉ ; Varro, Daniel
Iterative Generation of Diverse Models for Testing Specifications of DSL Tools
LECTURE NOTES IN COMPUTER SCIENCE 10802 pp. 227-245. , 17 p. (2018)
DOI REAL SpringerLink WoS Scopus
Központi kezelésű Közlemény:3335171 Egyeztetett Forrás Idéző Folyóiratcikk (Szakcikk ) Tudományos
Nyilvános idéző összesen: 28 | Független: 19 | Függő: 9 | Nem jelölt: 0 | WoS jelölt: 20 | Scopus jelölt: 22 | WoS/Scopus jelölt: 23 | DOI jelölt: 23
Szakcikk (Folyóiratcikk) | Tudományos[3335171] [Egyeztetett]
Nyilvános idéző összesen: 28, Független: 19, Függő: 9, Nem jelölt: 0
8.
Semeráth, Oszkár ; Szabolcs Nagy, András ; Varró, Dániel
A Graph Solver for the Automated Generation of Consistent Domain-Specific Models
In: Marsha, Chechik; Mark, Harman (szerk.) 2018 IEEE/ACM 40th International Conference on Software Engineering (ICSE '18)
New York, Amerikai Egyesült Államok : ACM Press, Institute of Electrical and Electronics Engineers (IEEE) (2018) 1,307 p. pp. 969-980. , 12 p.
DOI REAL ACM Digital Library WoS Scopus Teljes dokumentum
Zárolt Közlemény:3335161 Egyeztetett Forrás Idéző Könyvrészlet (Konferenciaközlemény ) Tudományos
Nyilvános idéző összesen: 51 | Független: 36 | Függő: 15 | Nem jelölt: 0 | WoS jelölt: 38 | Scopus jelölt: 40 | WoS/Scopus jelölt: 42 | DOI jelölt: 44
Konferenciaközlemény (Könyvrészlet) | Tudományos[3335161] [Egyeztetett]
Nyilvános idéző összesen: 51, Független: 36, Függő: 15, Nem jelölt: 0
9.
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
Zárolt Közlemény:3018014 Egyeztetett Forrás Idéző Folyóiratcikk (Szakcikk ) Tudományos
Nyilvános idéző összesen: 47 | Független: 25 | Függő: 22 | Nem jelölt: 0 | WoS jelölt: 29 | Scopus jelölt: 33 | WoS/Scopus jelölt: 35 | DOI jelölt: 34
Szakcikk (Folyóiratcikk) | Tudományos[3018014] [Egyeztetett]
Nyilvános idéző összesen: 47, Független: 25, Függő: 22, Nem jelölt: 0
10.
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
Zárolt Közlemény:3277444 Egyeztetett Forrás Idéző Folyóiratcikk (Konferenciaközlemény ) Tudományos
Nyilvános idéző összesen: 27 | Független: 16 | Függő: 11 | Nem jelölt: 0 | WoS jelölt: 17 | Scopus jelölt: 20 | WoS/Scopus jelölt: 21 | DOI jelölt: 21
Konferenciaközlemény (Folyóiratcikk) | Tudományos[3277444] [Egyeztetett]
Nyilvános idéző összesen: 27, Független: 16, Függő: 11, Nem jelölt: 0
11.
Semeráth, Oszkár ✉ ; Vörös, András ; Varró, Dániel
Iterative and incremental model generation by logic solvers
LECTURE NOTES IN COMPUTER SCIENCE 9633 pp. 87-103. , 17 p. (2016)
DOI REAL WoS Scopus
Zárolt Közlemény:3018468 Egyeztetett Forrás Idéző Folyóiratcikk (Szakcikk ) Tudományos
Nyilvános idéző összesen: 41 | Független: 26 | Függő: 15 | Nem jelölt: 0 | WoS jelölt: 28 | Scopus jelölt: 37 | WoS/Scopus jelölt: 37 | DOI jelölt: 34
Szakcikk (Folyóiratcikk) | Tudományos[3018468] [Egyeztetett]
Nyilvános idéző összesen: 41, Független: 26, Függő: 15, Nem jelölt: 0
12.
Varró, D ✉ ; Bergmann, G ; Hegedüs, Á ; Horváth, Á ; Ráth, I ; Ujhelyi, Z
Road to a reactive and incremental model transformation platform: three generations of the VIATRA framework
SOFTWARE AND SYSTEMS MODELING 15 : 3 pp. 609-629. , 21 p. (2016)
DOI WoS Scopus Teljes dokumentum Google scholar Google scholar hash
Központi kezelésű Közlemény:3092063 Egyeztetett Forrás Idéző Folyóiratcikk (Szakcikk ) Tudományos
Nyilvános idéző összesen: 110 | Független: 83 | Függő: 27 | Nem jelölt: 0 | WoS jelölt: 78 | Scopus jelölt: 99 | WoS/Scopus jelölt: 104 | DOI jelölt: 93
Szakcikk (Folyóiratcikk) | Tudományos[3092063] [Egyeztetett]
Nyilvános idéző összesen: 110, Független: 83, Függő: 27, Nem jelölt: 0
13.
Ábel, Hegedüs ✉ ; Ákos, Horváth ; Dániel, Varró
A model-driven framework for guided design space exploration
AUTOMATED SOFTWARE ENGINEERING 22 : 3 pp. 399-436. , 38 p. (2015)
DOI WoS Scopus
Központi kezelésű Közlemény:2763228 Egyeztetett Forrás Idéző Folyóiratcikk (Szakcikk ) Tudományos
Nyilvános idéző összesen: 38 | Független: 28 | Függő: 10 | Nem jelölt: 0 | WoS jelölt: 29 | Scopus jelölt: 36 | WoS/Scopus jelölt: 38 | DOI jelölt: 34
Szakcikk (Folyóiratcikk) | Tudományos[2763228] [Egyeztetett]
Nyilvános idéző összesen: 38, Független: 28, Függő: 10, Nem jelölt: 0
14.
Ujhelyi, Zoltán ; Bergmann, Gábor ; Hegedüs, Ábel ; Horváth, Ákos ; Izsó, Benedek ; Ráth, István ; Szatmári, Zoltán ; Varró, Dániel
EMF-IncQuery: An integrated development environment for live model queries
SCIENCE OF COMPUTER PROGRAMMING 98 : Part 1 pp. 80-99. , 20 p. (2015)
DOI WoS Scopus
Központi kezelésű Közlemény:2696210 Egyeztetett Forrás Idéző Folyóiratcikk (Szakcikk ) Tudományos
Nyilvános idéző összesen: 107 | Független: 67 | Függő: 40 | Nem jelölt: 0 | WoS jelölt: 78 | Scopus jelölt: 100 | WoS/Scopus jelölt: 103 | DOI jelölt: 87
Szakcikk (Folyóiratcikk) | Tudományos[2696210] [Egyeztetett]
Nyilvános idéző összesen: 107, Független: 67, Függő: 40, Nem jelölt: 0
2025-11-19 01:58