Skip to main content
My photo

Hi! 👋 I’m Kristóf Marussy

I’m a research fellow working at the 🔬 Critical Systems Research Group (ftsrg) at the 🏫 Department of Measurement and Information Systems (MIT) at 🏛️ Budapest University of Technology and Economics (BME). My reasearch interests include graph generation, logic solvers, formal verification, and applying these techniques for ensuring the safety and correcness of critical systems.

I also like free (as in liberty) and open source software. My pronouns are he/him.


Critical systems

Cyber-physical systems especially in the railway, automotive, and aerospace domains with stringent correctness and relability requirements

Formal verification

Proving the safety and reliability of critical system designs and software components in a mathematically precise way

Automated reasoning

Integrating logical and numerical solvers with intelligent heuristics to answer challenging analysis questions and synthesize reliable system designs

Graph generation

Efficient graph-based information processing for system modeling, testing data-driven systems, and knowledge representation in autonomous systems


Recent posts


Selected publications

  • Kristóf Marussy, Attila Ficsor, Oszkár Semeráth, Dániel Varró (2024). Refinery: Graph Solver as a Service. In International Conference on Software Engineering (ICSE) 2024. PDF Video Open Access: CC-BY-4.0
  • Máté Földiák, Kristóf Marussy, Dániel Varró, István Majzik (2022). System architecture synthesis for performability by logic solvers. In International Conference on Model Driven Engineering Languages and Systems (MODELS) 2022, pp. 433–45. DOI PDF Artifact Closed Access: ACM
  • Boqi Chen, Kristóf Marussy, Sebastian Pilarski, Oszkár Semeráth, Dániel Varró (2022). Consistent Scene Graph Generation by Constraint Optimization. In International Conference on Automated Software Engineering (ASE) 2022. DOI PDF Open Access: CC-BY-4.0
  • Kristóf Marussy, Oszkár Semeráth, Dániel Varró (2022). Automated Generation of Consistent Graph Models With Multiplicity Reasoning. IEEE Transactions on Software Engineering, volume 48, issue 5. DOI PDF Open Access: CC-BY-4.0
  • Márton Búr, Kristóf Marussy, Brett H. Meyer, Dániel Varró (2021). Worst-case Execution Time Calculation for Query-based Monitors by Witness Generation. ACM Transactions on Embedded Computing Systems, volume 20, issue 6. DOI arXiv PDF Closed Access: ACM
  • Kristóf Marussy, Oszkár Semeráth, Aren A. Babikian, Dániel Varró (2020). A Specification Language for Consistent Model Generation based on Partial Models. Journal of Object Technology, volume 19, pp. 3:1–22. DOI PDF Video Open Access: CC-BY-ND-4.0
  • Kristóf Marussy and Oszkár Semeráth (2018). Incremental View Model Synchronization Using Partial Models. In International Conference on Model Driven Engineering Languages and Systems (MODELS) 2018, pp. 323–333. DOI PDF Artifact Closed Access: ACM

See the full list of my publications at



Professional experience

Scholarships and awards

Research visits

Teaching and mentoring

Academic service


Personal e-mail GPG key

For messages about my projects, this website, or anything else


Follow me

On the Fediverse, a diverse community of interconnected platforms