1.
Babikian, Aren A. ; Semeráth, Oszkár ✉ ; Varró, Dániel
Concretization of Abstract Traffic Scene Specifications Using Metaheuristic Search
IEEE TRANSACTIONS ON SOFTWARE ENGINEERING 50 : 1 pp. 48-68. , 21 p. (2024)
DOI WoS Scopus Other URL
Publication:34375495 Validated Core Citing Journal Article (Article ) Scientific
Article (Journal Article) | Scientific[34375495] [Validated]
2.
Chen, Boqi ; Marussy, K. ; Pilarski, Sebastian ; Semeráth, Oszkár ; Varro, Dániel
Consistent Scene Graph Generation by Constraint Optimization
In: Aehnelt, M.; Kirste, T. (eds.) ASE '22: Proceedings of the 37th IEEE/ACM International Conference on Automated Software Engineering
New York City, United States of America : ACM (2022) pp. 1-13. Paper: 25 , 13 p.
DOI WoS Scopus Other URL
Publication:33648748 Validated Core Citing Chapter in Book (Conference paper ) Scientific
Citing papers: 1 | Independent citation: 1 | Self citation: 0 | Unknown citation: 0 | Number of citations with DOI: 1
Conference paper (Chapter in Book) | Scientific[33648748] [Validated]
All citations+mentions: 1, External citations: 1, Self citations: 0, Unhandled citations: 0
3.
Ficsor, Attila ✉ ; Semeráth, Oszkár
An Initial Performance Analysis of Graph Predicate Evaluation over Partial Models
In: Renczes, Balázs (eds.) Proceedings of the 29th Minisymposium of the Department of Measurement and Information Systems Budapest University of Technology and Economics
Bp, Hungary : BME MIT (2022) pp. 1-4. , 4 p.
DOI Other URL
Publication:33283704 Published Core Chapter in Book (Conference paper ) Scientific
Conference paper (Chapter in Book) | Scientific[33283704] [Approved]
4.
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 21 : 5 pp. 1763-1787. , 25 p. (2022)
DOI WoS Scopus
Publication:32394785 Validated 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[32394785] [Validated]
All citations+mentions: 1, External citations: 0, Self citations: 1, Unhandled citations: 0
5.
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 Scopus
Publication:31360895 Validated Core Citing Journal Article (Article ) Scientific
Citing papers: 3 | Independent citation: 3 | Self citation: 0 | Unknown citation: 0 | Number of citations in WoS: 2 | WoS/Scopus assigned: 2 | Number of citations with DOI: 2
Article (Journal Article) | Scientific[31360895] [Validated]
All citations+mentions: 3, External citations: 3, Self citations: 0, Unhandled citations: 0
6.
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 (Conference paper ) Scientific
Conference paper (Chapter in Book) | Scientific[32605462] [Approved]
7.
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: 6 | Independent citation: 6 | Self citation: 0 | Unknown citation: 0 | Number of citations in WoS: 6 | Number of citations in Scopus: 2 | WoS/Scopus assigned: 6 | Number of citations with DOI: 6
Article (Journal Article) | Scientific[32028274] [Validated]
All citations+mentions: 6, External citations: 6, Self citations: 0, Unhandled citations: 0
8.
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 Other URL
Publication:31872205 Validated Core Citing Chapter in Book (Conference paper ) Scientific
Citing papers: 7 | Independent citation: 5 | Self citation: 2 | Unknown citation: 0 | Number of citations in WoS: 7 | Number of citations in Scopus: 6 | WoS/Scopus assigned: 7 | Number of citations with DOI: 7
Conference paper (Chapter in Book) | Scientific[31872205] [Validated]
All citations+mentions: 7, External citations: 5, Self citations: 2, Unhandled citations: 0
9.
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]
10.
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 Published Core Citing Journal Article (Article ) Scientific
Citing papers: 3 | Independent citation: 3 | 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: 2
Article (Journal Article) | Scientific[31361799] [Approved]
All citations+mentions: 3, External citations: 3, Self citations: 0, Unhandled citations: 0
2024-05-07 11:48