21.
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
Közlemény:3229152 Nyilvános Forrás Idéző Folyóiratcikk (Szakcikk ) Tudományos
Nyilvános idéző összesen: 1 | Független: 0 | Függő: 1 | Nem jelölt: 0 | WoS jelölt: 1 | Scopus jelölt: 1 | WoS/Scopus jelölt: 1 | DOI jelölt: 1
Szakcikk (Folyóiratcikk) | Tudományos[3229152] [Nyilvános]
Nyilvános idéző összesen: 1, Független: 0, Függő: 1, Nem jelölt: 0
22.
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
Közlemény:3018014 Egyeztetett Forrás Idéző Folyóiratcikk (Szakcikk ) Tudományos
Nyilvános idéző összesen: 44 | Független: 24 | Függő: 20 | Nem jelölt: 0 | WoS jelölt: 24 | Scopus jelölt: 23 | WoS/Scopus jelölt: 28 | DOI jelölt: 28
Szakcikk (Folyóiratcikk) | Tudományos[3018014] [Egyeztetett]
Nyilvános idéző összesen: 44, Független: 24, Függő: 20, Nem jelölt: 0
23.
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 (szerk.) The 10th Jubilee Conference of PhD Students in Computer Science (CS2) : June 27 – June 29, 2016. Szeged, Hungary
Szeged, Magyarország : University of Szeged, Institute of Informatics (2016) 68 p. pp. 68-68. , 1 p.
Közlemény:3172186 Nyilvános Forrás Egyéb konferenciaközlemény (Absztrakt / Kivonat ) Tudományos
Nyilvános idéző összesen: 1 | Független: 0 | Függő: 1 | Nem jelölt: 0 | Scopus jelölt: 1 | WoS/Scopus jelölt: 1
Absztrakt / Kivonat (Egyéb konferenciaközlemény) | Tudományos[3172186] [Nyilvános]
Nyilvános idéző összesen: 1, Független: 0, Függő: 1, Nem jelölt: 0
24.
Semeráth, Oszkár
Formal Validation and Model Synthesis for Domain-specific Languages by Logic Solvers
In: Jeff, Gray; Ruth, Breu (szerk.) ACM Student Research Competition at MODELS 2016
CEUR Workshop Proceedings (2016) Paper: 6 , 7 p.
REAL Scopus Teljes dokumentum Google scholar
Közlemény:3169934 Nyilvános Forrás Idéző Egyéb konferenciaközlemény (Konferenciaközlemény ) Tudományos
Nyilvános idéző összesen: 2 | Független: 2 | Függő: 0 | Nem jelölt: 0
Konferenciaközlemény (Egyéb konferenciaközlemény) | Tudományos[3169934] [Nyilvános]
Nyilvános idéző összesen: 2, Független: 2, Függő: 0, Nem jelölt: 0
25.
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 (szerk.) MODELS '16 : ACM/IEEE 19th International Conference on Model Driven Engineering Languages and Systems
New York, Amerikai Egyesült Államok : ACM Press (2016) 414 p. pp. 306-316. , 11 p.
DOI REAL WoS Scopus
Közlemény:3169820 Egyeztetett Forrás Idéző Könyvrészlet (Konferenciaközlemény ) Tudományos
Nyilvános idéző összesen: 16 | Független: 14 | Függő: 2 | Nem jelölt: 0 | WoS jelölt: 10 | Scopus jelölt: 9 | WoS/Scopus jelölt: 11 | DOI jelölt: 10
Konferenciaközlemény (Könyvrészlet) | Tudományos[3169820] [Egyeztetett]
Nyilvános idéző összesen: 16, Független: 14, Függő: 2, Nem jelölt: 0
26.
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 (szerk.) 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, Németország : CEUR Workshop Proceedings (2016) pp. 40-44. , 5 p.
REAL Scopus Teljes dokumentum Google scholar
Közlemény:3092093 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: 3 | Scopus jelölt: 4 | WoS/Scopus jelölt: 4 | DOI jelölt: 3
Konferenciaközlemény (Könyvrészlet) | Tudományos[3092093] [Egyeztetett]
Nyilvános idéző összesen: 6, Független: 3, Függő: 3, Nem jelölt: 0
27.
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 (szerk.) 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, Németország, Heidelberg, Németország : Springer-Verlag (2016) 436 p. pp. 87-103. , 17 p.
DOI REAL WoS Scopus
Közlemény:3018468 Admin láttamozott Forrás Idéző Könyvrészlet (Konferenciaközlemény ) Tudományos
Nyilvános idéző összesen: 35 | Független: 23 | Függő: 12 | Nem jelölt: 0 | WoS jelölt: 24 | Scopus jelölt: 20 | WoS/Scopus jelölt: 29 | DOI jelölt: 28
Konferenciaközlemény (Könyvrészlet) | Tudományos[3018468] [Admin láttamozott]
Nyilvános idéző összesen: 35, Független: 23, Függő: 12, Nem jelölt: 0
28.
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 (szerk.) 8th Transformation Tool Contest 2015
CEUR Workshop Proceedings (2015) pp. 129-141. , 13 p.
Scopus
Közlemény:3017909 Nyilvános Forrás Idéző Egyéb konferenciaközlemény (Konferenciaközlemény ) Tudományos
Nyilvános idéző összesen: 17 | Független: 11 | Függő: 6 | Nem jelölt: 0 | WoS jelölt: 3 | Scopus jelölt: 9 | WoS/Scopus jelölt: 10 | DOI jelölt: 4
Konferenciaközlemény (Egyéb konferenciaközlemény) | Tudományos[3017909] [Nyilvános]
Nyilvános idéző összesen: 17, Független: 11, Függő: 6, Nem jelölt: 0
29.
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 (szerk.) 7th Transformation Tool Contest
York, Egyesült Királyság / Anglia : CEUR Workshop Proceedings (2014) pp. 103-115. , 13 p.
Scopus
Közlemény:2813997 Egyeztetett Forrás Idéző Egyéb konferenciaközlemény (Konferenciaközlemény ) Tudományos
Konferenciaközlemény (Egyéb konferenciaközlemény) | Tudományos[2813997] [Egyeztetett]
30.
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 (szerk.) 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
Közlemény:2801379 Admin láttamozott Forrás Egyéb konferenciaközlemény (Konferenciaközlemény ) Tudományos
Nyilvános idéző összesen: 13 | Független: 11 | Függő: 2 | Nem jelölt: 0 | WoS jelölt: 3 | Scopus jelölt: 5 | WoS/Scopus jelölt: 7 | DOI jelölt: 6
Konferenciaközlemény (Egyéb konferenciaközlemény) | Tudományos[2801379] [Admin láttamozott]
Nyilvános idéző összesen: 13, Független: 11, Függő: 2, Nem jelölt: 0
2024-05-29 10:20