Kristóf Marussy

Registered user since Mon 5 Jul 2021

Name:Kristóf Marussy
Country:Hungary
Affiliation:Budapest University of Technology and Economics
Personal website:https://marussy.com
Research interests:model-driven engineering, dependability analysis, logic solvers

Contributions

SPLASH 2023 Committee Member in External Review / Artifact Evaluation Committee within the OOPSLA-track
Committee Member in Artifact Evaluation Committee within the OOPSLA Artifacts-track
ECOOP 2023 Committee Member in Artifact Evaluation Committee within the Artifacts-track
Committee Member in Extended Review Committee within the Research Papers-track
ICSE 2023 Author of Automated Generation of Consistent Graph Models With Multiplicity Reasoning within the Journal-First Papers-track
MODELS 2022 Author of System Architecture Synthesis for Performability by Logic Solvers within the Technical Track-track
ASE 2022 Author of Consistent Scene Graph Generation by Constraint Optimization within the Research Papers-track
ECOOP 2022 Committee Member in Artifact Evaluation Committee within the Artifacts-track
Committee Member in Extended Review Committee within the Research Papers-track
SPLASH 2021 Committee Member in Artifact Evaluation Committee within the OOPSLA Artifacts-track
MODELS 2021 Author of Automated Generation of Consistent, Diverse and Structurally Realistic Graph Models within the Technical Papers-track
MODELS 2020 Author of Automated Generation of Consistent Models with Structural and Attribute Constraints within the Technical Track-track