1.
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
PhD (Disszertáció) | Tudományos[34021928] [Nyilvános]
2.
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
Közlemény:33648748 Egyeztetett Forrás Idéző Könyvrészlet (Konferenciaközlemény ) Tudományos
Nyilvános idéző összesen: 1 | Független: 1 | Függő: 0 | Nem jelölt: 0 | DOI jelölt: 1
Konferenciaközlemény (Könyvrészlet) | Tudományos[33648748] [Egyeztetett]
Nyilvános idéző összesen: 1, Független: 1, Függő: 0, Nem jelölt: 0
3.
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 Scopus
Közlemény:33282155 Nyilvános Forrás Könyvrészlet (Konferenciaközlemény ) Tudományos
Konferenciaközlemény (Könyvrészlet) | Tudományos[33282155] [Nyilvános]
4.
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
Közlemény:32394785 Egyeztetett Forrás Idéző Folyóiratcikk (Szakcikk ) 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
Szakcikk (Folyóiratcikk) | Tudományos[32394785] [Egyeztetett]
Nyilvános idéző összesen: 1, Független: 0, Függő: 1, Nem jelölt: 0
5.
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
Közlemény:31360895 Egyeztetett Forrás Idéző Folyóiratcikk (Szakcikk ) Tudományos
Nyilvános idéző összesen: 3 | Független: 3 | Függő: 0 | Nem jelölt: 0 | WoS jelölt: 2 | WoS/Scopus jelölt: 2 | DOI jelölt: 2
Szakcikk (Folyóiratcikk) | Tudományos[31360895] [Egyeztetett]
Nyilvános idéző összesen: 3, Független: 3, Függő: 0, Nem jelölt: 0
6.
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 Egyéb URL
Közlemény:32589291 Nyilvános Forrás Idéző Folyóiratcikk (Szakcikk ) Tudományos
Nyilvános idéző összesen: 2 | Független: 2 | Függő: 0 | Nem jelölt: 0 | WoS jelölt: 1 | WoS/Scopus jelölt: 1 | DOI jelölt: 2
Szakcikk (Folyóiratcikk) | Tudományos[32589291] [Nyilvános]
Nyilvános idéző összesen: 2, Független: 2, Függő: 0, Nem jelölt: 0
7.
Dániel, Szekeres ; Kristóf, Marussy ; István, Majzik
Tensor-based reliability analysis of complex static fault trees
In: Michael, Paulitsch; Mario, Trapp (szerk.) 2021 17th European Dependable Computing Conference (EDCC)
Piscataway (NJ), Amerikai Egyesült Államok : Institute of Electrical and Electronics Engineers (IEEE) (2021) pp. 33-40. , 8 p.
DOI WoS Scopus Egyéb URL
Közlemény:32028453 Egyeztetett Forrás Idéző Könyvrészlet (Konferenciaközlemény ) Tudományos
Nyilvános idéző összesen: 1 | Független: 1 | Függő: 0 | Nem jelölt: 0 | DOI jelölt: 1
Konferenciaközlemény (Könyvrészlet) | Tudományos[32028453] [Egyeztetett]
Nyilvános idéző összesen: 1, Független: 1, Függő: 0, Nem jelölt: 0
8.
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
Közlemény:32028274 Egyeztetett Forrás Idéző Folyóiratcikk (Szakcikk ) Tudományos
Nyilvános idéző összesen: 6 | Független: 6 | Függő: 0 | Nem jelölt: 0 | WoS jelölt: 6 | Scopus jelölt: 2 | WoS/Scopus jelölt: 6 | DOI jelölt: 6
Szakcikk (Folyóiratcikk) | Tudományos[32028274] [Egyeztetett]
Nyilvános idéző összesen: 6, Független: 6, Függő: 0, Nem jelölt: 0
9.
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, Amerikai Egyesült Államok : Association for Computing Machinery (ACM) (2020) pp. 187-199. , 13 p.
DOI Scopus Egyéb URL
Közlemény:31872205 Egyeztetett Forrás Idéző Könyvrészlet (Konferenciaközlemény ) Tudományos
Nyilvános idéző összesen: 7 | Független: 5 | Függő: 2 | Nem jelölt: 0 | WoS jelölt: 7 | Scopus jelölt: 6 | WoS/Scopus jelölt: 7 | DOI jelölt: 7
Konferenciaközlemény (Könyvrészlet) | Tudományos[31872205] [Egyeztetett]
Nyilvános idéző összesen: 7, Független: 5, Függő: 2, Nem jelölt: 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
Közlemény:31374125 Admin láttamozott Forrás Folyóiratcikk (Konferenciaközlemény ) Tudományos
Konferenciaközlemény (Folyóiratcikk) | Tudományos[31374125] [Admin láttamozott]
2024-04-25 02:02