 | 2009 |
|---|
| 8 |       | Dénes Bisztray,
Reiko Heckel,
Hartmut Ehrig:
Compositionality of Model Transformations.
Electr. Notes Theor. Comput. Sci. 236: 5-19 (2009) |
| 2008 |
|---|
| 7 | | Dénes Bisztray,
Reiko Heckel,
Hartmut Ehrig:
Verification of Architectural Refactorings by Rule Extraction.
FASE 2008: 347-361 |
| 6 | | Dénes Bisztray:
Verification of Architectural Refactorings: Rule Extraction and Tool Support.
ICGT 2008: 475-477 |
| 5 | | Dénes Bisztray,
Reiko Heckel,
Hartmut Ehrig:
Compositional Verification of Architectural Refactorings.
WADS 2008: 308-333 |
| 4 | | Dénes Bisztray,
Reiko Heckel,
Hartmut Ehrig:
Verification of Architectural Refactorings: Rule Extraction and Tool Support.
ECEASST 16: (2008) |
| 2007 |
|---|
| 3 | | Gabriele Taentzer,
Enrico Biermann,
Dénes Bisztray,
Bernd Bohnet,
Iovka Boneva,
Artur Boronat,
Leif Geiger,
Rubino Geiß,
Ákos Horvath,
Ole Kniemeyer,
Tom Mens,
Benjamin Ness,
Detlef Plump,
Tamás Vajk:
Generation of Sierpinski Triangles: A Case Study for Graph Transformation Tools.
AGTIVE 2007: 514-539 |
| 2 | | 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: 540-565 |
| 1 | | Dénes Bisztray,
Reiko Heckel:
Rule-Level Verification of Business Process Transformations using CSP.
ECEASST 6: (2007) |
