Publications
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.
"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.
Mathematical Model Transformation for System Verification,
: Budapest University of Technology and Economics, Dept. of Measurement and Information Systems, June, 2000.
Abstract
"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
"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%
"Automating Model Transformation by Example Using Inductive Logic Programming",
Proceedings of the 2007 ACM Symposium on Applied Computing (SAC 2007), Seoul, Korea, March 11-15, 2007: ACM Press, pp. 978-984, 2007.
Abstract
Acceptance rate: 32%
"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
"Adaptive Graph Pattern Matching for Model Transformations using Model-sensitive Search Plans",
GraMot 2005, International Workshop on Graph and Model Transformations, vol. 152: Elsevier, pp. 191–205, 2006.
Abstract
"Incremental Graph Pattern Matching: Data Structures and Initial Experiments",
Graph and Model Transformation (GraMoT 2006), vol. 4: EASST, 2006.
Abstract
A Unifying Semantic Framework for Multilevel Metamodelling,
: Budapest University of Technology and Economics, October, 2001.
"Model Transformation by Example",
Proc. Model Driven Engineering Languages and Systems (MODELS 2006), vol. 4199, Genova, Italy, Springer, pp. 410–424, 2006.
Abstract
Acceptance rate: 29%
An XML Schema Description of Graph Transformation Systems,
: Budapest University of Technology and Economics, Department of Measurement and Information Systems, January, 2001.
Abstract
Towards an XMI–Based Model Interchange Format for Graph Transformation Systems,
: Budapest University of Technology and Economics, Department of Measurement and Information Systems, September, 2000.
Abstract
"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
"Graph Transformations in Relational Databases",
Proc. GraBaTs 2004: International Workshop on Graph Based Tools, Rome, Italy, Elsevier, October, 2004.
Abstract
In press
"Grafikus nyelvek automatikus transzformációjának tervezése",
Végzõs Konferencia '2000, Budapest, Hungary, Budapest University of Technology and Economics, pp. 454–459, April 26, 2000.
"UML modellek automatikus transzformációi",
OOOK 2002: 5. Országos Objektum-Orientált Konferencia, Dobogókõ, Hungary, October 16–17, 2002.
In Hungarian
"Generic and Meta-Transformations for Model Transformation Engineering",
Proc. UML 2004: 7th International Conference on the Unified Modeling Language, vol. 3273, Lisbon, Portugal, Springer, pp. 290–304, October 10–15, 2004.
Abstract
Acceptance rate: 22%
"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