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 Artificial Intelligence and Systems Engineering (MIT) at 🏛️ Budapest University of Technology and Economics (BME). My research interests include graph generation, logic solvers, formal verification, and applying these techniques for ensuring the safety and correctness of critical systems.

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

Research

Critical systems

Cyber-physical systems especially in the railway, automotive, and aerospace domains with stringent correctness and reliability 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

Blog

Recent posts

Software

Refinery

I am a developer and maintainer of Refinery, an efficient graph solver for generating well-formed models and reasoning about interconnected systems.

I also contributed to Ferdium, a desktop app that combines and organizes messaging apps to take back user freedom. Give it a spin!

I host some Git repositories and Jenkins CI to publish my own code and mirror software I contribute to or use.

Take a look at the mirrors of Firejail and sway. Here are my scripts for mirroring.

See my other repositories at

Publications

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 pulications at

Resume

Education

Professional experience

Scholarships and awards

Research visits

Teaching and mentoring

Academic service

Contact