Publikációk
Szűrők: A Cím Első Betűje = D [Minden szűrő visszaállítása]
"A Decomposition Method for the Verification of a Real-Time Safety-Critical Protocol",
Software Engineering for Resilient Systems, vol. 9274: Springer International Publishing, pp. 31-45, 09/15, 2015.
"Developing and Visualizing Live Model Queries",
1st Workshop on the Analysis of Model Transformations (AMT) , Innsbruck, Austria, ACM Digital Library, 2012.
"Def-use Analysis of Model Transformation Programs with Program Slicing",
Proceedings of the 18th PhD Minisymposium, Budapest, Budapest University of Technology and Economics, Department of Measurement and Information Systems, pp. 46-49, 02/2011.
"Dynamic Backward Slicing of Model Transformations",
International Conference on Software Testing and Validation, 2012, Montreal, Canada, IEEE, 04/2012.
Abstract
Acceptance rate: 27%
"Designing the Automatic Transformation of Visual Languages",
Science of Computer Programming, vol. 44, no. 2: Elsevier, pp. 205–227, August, 2002.
Abstract
Designing the Automatic Transformation of Visual Languages,
, November, 1999.