MTMT2: publication list

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

PhD (Thesis) | Scientific[34021928] [Approved]

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

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

Citing papers: 1 | Independent citation: 1 | Self citation: 0 | Unknown citation: 0 | Number of citations with DOI: 1

Conference paper (Chapter in Book) | Scientific[33648748] [Validated]

All citations+mentions: 1, External citations: 1, Self citations: 0, 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 Scopus

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

Conference paper (Chapter in Book) | Scientific[33282155] [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

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

Article (Journal Article) | Scientific[32394785] [Validated]

All citations+mentions: 1, External citations: 0, Self citations: 1, 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

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

Article (Journal Article) | Scientific[31360895] [Validated]

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

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 pp. 1-36. , 36 p. (2021)

DOI Other URL

Publication:32589291 Published Core Citing Journal Article (Article ) Scientific

Article (Journal Article) | Scientific[32589291] [Approved]

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

Dániel, Szekeres ; Kristóf, Marussy ; István, Majzik

Tensor-based reliability analysis of complex static fault trees

In: Michael, Paulitsch; Mario, Trapp (eds.) 2021 17th European Dependable Computing Conference (EDCC)

Piscataway (NJ), United States of America : IEEE (2021) pp. 33-40. , 8 p.

DOI WoS Scopus Other URL

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

Citing papers: 1 | Independent citation: 1 | Self citation: 0 | Unknown citation: 0 | Number of citations with DOI: 1

Conference paper (Chapter in Book) | Scientific[32028453] [Validated]

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

Oszkár, Semeráth ; Aren, A. Babikian ; Boqi, Chen ; Chuning, Li ; Kristóf, Marussy ; Gábor, Szárnyas ; Dániel, Varró

Automated Generation of Consistent, Diverse and Structurally Realistic Graph Models

SOFTWARE AND SYSTEMS MODELING 20 : 5 pp. 1713-1734. , 22 p. (2021)

DOI WoS Scopus

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

Article (Journal Article) | Scientific[32028274] [Validated]

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

Semeráth, Oszkár ; Babikian, Aren A. ; Li, Anqi ; Marussy, Kristóf ; Varró, Daniel

Automated generation of consistent models with structural and attribute constraints

In: Syriani, E Proceedings of the 23rd ACM/IEEE International Conference on Model Driven Engineering Languages and Systems

New York City, United States of America : ACM (2020) pp. 187-199. , 13 p.

DOI Scopus Other URL

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

Conference paper (Chapter in Book) | Scientific[31872205] [Validated]

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

10.

Nagy, Simon József ; Graics, Bence ; Marussy, Kristóf ; Vörös, András

Simulation-based Safety Assessment of High-level Reliability Models

ELECTRONIC PROCEEDINGS IN THEORETICAL COMPUTER SCIENCE 316 pp. 240-260. , 21 p. (2020)

DOI Scopus Egyéb URL

Publication:31374125 Admin approved Core Journal Article (Conference paper in journal ) Scientific

Conference paper in journal (Journal Article) | Scientific[31374125] [Admin approved]

Sorting

Export list as bibliography