1.
Babikian, Aren A. ✉ ; Ficsor, Attila ; Semeráth, Oszkár ; Mussbacher, Gunter ; Varró, Dániel
Automated and logically exhaustive generation of traffic scenarios at road junctions using a multi-level danger definition
SOFTWARE AND SYSTEMS MODELING , 25 p. (2026)
DOI WoS Scopus Egyéb URL
Közlemény:37253633 Admin láttamozott Forrás Folyóiratcikk (Szakcikk ) Tudományos
Nyelv: Angol
Szakcikk (Folyóiratcikk) | Tudományos 
Megjegyzés: This paper was partially supported by the Wallenberg AI, Autonomous Systems and Software Program (WASP) funded by the Knut and Alice Wallenberg Foundation and Vetenskapsrådet (VR), by the Doctoral Excellence Fellowship Programme (DCEP) funded by the National Research Development and Innovation Fund of the Ministry of Culture and Innovation and the Budapest University of Technology and Economics, and by the Department of Navy award (N629092412063) issued by the Office of Naval Research.

[37253633] [Admin láttamozott]
2.
Ficsor, Attila ; Papp, Inez Anna ; Marussy, Kristóf ; Semeráth, Oszkár
From Constraints to Commands: Graph Pattern Differentiation in 4-Valued First-Order Logic
JOURNAL OF OBJECT TECHNOLOGY pp. 1-14. , 14 p. (2026)
Közlemény:37312880 Nyilvános Forrás Folyóiratcikk (Nem besorolt ) Tudományos
Nyelv: Angol
Nem besorolt (Folyóiratcikk) | Tudományos[37312880] [Nyilvános]
3.
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: 4 | Scopus jelölt: 3 | WoS/Scopus jelölt: 4 | 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
4.
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]
5.
Ficsor, Attila
Semantic Robustness Testing for Vision-Based Machine Learning Components of Autonomous Cyber-Physical Systems
In: Szegedi Tudományegyetem Informatikai Intézet - Szegedi Tudományegyetem Informatikai Intézet (szerk.) The 13th Conference of PhD Students in Computer Science : June 29 – July 1, 2022 Szeged, Hungary : Volume of Short Papers
Szeged, Magyarország : Szegedi Tudományegyetem, Informatikai Intézet (2022) 216 p. pp. 35-39. , 5 p.
Közlemény:33283734 Nyilvános Forrás Egyéb konferenciaközlemény (Konferenciaközlemény ) Tudományos
Nyelv: Angol
Konferenciaközlemény (Egyéb konferenciaközlemény) | Tudományos[33283734] [Nyilvános]
6.
Ficsor, Attila ✉ ; Pintér, Balázs
Toolchain for the Construction of Realistic Simulated Urban Environments
In: Szegedi Tudományegyetem Informatikai Intézet - Szegedi Tudományegyetem Informatikai Intézet (szerk.) The 13th Conference of PhD Students in Computer Science : June 29 – July 1, 2022 Szeged, Hungary : Volume of Short Papers
Szeged, Magyarország : Szegedi Tudományegyetem, Informatikai Intézet (2022) 216 p. pp. 40-44. , 5 p.
Közlemény:33283785 Nyilvános Forrás Egyéb konferenciaközlemény (Konferenciaközlemény ) Tudományos
Nyelv: Angol
Konferenciaközlemény (Egyéb konferenciaközlemény) | Tudományos[33283785] [Nyilvános]
2026-06-14 03:17