conf.researchr.org / 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
GitHub: https://github.com/kris7t
Research interests:model-driven engineering, dependability analysis, logic solvers
Contributions
2024
MODELS
- Author of From Transpilers to Semantic Libraries: Formal Verification With Pluggable Semantics within the SAM Conference-track
- Author of Requirement-Driven Generation of Distributed Ledger Architectures within the Technical Track-track
- Chair of Model Quality in the era of AI within the Birds of a Feather-track
- Author of T9: Refinery: Logic-based Partial Modeling within the Tutorials-track