Publikációk
"Automated Program Generation in VIATRA",
Mini–Symposium 2002, Budapest University of Technology and Economics, Department of Measurement and Information Systems, IEEE Hungary Section (BUTE Student Branch), pp. 34–35, February 4–5, 2002.
"Automated Formal Verification of Visual Modeling Languages by Model Checking",
Journal of Software and Systems Modeling, vol. 3, no. 2, pp. 85–113, May, 2004.
Abstract
"UML Based Modeling and Development of J2EE Applications: Course Experiences",
MODELS 2006: Educators Symposium, Genova, Italy, 2006.
Abstract
"Recursive Graph Pattern Matching: With Magic Sets and Global Search Plans",
Proc. Third International Workshop and Symposium on Applications of Graph Transormation with Industrial Relevance (AGTIVE 2007), vol. 5088: Springer, 2007.
Abstract
"Visual Automated Model Transformation",
Mini–Symposium 2001, Budapest University of Technology and Economics, Department of Measurement and Information Systems, IEEE Hungary Section (BUTE Student Branch), pp. 48–49, January 31 – Feb, 2001.
"Graph Transformation in Relational Databases",
Journal of Software and Systems Modelling, vol. 5, no. 3, pp. 313–341, September, 2006.
Abstract
UML Specification of Model Transformation Systems,
: Budapest University of Technology and Economics, Department of Measurement and Information Systems, October, 2000.
Abstract
"UML Action Semantics for Model Transformation Systems",
Periodica Polytechnica, vol. 47, no. 3, pp. 167–186, 2003.
Abstract
Designing the Automatic Transformation of Visual Languages,
, November, 1999.
Automatic Transformation of UML Models,
: Budapest University of Technology and Economics, 2000.
"Towards the Automated Generation of Consistent, Diverse, Scalable and Realistic Graph Models",
Graph Transformation, Specifications, and Nets (In Memory of Hartmut Ehrig), no. 10800: Springer, 2018.
"The Model Transformation Language of the VIATRA2 Framework",
Science of Computer Programming, vol. 68, no. 3, pp. 214–234, October, 2007.
Abstract
"Designing the Automatic Transformation of Visual Languages",
Science of Computer Programming, vol. 44, no. 2: Elsevier, pp. 205–227, August, 2002.
Abstract
"Graph Transformation with Incremental Updates",
Proc. GT-VMT 2004, International Workshop on Graph Transformation and Visual Modelling Techniques, vol. 109: Elsevier, pp. 71-83, 2004.
Abstract
Benchmarking for Graph Transformation,
, no. TUB-TR-05-EE17: Budapest University of Technology and Economics, March, 2005.
"Road to a reactive and incremental model transformation platform: three generations of the VIATRA framework",
Software {&} Systems Modeling, vol. 15, issue 3, no. 3, pp. 609–629, 05/2016.
Abstract
"Metamodeling Mathematics: A Precise and Visual Framework for Describing Semantics Domains of UML Models",
Proc. Fifth International Conference on the Unified Modeling Language – The Language and its Applications, vol. 2460, Dresden, Germany, Springer-Verlag, pp. 18–33, September 30 – O, 2002.
Abstract
Acceptance rate: 30%
Automated Model Transformations for the Analysis of IT Systems,
: Budapest University of Technology and Economics, Department of Measurement and Information Systems, May, 2004.
Abstract
"Transformation of UML Models to CSP: A Case Study for Graph Transformation Tools",
Proc. Third International Workshop and Symposium on Applications of Graph Transormation with Industrial Relevance (AGTIVE 2007), vol. 5088: Springer, pp. 540–565, 2008.
Abstract
Mathematical Model Transformations for System Verification,
: Budapest University of Technology and Economics, May, 2001.
"Incremental Queries and Transformations: From Concepts to Industrial Applications",
SOFSEM 2016: Theory and Practice of Computer Science - 42nd International Conference on Current Trends in Theory and Practice of Computer Science, Harrachov, Czech Republic, January 23-28, 2016, Proceedings, vol. 9587, Harrachov, Czech Republic, Springer, pp. 51–59, 2016.
Abstract
Mathematical Model Transformation for System Verification,
: Budapest University of Technology and Economics, Dept. of Measurement and Information Systems, June, 2000.
Abstract
"UML Action Semantics for Model Transformation Systems",
Mini–Symposium 2003, Budapest University of Technology and Economics, Department of Measurement and Information Systems, IEEE Hungary Section (BUTE Student Branch), pp. 22–23, February 4–5, 2003.
"Termination Analysis of Model Transformations by Petri Nets",
Proc. Third International Conference on Graph Transformation (ICGT 2006), vol. 4178, Natal, Brazil, Springer, pp. 260–274, 2006.
Abstract
Acceptance rate: 45%
"Benchmarking for Graph Transformation",
Proc. IEEE Symposium on Visual Languages and Human-Centric Computing (VL/HCC 05), Dallas, Texas, USA, IEEE Press, pp. 79–88, September, 2005.
Abstract
Acceptance rate: 31%