| 2026 | FASE | Unified Timing-Aware Program Verification. | Dra Cziborov, Mihly Dobos-Kovcs, Kristf Marussy, Andrs Vrs |
| 2024 | ICSE | Refinery: Graph Solver as a Service: Refinement-based Generation and Analysis of Consistent Models. | Kristf Marussy, Attila Ficsor, Oszkr Semerth, Dniel Varr |
| 2024 | MODELS | Requirement-Driven Generation of Distributed Ledger Architectures. | Noor Al-Gburi, Andrs Fldvri, Kristf Marussy, Oszkr Semerth, Imre Kocsis |
| 2024 | MODELS | From Transpilers to Semantic Libraries: Formal Verification With Pluggable Semantics. | rmin Zavada, Kristf Marussy, Vince Molnr |
| 2022 | MODELS | System architecture synthesis for performability by logic solvers. | Mt Fldik, Kristf Marussy, Dniel Varr, Istvn Majzik |
| 2021 | EDCC | Tensor-based reliability analysis of complex static fault trees. | Dniel Szekeres, Kristf Marussy, Istvn Majzik |
| 2020 | MODELS | Automated generation of consistent models with structural and attribute constraints. | Oszkr Semerth, Aren A. Babikian, Anqi Li, Kristf Marussy, Dniel Varr |
| 2019 | MODELS | Towards System-Level Testing with Coverage Guarantees for Autonomous Vehicles. | Istvn Majzik, Oszkr Semerth, Csaba Hajdu, Kristf Marussy, Zoltn Szatmri, Zoltn Micskei, Andrs Vrs, Aren A. Babikian, Dniel Varr |
| 2018 | MODELS | Incremental View Model Synchronization Using Partial Models. | Kristf Marussy, Oszkr Semerth, Dniel Varr |
| 2015 | ICAISC | PROCESS: Projection-Based Classification of Electroencephalograph Signals. | Krisztin Bza, Jlia Koller, Kristf Marussy |
| 2013 | ICAISC | SUCCESS: A New Approach for Semi-supervised Classification of Time-Series. | Kristf Marussy, Krisztin Bza |