1.
Chen, Boqi ✉ ; Marussy, Kristóf ; Semeráth, Oszkár ; Mussbacher, Gunter ; Varró, Dániel
Certifying robustness of graph convolutional networks for node perturbation with polyhedra abstract interpretation
DATA MINING AND KNOWLEDGE DISCOVERY 40 : 1 Paper: 11 , 42 p. (2026)
DOI WoS Scopus Egyéb URL
Közlemény:36845510 Admin láttamozott Forrás Folyóiratcikk (Szakcikk ) Tudományos
Nyelv: Angol
Szakcikk (Folyóiratcikk) | Tudományos[36845510] [Admin láttamozott]
2.
Jiang, Zhekai ; Semeráth, Oszkár ; Babikian, Aren A.
Towards a Traffic Scenario Catalog for Collaborative Testing of Autonomous Vehicles
In: IEEE - IEEE (szerk.) 2025 IEEE/ACM 1st International Workshop on Software Engineering for Autonomous Driving Systems (SE4ADS)
Piscataway (NJ), Amerikai Egyesült Államok : IEEE (2025) pp. 44-47. , 4 p.
DOI WoS Scopus Egyéb URL
Közlemény:36286347 Egyeztetett Forrás Idéző Könyvrészlet (Konferenciaközlemény ) Tudományos
Nyelv: Angol
Konferenciaközlemény (Könyvrészlet) | Tudományos[36286347] [Egyeztetett]
3.
Al-Gburi, Noor Mohammed Sabr ; Földvári, András ; Marussy, Kristóf ; Semeráth, Oszkár ; Kocsis, Imre
Requirement-Driven Generation of Distributed Ledger Architectures
In: Association for Computing Machinery - Association for Computing Machinery (szerk.) MODELS '24: Proceedings of the ACM/IEEE 27th International Conference on Model Driven Engineering Languages and Systems
New York, Amerikai Egyesült Államok : Association for Computing Machinery (ACM) (2024) pp. 268-279. , 12 p.
DOI WoS Scopus Egyéb URL
Közlemény:35437803 Nyilvános Forrás Idéző Könyvrészlet (Konferenciaközlemény ) 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
Nyelv: Angol
Konferenciaközlemény (Könyvrészlet) | Tudományos 
Megjegyzés: Export Date: 24 October 2024

[35437803] [Nyilvános]
Nyilvános idéző összesen: 1, Független: 0, Függő: 1, Nem jelölt: 0
4.
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 Egyéb URL
Központi kezelésű Közlemény:34375495 Egyeztetett Forrás Idéző Folyóiratcikk (Szakcikk ) Tudományos
Nyilvános idéző összesen: 9 | Független: 4 | Függő: 5 | Nem jelölt: 0 | WoS jelölt: 9 | Scopus jelölt: 4 | WoS/Scopus jelölt: 9 | DOI jelölt: 9
Nyelv: Angol
Szakcikk (Folyóiratcikk) | Tudományos[34375495] [Egyeztetett]
Nyilvános idéző összesen: 9, Független: 4, Függő: 5, Nem jelölt: 0
5.
Marussy, Kristóf ; Ficsor, Attila ; Semeráth, Oszkár ; Varró, Dániel
Refinery: Graph Solver as a Service: Refinement-based Generation and Analysis of Consistent Models
In: Association for Computing Machinery - Association for Computing Machinery (szerk.) ICSE-Companion '24: Proceedings of the 2024 IEEE/ACM 46th International Conference on Software Engineering: Companion Proceedings
New York, Amerikai Egyesült Államok : Association for Computing Machinery (ACM) (2024) pp. 64-68. , 5 p.
DOI WoS Scopus Egyéb URL
Központi kezelésű Közlemény:34872599 Egyeztetett Forrás Idéző Könyvrészlet (Konferenciaközlemény ) Tudományos
Nyilvános idéző összesen: 6 | Független: 4 | Függő: 2 | Nem jelölt: 0 | WoS jelölt: 3 | Scopus jelölt: 3 | WoS/Scopus jelölt: 3 | DOI jelölt: 5
Nyelv: Angol
Konferenciaközlemény (Könyvrészlet) | Tudományos[34872599] [Egyeztetett]
Nyilvános idéző összesen: 6, Független: 4, Függő: 2, Nem jelölt: 0
6.
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 PubMed
Központi kezelésű Közlemény:32394785 Egyeztetett Forrás Idéző Folyóiratcikk (Szakcikk ) Tudományos
Nyilvános idéző összesen: 6 | Független: 1 | Függő: 5 | Nem jelölt: 0 | WoS jelölt: 6 | Scopus jelölt: 5 | WoS/Scopus jelölt: 6 | DOI jelölt: 6
Nyelv: Angol
Szakcikk (Folyóiratcikk) | Tudományos[32394785] [Egyeztetett]
Nyilvános idéző összesen: 6, Független: 1, Függő: 5, Nem jelölt: 0
7.
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. (szerk.) ASE '22: Proceedings of the 37th IEEE/ACM International Conference on Automated Software Engineering
New York, Amerikai Egyesült Államok : Association for Computing Machinery (ACM) (2022) pp. 1-13. Paper: 25 , 13 p.
DOI WoS Scopus Egyéb URL
Központi kezelésű Közlemény:33648748 Egyeztetett Forrás Idéző Könyvrészlet (Konferenciaközlemény ) Tudományos
Nyilvános idéző összesen: 3 | Független: 2 | Függő: 1 | Nem jelölt: 0 | WoS jelölt: 3 | Scopus jelölt: 2 | WoS/Scopus jelölt: 3 | DOI jelölt: 3
Nyelv: Angol
Konferenciaközlemény (Könyvrészlet) | Tudományos 
Megjegyzés: Electrical and Computer Engineering, McGill University, Montreal, QC, Canada            
            Department of Measurement and Information Systems, Budapest University of Technology and Economics, Budapest, Hungary

