Contains the keyword static analysis
Static Type Checking of Model Transformation Programs. In: ICGT'10 Doctoral Symposium. University of Twente, Enschede, The Netherlands: Springer Berlin / Heidelberg; 2010. p. 413-5.
Modelltranszformációk statikus analízise. In: Tavaszi Szél Konferenciakiadvány. Szeged; 2009. p. 33-9.
Static Type Checking of Model Transformations by Constraint Satisfaction Programming. Budapest University of Technology and Economics; 2009.
Generic Static Analysis of Transformation Programs. Budapest University of Technology and Economics; 2009.
Static Analysis of Model Transformations. Budapest University of Technology and Economics; 2009.