1.
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 Egyéb URL
Közlemény:36417852 Admin láttamozott 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] [Admin láttamozott]
2.
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]
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
Nyelv: Angol
Konferenciaközlemény (Könyvrészlet) | Tudományos 
Megjegyzés: Export Date: 24 October 2024

[35437803] [Nyilvános]
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 (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: 4 | Független: 2 | Függő: 2 | Nem jelölt: 0 | WoS jelölt: 3 | Scopus jelölt: 3 | WoS/Scopus jelölt: 3 | DOI jelölt: 3
Nyelv: Angol
Konferenciaközlemény (Könyvrészlet) | Tudományos[34872599] [Egyeztetett]
Nyilvános idéző összesen: 4, Független: 2, Függő: 2, Nem jelölt: 0
5.
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
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]
6.
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]
7.
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
Zárolt 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: 3 | Scopus jelölt: 4 | WoS/Scopus jelölt: 5 | 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
8.
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
Zárolt 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: 2 | Scopus jelölt: 2 | WoS/Scopus jelölt: 2 | 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
9.
Földiák, M. ; Marussy, K. ; Varró, D. ; Majzik, I.
System architecture synthesis for performability by logic solvers
In: Eugene, Syriani; Houari, Sahraoui (szerk.) MODELS '22: Proceedings of the 25th International Conference on Model Driven Engineering Languages and Systems
New York, Amerikai Egyesült Államok : Association for Computing Machinery (ACM) (2022) pp. 43-54. , 12 p.
DOI WoS Scopus Teljes dokumentum
Zárolt Közlemény:33282155 Egyeztetett Forrás Idéző Könyvrészlet (Konferenciaközlemény ) Tudományos
Nyilvános idéző összesen: 3 | Független: 1 | Függő: 2 | Nem jelölt: 0 | WoS jelölt: 3 | Scopus jelölt: 3 | WoS/Scopus jelölt: 3 | DOI jelölt: 3
Nyelv: Angol
Konferenciaközlemény (Könyvrészlet) | Tudományos 
Megjegyzés: Budapest University of Technology and Economics, Budapest, Hungary            
McGill University, Montreal, Canada

[33282155] [Egyeztetett]
Nyilvános idéző összesen: 3, Független: 1, Függő: 2, Nem jelölt: 0
10.
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
Zárolt Közlemény:31360895 Egyeztetett Forrás Idéző Folyóiratcikk (Szakcikk ) Tudományos
Nyilvános idéző összesen: 6 | Független: 3 | Függő: 3 | Nem jelölt: 0 | WoS jelölt: 5 | Scopus jelölt: 6 | WoS/Scopus jelölt: 6 | DOI jelölt: 5
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: 6, Független: 3, Függő: 3, Nem jelölt: 0
2025-11-17 11:03