[33648748] [Egyeztetett]
Nyilvános idéző összesen: 3, Független: 2, Függő: 1, Nem jelölt: 0
8.
Ficsor, Attila ✉ ; Semeráth, Oszkár
An Initial Performance Analysis of Graph Predicate Evaluation over Partial Models
In: Renczes, Balázs (szerk.) Proceedings of the 29th Minisymposium of the Department of Measurement and Information Systems Budapest University of Technology and Economics
Budapest, Magyarország : BME Méréstechnika és Információs Rendszerek Tanszék (2022) pp. 1-4. , 4 p.
DOI ISBN: 9789634218722 Egyéb URL Teljes dokumentum
Közlemény:33283704 Nyilvános Forrás Idéző Könyvrészlet (Konferenciaközlemény ) Tudományos
Nyelv: Angol
Konferenciaközlemény (Könyvrészlet) | Tudományos[33283704] [Nyilvános]
9.
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
Központi kezelésű Közlemény:31360895 Egyeztetett Forrás Idéző Folyóiratcikk (Szakcikk ) Tudományos
Nyilvános idéző összesen: 7 | Független: 3 | Függő: 4 | Nem jelölt: 0 | WoS jelölt: 6 | Scopus jelölt: 7 | WoS/Scopus jelölt: 7 | DOI jelölt: 6
Nyelv: Angol
Szakcikk (Folyóiratcikk) | Tudományos 
Megjegyzés: Funding Agency and Grant Number: BME-Artificial Intelligence FIKP grant of EMMI (BME FIKP-MI/SC); BME NC TKP2020 grant of NKFIH Hungary; New National Excellence Program of the Ministry for Innovation and Technology from National Research, Development and Innovation Fund [UNKP-20-4]; NSERC [RGPIN-04573-16]

[31360895] [Egyeztetett]
Nyilvános idéző összesen: 7, Független: 3, Függő: 4, Nem jelölt: 0
10.
Kovacs, Laszlo ; Semerath, Oszkar
Towards the Formal Semantics of Scenario Tests for Autonomous Vehicles
In: Andrey, Brito; Fernando, Pedone (szerk.) 2021 10th Latin-American Symposium on Dependable Computing (LADC)
Piscataway (NJ), Amerikai Egyesült Államok : Institute of Electrical and Electronics Engineers (IEEE) (2021) pp. 01-04. , 4 p.
DOI Scopus Egyéb URL
Közlemény:32605462 Admin láttamozott Forrás Idéző Könyvrészlet (Konferenciaközlemény ) Tudományos
Nyilvános idéző összesen: 1 | Független: 1 | Függő: 0 | Nem jelölt: 0 | DOI jelölt: 1
Nyelv: Angol
Konferenciaközlemény (Könyvrészlet) | Tudományos[32605462] [Admin láttamozott]
Nyilvános idéző összesen: 1, Független: 1, Függő: 0, Nem jelölt: 0
2026-05-18 18:22