Dénes Bisztray

Publication Activity (10 Years)

Years Active: 2007-2014
Publications (10 Years): 0

Top Topics

Mathematical Models

Prior Knowledge

Computational Models

Top Venues

Math. Struct. Comput. Sci.

Publications

Dénes Bisztray, Reiko Heckel
Combining termination proofs in model transformation systems. Math. Struct. Comput. Sci. 24 (4) (2014)
Dénes Bisztray, Reiko Heckel
Combining Termination Criteria by Isolating Deletion. ICGT (2010)
Dénes Bisztray, Reiko Heckel, Hartmut Ehrig
Compositionality of Model Transformations. Electron. Notes Theor. Comput. Sci. 236 (2009)
Dénes Bisztray, Reiko Heckel, Hartmut Ehrig
Verification of Architectural Refactorings by Rule Extraction. FASE (2008)
Dénes Bisztray, Reiko Heckel, Hartmut Ehrig
Compositional Verification of Architectural Refactorings. WADS (2008)
Dénes Bisztray, Reiko Heckel, Hartmut Ehrig
Verification of Architectural Refactorings: Rule Extraction and Tool Support. Electron. Commun. Eur. Assoc. Softw. Sci. Technol. 16 (2008)
Dénes Bisztray
Verification of Architectural Refactorings: Rule Extraction and Tool Support. ICGT (2008)
Gabriele Taentzer, Enrico Biermann, Dénes Bisztray, Bernd Bohnet, Iovka Boneva, Artur Boronat, Leif Geiger, Rubino Geiß, Ákos Horváth, Ole Kniemeyer, Tom Mens, Benjamin Ness, Detlef Plump, Tamás Vajk
Generation of Sierpinski Triangles: A Case Study for Graph Transformation Tools. AGTIVE (2007)
Dénes Bisztray, Reiko Heckel
Rule-Level Verification of Business Process Transformations using CSP. Electron. Commun. Eur. Assoc. Softw. Sci. Technol. 6 (2007)
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
Transformation of UML Models to CSP: A Case Study for Graph Transformation Tools. AGTIVE (2007)