MTMT2: publication list

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)

Publication:35595588 Validated Core Citing Journal Article (Article ) Scientific

Language: English
Article (Journal Article) | Scientific
Comment: 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] [Validated]

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 (eds.) MODELS '24: Proceedings of the ACM/IEEE 27th International Conference on Model Driven Engineering Languages and Systems

New York City, United States of America : ACM (2024) pp. 268-279. , 12 p.

DOI WoS Scopus Other URL

Publication:35437803 Published Core Citing Chapter in Book (Conference paper ) Scientific

Language: English
Conference paper (Chapter in Book) | Scientific
Comment: Export Date: 24 October 2024

[35437803] [Approved]

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

Locked Publication:34872599 Validated Core Citing Chapter in Book (Conference paper ) Scientific

Language: English
Conference paper (Chapter in Book) | Scientific[34872599] [Validated]

All citations+mentions: 4, External citations: 2, Self citations: 2, Unhandled citations: 0

Zavada, Ármin ; Marussy, Kristóf ; Molnár, Vince

From Transpilers to Semantic Libraries: Formal Verification With Pluggable Semantics

In: ACM - ACM (eds.) MODELS Companion '24: Proceedings of the ACM/IEEE 27th International Conference on Model Driven Engineering Languages and Systems

New York City, United States of America : ACM (2024) pp. 311-317. , 6 p.

DOI WoS Scopus Other URL

Publication:35600740 Validated Core Citing Chapter in Book (Conference paper ) Scientific

Language: English
Conference paper (Chapter in Book) | Scientific
Comment: 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] [Validated]

Kristóf, Marussy

Abstraction Techniques for the Analysis and Synthesis of Critical Cyber-Physical System Architectures

Budapest University of Technology and Economics, Budapesti Műszaki és Gazdaságtudományi Egyetem, Informatikai Tudományok Doktori Iskola, Majzik István Accepted: 2023 Published/defended: 2023

Műegyetem Digitális Archívum ODT védés

Publication:34021928 Published Core Citing Thesis (PhD ) Scientific

Language: English
PhD (Thesis) | Scientific[34021928] [Approved]

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

Locked Publication:32394785 Validated Core Citing Journal Article (Article ) Scientific

Language: English
Article (Journal Article) | Scientific[32394785] [Validated]

All citations+mentions: 6, External citations: 1, Self citations: 5, Unhandled citations: 0

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. (eds.) ASE '22: Proceedings of the 37th IEEE/ACM International Conference on Automated Software Engineering

New York City, United States of America : ACM (2022) pp. 1-13. Paper: 25 , 13 p.

DOI WoS Scopus Other URL

Locked Publication:33648748 Validated Core Citing Chapter in Book (Conference paper ) Scientific

Language: English
Conference paper (Chapter in Book) | Scientific
Comment: Electrical and Computer Engineering, McGill University, Montreal, QC, Canada Department of Measurement and Information Systems, Budapest University of Technology and Economics, Budapest, Hungary

[33648748] [Validated]

All citations+mentions: 2, External citations: 1, Self citations: 1, Unhandled citations: 0

Földiák, M. ; Marussy, K. ; Varró, D. ; Majzik, I.

System architecture synthesis for performability by logic solvers

In: Eugene, Syriani; Houari, Sahraoui (eds.) MODELS '22: Proceedings of the 25th International Conference on Model Driven Engineering Languages and Systems

New York City, United States of America : ACM (2022) pp. 43-54. , 12 p.

DOI WoS Scopus Teljes dokumentum

Locked Publication:33282155 Validated Core Citing Chapter in Book (Conference paper ) Scientific

Language: English
Conference paper (Chapter in Book) | Scientific
Comment: Budapest University of Technology and Economics, Budapest, Hungary McGill University, Montreal, Canada

[33282155] [Validated]

All citations+mentions: 3, External citations: 1, Self citations: 2, Unhandled citations: 0

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

Locked Publication:31360895 Validated Core Citing Journal Article (Article ) Scientific

Language: English
Article (Journal Article) | Scientific
Comment: 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] [Validated]

All citations+mentions: 6, External citations: 3, Self citations: 3, Unhandled citations: 0

10.

Búr, Márton ; Marussy, Kristóf ; Meyer, Brett H. ; Varró, Dániel

Worst-case Execution Time Calculation for Query-based Monitors by Witness Generation

ACM TRANSACTIONS ON EMBEDDED COMPUTING SYSTEMS 20 : 6 Paper: 107 , 36 p. (2021)

DOI Other URL

Locked Publication:32589291 Validated Core Citing Journal Article (Article ) Scientific

Language: English
Article (Journal Article) | Scientific[32589291] [Validated]

All citations+mentions: 2, External citations: 2, Self citations: 0, Unhandled citations: 0

Sorting

Export list as bibliography