Publikációk
] Szűrők: A Cím Első Betűje = F [Minden szűrő visszaállítása]
"Formal Validation and Model Synthesis for Domain-specific Languages by Logic Solvers",
ACM Student Research Competition at MODELS 2016, Saint-malo, France, CEUR-WS, 2016.
co-located with the 19th International Conference on Model Driven Engineering Languages and Systems (MODELS 2016)
sponsored by Microsoft Research
"Formal Compositional Semantics for Yakindu Statecharts",
Proceedings of the 24th PhD Mini-Symposium, Budapest, Hungary, pp. 22–25, 2017.
"Formalising openCypher Graph Queries in Relational Algebra",
21st European Conference on Advances in Databases and Information Systems (ADBIS), Nicosia, Cyprus, Springer, 2017.
"Formal Validation and Model Generation for Domain-Specific Languages by Logic Solvers",
Department of Measurement and Information Systems, vol. PhD, Budapest, Budapest University of Technology and Economics, pp. 186, 03/2019.
"Formal Specification and Verification of Solidity Contracts with Events (short paper)",
2nd Workshop on Formal Methods for Blockchains, 2020.
Abstract
(In press)
"The Future is Big Graphs! A Community View on Graph Processing Systems",
Communications of the ACM, 2021.
To be published in CACM
