Generation of Sierpinski Triangles: A Case Study for Graph Transformation Tools. - Gabriele Taentzer; Enrico Biermann; Dénes Bisztray; Bernd Bohnet; Iovka Boneva; Artur Boronat; Leif Geiger; Rubino Geiß; Ákos Horváth 001; Ole Kniemeyer; Tom Mens; Benjamin Ness; et al. (AGTIVE, 2007)

Transformation of UML Models to CSP: A Case Study for Graph Transformation Tools. - Dániel Varró; Márk Asztalos; Dénes Bisztray; Artur Boronat; Duc-Hanh Dang; Rubino Geiß; Joel Greenyer; Pieter Van Gorp; Ole Kniemeyer; Anantha Narayanan; Edgars Rencis; Erhard Weinell (AGTIVE, 2007)

Rule-Level Verification of Business Process Transformations using CSP. - Dénes Bisztray; Reiko Heckel (Electron. Commun. Eur. Assoc. Softw. Sci. Technol., 2007)

Verification of Architectural Refactorings by Rule Extraction. - Dénes Bisztray; Reiko Heckel; Hartmut Ehrig (FASE, 2008)

Verification of Architectural Refactorings: Rule Extraction and Tool Support. - Dénes Bisztray (ICGT, 2008)

Compositional Verification of Architectural Refactorings. - Dénes Bisztray; Reiko Heckel; Hartmut Ehrig (WADS, 2008)

Verification of Architectural Refactorings: Rule Extraction and Tool Support. - Dénes Bisztray; Reiko Heckel; Hartmut Ehrig (Electron. Commun. Eur. Assoc. Softw. Sci. Technol., 2008)

Compositionality of Model Transformations. - Dénes Bisztray; Reiko Heckel; Hartmut Ehrig (VODCA@FOSAD, 2008)

Combining Termination Criteria by Isolating Deletion. - Dénes Bisztray; Reiko Heckel (ICGT, 2010)

Compositional verification of model-level refactorings based on graph transformations. - Dénes András Bisztray (2010)

Combining termination proofs in model transformation systems. - Dénes Bisztray; Reiko Heckel (Math. Struct. Comput. Sci., 2014)