1.
Kristóf, Marussy ; Oszkár, Semeráth ; Dániel, Varró
Automated Generation of Consistent Graph Models with Multiplicity Reasoning
IEEE TRANSACTIONS ON SOFTWARE ENGINEERING 48 : 5 pp. 1610-1629. , 20 p. (2022)
DOI WoS
Publication:31360895 Published Core Citing Journal Article (Article ) Scientific
Citing papers: 1 | Independent citation: 1 | Self citation: 0 | Unknown citation: 0
Article (Journal Article) | Scientific[31360895] [Approved]
All citations+mentions: 1, External citations: 1, Self citations: 0, Unhandled citations: 0
2.
Babikian, Aren A. ✉ ; Semerath, Oszkar ; Li, Anqi ; Marussy, Kristof ; Varro, Daniel
Automated generation of consistent models using qualitative abstractions and exploration strategies
SOFTWARE AND SYSTEMS MODELING , 25 p. (2021)
DOI WoS Scopus
Publication:32394785 Validated Core Citing Journal Article (Article ) Scientific
Article (Journal Article) | Scientific[32394785] [Validated]
3.
Kovacs, Laszlo ; Semerath, Oszkar
Towards the Formal Semantics of Scenario Tests for Autonomous Vehicles
In: Andrey, Brito; Fernando, Pedone (eds.) 2021 10th Latin-American Symposium on Dependable Computing (LADC)
Piscataway (NJ), United States of America : IEEE (2021) pp. 01-04. , 4 p.
DOI Scopus Egyéb URL
Publication:32605462 Published Core Citing Chapter in Book (Chapter ) Scientific
Chapter (Chapter in Book) | Scientific[32605462] [Approved]
4.
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 20 : 5 pp. 1713-1734. , 22 p. (2021)
DOI WoS Scopus
Publication:32028274 Validated Core Citing Journal Article (Article ) Scientific
Citing papers: 1 | Independent citation: 1 | Self citation: 0 | Unknown citation: 0 | Number of citations with DOI: 1
Article (Journal Article) | Scientific[32028274] [Validated]
All citations+mentions: 1, External citations: 1, Self citations: 0, Unhandled citations: 0
5.
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
Citing papers: 1 | Independent citation: 1 | 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
Conference paper (Chapter in Book) | Scientific[31160534] [Approved]
All citations+mentions: 1, External citations: 1, Self citations: 0, Unhandled citations: 0
6.
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: Esther, Guerra; Ludovico, Iovino (eds.) Proceedings of the 23rd ACM/IEEE International Conference on Model Driven Engineering Languages and Systems: Companion Proceedings
New York City, United States of America : ACM (2020) pp. 1-5. , 5 p.
DOI Scopus Egyéb URL
Publication:31872191 Published Core Chapter in Book (Conference paper ) Scientific
Conference paper (Chapter in Book) | Scientific[31872191] [Approved]
7.
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 pp. 1-22. , 22 p. (2020)
DOI WoS Scopus
Publication:31361799 Admin approved Core Citing Journal Article (Article ) Scientific
Citing papers: 2 | Independent citation: 2 | 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
Article (Journal Article) | Scientific[31361799] [Admin approved]
All citations+mentions: 2, External citations: 2, Self citations: 0, Unhandled citations: 0
8.
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: 8 | Independent citation: 5 | Self citation: 3 | Unknown citation: 0 | Number of citations in WoS: 4 | Number of citations in Scopus: 5 | WoS/Scopus assigned: 5 | Number of citations with DOI: 7
Article (Journal Article) | Scientific[30748493] [Approved]
All citations+mentions: 8, External citations: 5, Self citations: 3, Unhandled citations: 0
9.
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 City, United States of America : ACM (2020) pp. 187-199. , 13 p.
DOI Scopus Egyéb URL
Publication:31872205 Published Core Chapter in Book (Conference paper ) Scientific
Citing papers: 4 | Independent citation: 4 | 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: 4
Conference paper (Chapter in Book) | Scientific[31872205] [Approved]
All citations+mentions: 4, External citations: 4, Self citations: 0, Unhandled citations: 0
10.
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 Scopus
Publication:30748490 Published Core Citing Chapter in Book (Conference paper ) Scientific
Citing papers: 11 | Independent citation: 11 | Self citation: 0 | Unknown citation: 0 | Number of citations in WoS: 4 | Number of citations in Scopus: 7 | WoS/Scopus assigned: 9 | Number of citations with DOI: 10
Conference paper (Chapter in Book) | Scientific[30748490] [Approved]
All citations+mentions: 11, External citations: 11, Self citations: 0, Unhandled citations: 0
11.
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 : 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
Conference paper (Chapter in Book) | Scientific[30748475] [Approved]
All citations+mentions: 4, External citations: 3, Self citations: 1, Unhandled citations: 0
12.
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]
13.
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: 14 | Independent citation: 6 | Self citation: 8 | Unknown citation: 0 | Number of citations in WoS: 9 | Number of citations in Scopus: 8 | WoS/Scopus assigned: 11 | Number of citations with DOI: 14
Study (Chapter in Book) | Scientific[3327320] [Approved]
All citations+mentions: 14, External citations: 6, Self citations: 8, Unhandled citations: 0
14.
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 WoS Scopus
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
Conference paper (Chapter in Book) | Scientific[3398313] [Approved]
All citations+mentions: 5, External citations: 5, Self citations: 0, Unhandled citations: 0
15.
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 Teljes dokumentum
Publication:3335161 Published Core Citing Chapter in Book (Conference paper ) Scientific
Citing papers: 32 | Independent citation: 26 | Self citation: 6 | Unknown citation: 0 | Number of citations in WoS: 8 | Number of citations in Scopus: 10 | WoS/Scopus assigned: 12 | Number of citations with DOI: 23
Conference paper (Chapter in Book) | Scientific[3335161] [Approved]
All citations+mentions: 32, External citations: 26, Self citations: 6, Unhandled citations: 0
16.
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: 18 | Independent citation: 13 | Self citation: 5 | Unknown citation: 0 | Number of citations in WoS: 7 | Number of citations in Scopus: 5 | WoS/Scopus assigned: 7 | Number of citations with DOI: 9
Conference paper (Chapter in Book) | Scientific[3335171] [Approved]
All citations+mentions: 18, External citations: 13, Self citations: 5, Unhandled citations: 0
17.
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
Article (Journal Article) | Scientific[3229152] [Approved]
All citations+mentions: 1, External citations: 0, Self citations: 1, Unhandled citations: 0
18.
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: 38 | Independent citation: 21 | Self citation: 17 | Unknown citation: 0 | Number of citations in WoS: 17 | Number of citations in Scopus: 17 | WoS/Scopus assigned: 21 | Number of citations with DOI: 22
Article (Journal Article) | Scientific[3018014] [Validated]
All citations+mentions: 38, External citations: 21, Self citations: 17, Unhandled citations: 0
19.
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 (Conference paper in journal ) Scientific
Citing papers: 21 | Independent citation: 14 | Self citation: 7 | Unknown citation: 0 | Number of citations in WoS: 9 | Number of citations in Scopus: 8 | WoS/Scopus assigned: 12 | Number of citations with DOI: 14
Conference paper in journal (Journal Article) | Scientific[3277444] [Approved]
All citations+mentions: 21, External citations: 14, Self citations: 7, Unhandled citations: 0
20.
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
Abstract (Conference paper) | Scientific[3172186] [Approved]
All citations+mentions: 1, External citations: 0, Self citations: 1, Unhandled citations: 0
21.
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) | Scientific[3169934] [Validated]
All citations+mentions: 2, External citations: 2, Self citations: 0, Unhandled citations: 0
22.
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 City, United States of America : ACM Press (2016) 414 p. pp. 306-316. , 11 p.
DOI REAL WoS Scopus
Publication:3169820 Validated Core Citing Chapter in Book (Conference paper ) Scientific
Citing papers: 13 | Independent citation: 11 | Self citation: 2 | Unknown citation: 0 | Number of citations in WoS: 4 | Number of citations in Scopus: 5 | WoS/Scopus assigned: 5 | Number of citations with DOI: 5
Conference paper (Chapter in Book) | Scientific[3169820] [Validated]
All citations+mentions: 13, External citations: 11, Self citations: 2, Unhandled citations: 0
23.
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: 21 | Self citation: 11 | Unknown citation: 0 | Number of citations in WoS: 17 | Number of citations in Scopus: 15 | WoS/Scopus assigned: 22 | Number of citations with DOI: 22
Conference paper (Chapter in Book) | Scientific[3018468] [Admin approved]
All citations+mentions: 32, External citations: 21, Self citations: 11, Unhandled citations: 0
24.
Semeráth, Oszkár
Formal Validation and Model Synthesis for Domain-specific Languages by Logic Solvers (2016)
CEUR-WS. org,
Publication:27470681 Published Core Citing Duplum Miscellaneous Scientific
Miscellaneous | Scientific[27470681] [Approved]
25.
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: 2 | Number of citations in Scopus: 2 | WoS/Scopus assigned: 2 | Number of citations with DOI: 3
Conference paper (Chapter in Book) | Scientific[3092093] [Validated]
All citations+mentions: 5, External citations: 3, Self citations: 2, Unhandled citations: 0
26.
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) | Scientific[3017909] [Approved]
All citations+mentions: 17, External citations: 11, Self citations: 6, Unhandled citations: 0
27.
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) | Scientific[2813997] [Validated]
28.
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: 14 | Independent citation: 12 | Self citation: 2 | Unknown citation: 0 | Number of citations in WoS: 1 | Number of citations in Scopus: 4 | WoS/Scopus assigned: 4 | Number of citations with DOI: 6
Conference paper (Conference paper) | Scientific[2801379] [Admin approved]
All citations+mentions: 14, External citations: 12, Self citations: 2, Unhandled citations: 0
29.
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 Published 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
Conference paper in journal (Journal Article) | Scientific[2694711] [Approved]
All citations+mentions: 7, External citations: 3, Self citations: 4, Unhandled citations: 0
2022-06-26 09:37