Dénes Bisztray

2009
6	EE	Dénes Bisztray, Reiko Heckel, Hartmut Ehrig: Compositionality of Model Transformations. Electr. Notes Theor. Comput. Sci. 236: 5-19 (2009)
2008
5	EE	Dénes Bisztray, Reiko Heckel, Hartmut Ehrig: Verification of Architectural Refactorings by Rule Extraction. FASE 2008: 347-361
4	EE	Dénes Bisztray: Verification of Architectural Refactorings: Rule Extraction and Tool Support. ICGT 2008: 475-477
2007
3	EE	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	EE	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	EE	Dénes Bisztray, Reiko Heckel: Rule-Level Verification of Business Process Transformations using CSP. ECEASST 6: (2007)

Coauthor Index

1	Márk Asztalos	[2]
2	Enrico Biermann	[3]
3	Bernd Bohnet	[3]
4	Iovka Boneva	[3]
5	Artur Boronat	[2] [3]
6	Duc-Hanh Dang	[2]
7	Hartmut Ehrig	[5] [6]
8	Leif Geiger	[3]
9	Rubino Geiß	[2] [3]
10	Pieter Van Gorp	[2]
11	Joel Greenyer	[2]
12	Reiko Heckel	[1] [5] [6]
13	Ákos Horvath	[3]
14	Ole Kniemeyer	[2] [3]
15	Tom Mens	[3]
16	Anantha Narayanan	[2]
17	Benjamin Ness	[3]
18	Detlef Plump	[3]
19	Edgars Rencis	[2]
20	Gabriele Taentzer	[3]
21	Tamás Vajk	[3]
22	Dániel Varró	[2]
23	Erhard Weinell	[2]