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.
Marussy, Kristóf
Towards Graph-Based Neuro-Symbolic Logic Reasoning to Improve AI Applications
ELECTRONIC PROCEEDINGS IN THEORETICAL COMPUTER SCIENCE 440 pp. vi-vii. , 2 p. (2026)
DOI Scopus Egyéb URL
Közlemény:36985408 Admin láttamozott Forrás Folyóiratcikk (Absztrakt / Kivonat ) Tudományos
Nyelv: Angol
Absztrakt / Kivonat (Folyóiratcikk) | Tudományos 
Megjegyzés: Lightning Talk

[36985408] [Admin láttamozott]
3.
Földiák, Máté ✉ ; Marussy, Kristóf ; Varró, Dániel
Model-based stochastic analysis with probabilistic graph query evaluation
SOFTWARE AND SYSTEMS MODELING , 28 p. (2025)
DOI WoS Scopus Egyéb URL
Közlemény:36417852 Egyeztetett Forrás Idéző Folyóiratcikk (Szakcikk ) Tudományos
Nyelv: Angol
Szakcikk (Folyóiratcikk) | Tudományos 
Megjegyzés: Funding Agency and Grant Number: Ministry of Culture and Innovation of Hungary; Linkping University; Wallenberg AI, Autonomous Systems and Software Program (WASP) funded by the Knut and Alice Wallenberg Foundation; Office of Naval Research [http://dx.doi.org/10.13039/100000006]
            Funding text: Open access funding provided by Linkoping University.

[36417852] [Egyeztetett]
4.
Nagy, Simon József ✉ ; Marussy, Kristóf ; Vörös, András
Early Dependability and Performability Evaluation of Cyber-Physical System Architectures
IEEE TRANSACTIONS ON DEPENDABLE AND SECURE COMPUTING , 16 p. (2025)
DOI Scopus Egyéb URL
Közlemény:36858755 Nyilvános Forrás Idéző Folyóiratcikk (Szakcikk ) Tudományos
Nyelv: Angol
Szakcikk (Folyóiratcikk) | Tudományos 
Megjegyzés: Published online: 30 December 2025
Project no. 2024-2.1.2-EKÖP-KDP-2024-00005 has been implemented with the support provided by the Ministry of Culture and Innovation of Hungary from the National Research, Development and Innovation Fund of Hungary, financed under the EKÖP_KDP-24-1-BME-34 funding scheme. The work of the second author was partially supported by the Department of Navy award (N629092412063) issued by the Office of Naval Research.

[36858755] [Nyilvános]
5.
Szekeres, Dániel ✉ ; Marussy, Kristóf ; Majzik, István
A Lazy Abstraction Algorithm for Markov Decision Processes: Theory and Initial Evaluation
LECTURE NOTES IN COMPUTER SCIENCE 14826 pp. 81-96. , 16 p. (2025)
DOI WoS Scopus
Közlemény:35595588 Egyeztetett Forrás Idéző Folyóiratcikk (Szakcikk ) Tudományos
Nyelv: Angol
Szakcikk (Folyóiratcikk) | Tudományos 
Megjegyzés: Softcover ISBN: 978-3-031-70752-0, Published: 20 October 2024; eBook ISBN: 978-3-031-70753-7, Published: 19 October 2024
Correspondence Address: Szekeres, D.; Department of Measurement and Information Systems, Hungary; email: szekeres@mit.bme.hu
Funding Agency and Grant Number: Doctoral Excellence Fellowship Programme - National Research Development and Innovation Fund of the Ministry of Culture and Innovation and the Budapest University of Technology and Economics; National Research, Development and Innovation Office
            Funding text: The project supported by the Doctoral Excellence Fellowship Programme (DCEP) is funded by the National Research Development and Innovation Fund of the Ministry of Culture and Innovation and the Budapest University of Technology and Economics, under a grant agreement with the National Research, Development and Innovation Office.
WoS:hiba:001414195300006 2025-03-21 15:37 típus nem egyezik, év nem egyezik

[35595588] [Egyeztetett]
6.
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
7.
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
8.
Zavada, Ármin ; Marussy, Kristóf ; Molnár, Vince
From Transpilers to Semantic Libraries: Formal Verification With Pluggable Semantics
In: ACM - ACM (szerk.) MODELS Companion '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. 311-317. , 6 p.
DOI WoS Scopus Egyéb URL
Közlemény:35600740 Egyeztetett 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 | WoS/Scopus jelölt: 1 | DOI jelölt: 1
Nyelv: Angol
Konferenciaközlemény (Könyvrészlet) | Tudományos 
Megjegyzés: Funding Agency and Grant Number: New National Excellence Program of the Ministry for Culture and Innovation from the National Research, Development and Innovation Fund [UNKP-23-2-III-BME-47]
            Funding text: Supported by the UNKP-23-2-III-BME-47 New National Excellence Program of the Ministry for Culture and Innovation from the National Research, Development and Innovation Fund.

[35600740] [Egyeztetett]
Nyilvános idéző összesen: 1, Független: 0, Függő: 1, Nem jelölt: 0
9.
Kristóf, Marussy
Abstraction Techniques for the Analysis and Synthesis of Critical Cyber-Physical System Architectures
Budapesti Műszaki és Gazdaságtudományi Egyetem, Budapesti Műszaki és Gazdaságtudományi Egyetem, Informatikai Tudományok Doktori Iskola, Majzik István Védés éve: 2023 Megjelenés/Fokozatszerzés éve: 2023
Műegyetem Digitális Archívum ODT védés
Közlemény:34021928 Nyilvános Forrás Idéző Disszertáció (PhD ) Tudományos
Nyelv: Angol
PhD (Disszertáció) | Tudományos[34021928] [Nyilvános]
10.
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
2026-05-09 22:28