Publikációk
Szűrők: Az Utónév Első Betűje = P [Minden szűrő visszaállítása]
"Using Fault Injection to Assess Blockchain Systems in Presence of Faulty Smart Contracts",
IEEE Access, vol. 8, pp. 190760–190783, 2020.
"VIATRA Solver: A Framework for the Automated Generation of Consistent Domain-Specific Models",
41st International Conference on Software Engineering, Montreal, Canada, ACM/IEEE, 2019.
"Visual Graph Transformation in System Verification",
DDECS 2000 International IEEE Workshop on the Design and Diagnostics of Electronic Circuits and Systems, Bratislava, Slovakia, pp. 137–141, April 5–7, 2000.
Abstract
"Visual lane and obstruction detection system for commercial vehicles",
4th IFAC symposium on fault detection supervision and safety for technical processes. SAFEPROCESS 2000. Preprints, Budapest, vol. 2: IFAC, pp. 908–913, 06.14–06.16., 2000.
"Watchdog Processors in Parallel Systems",
MICROPROCESSING AND MICROPROGRAMMING, vol. 39, issue 2-5, pp. 69 - 74, 1993.
Abstract
"Workflow-Driven Tool Integration Using Model Transformation",
Graph Transformations and Model Driven Enginering - Essays Dedicated to Manfred Nagl on the Occasion of his 65th Birthday: Springer, pp. 224-248, 2010.
"UML Action Semantics for Model Transformation Systems",
Periodica Polytechnica, vol. 47, no. 3, pp. 167–186, 2003.
Abstract
"UML modellek automatikus transzformációi",
OOOK 2002: 5. Országos Objektum-Orientált Konferencia, Dobogókõ, Hungary, October 16–17, 2002.
In Hungarian
UML Specification of Model Transformation Systems,
: Budapest University of Technology and Economics, Department of Measurement and Information Systems, October, 2000.
Abstract
The VIATRA2 Model Transformation Framework,
, 2005.
Presented at ECMDA 2005 – Tools Track
"VIATRA: Visual Automated Transformations for Formal Verification and Validation of UML Models",
Proc. ASE 2002: 17th IEEE International Conference on Automated Software Engineering, Edinburgh, UK, IEEE Press, pp. 267–270, September 23–27, 2002.
Abstract
Acceptance rate = 20%
"VPM: A visual, precise and multilevel metamodeling framework for describing mathematical domains and UML",
Journal of Software and Systems Modeling, vol. 2, no. 3: Springer, pp. 187–210, October, 2003.
Abstract
An XML Schema Description of Graph Transformation Systems,
: Budapest University of Technology and Economics, Department of Measurement and Information Systems, January, 2001.
Abstract