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 Other URL
Publication:37253633 Admin approved Core Journal Article (Article ) Scientific
Article (Journal Article) | Scientific[37253633] [Admin approved]
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)
Publication:37312880 Published Core Journal Article (Not subtyped ) Scientific
Not subtyped (Journal Article) | Scientific[37312880] [Approved]
3.
Ficsor, Attila ; Papp, Inez Anna ; Marussy, Kristóf ; Semeráth, Oszkár
From Constraints to Commands: Graph Predicate Differentiation in 4-Valued First-Order Logic
JOURNAL OF OBJECT TECHNOLOGY 25 : 3 pp. 43-56. , 14 p. (2026)
DOI WoS Scopus
Publication:37391609 Admin approved Core Journal Article (Article ) Scientific
Article (Journal Article) | Scientific[37391609] [Admin approved]
4.
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 (eds.) ICSE-Companion '24: Proceedings of the 2024 IEEE/ACM 46th International Conference on Software Engineering: Companion Proceedings
New York City, United States of America : ACM (2024) pp. 64-68. , 5 p.
DOI WoS Scopus Other URL
Centrally managed Publication:34872599 Validated Core Citing Chapter in Book (Conference paper ) Scientific
Citing papers: 6 | Independent citation: 4 | Self citation: 2 | Unknown citation: 0 | Number of citations in WoS: 4 | Number of citations in Scopus: 3 | WoS/Scopus assigned: 4 | Number of citations with DOI: 5
Conference paper (Chapter in Book) | Scientific[34872599] [Validated]
All citations+mentions: 6, External citations: 4, Self citations: 2, Unhandled citations: 0
5.
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 ISBN: 9789634218722 Other URL Full text
Publication:33283704 Published Core Citing Chapter in Book (Conference paper ) Scientific
Conference paper (Chapter in Book) | Scientific[33283704] [Approved]
6.
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 (eds.) The 13th Conference of PhD Students in Computer Science : June 29 – July 1, 2022 Szeged, Hungary : Volume of Short Papers
Segedin, Hungary : SZTE TTIK Informatikai Intézet (2022) 216 p. pp. 35-39. , 5 p.
Publication:33283734 Published Core Conference paper (Conference paper ) Scientific
Conference paper (Conference paper) | Scientific[33283734] [Approved]
7.
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 (eds.) The 13th Conference of PhD Students in Computer Science : June 29 – July 1, 2022 Szeged, Hungary : Volume of Short Papers
Segedin, Hungary : SZTE TTIK Informatikai Intézet (2022) 216 p. pp. 40-44. , 5 p.
Publication:33283785 Published Core Conference paper (Conference paper ) Scientific
Conference paper (Conference paper) | Scientific[33283785] [Approved]
2026-08-15 00:44