dblp.uni-trier.dewww.uni-trier.de

Dénes Bisztray

List of publications from the DBLP Bibliography Server - FAQ
Coauthor Index - Ask others: ACM DL/Guide - CiteSeer - CSB - Google - MSN - Yahoo

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

Coauthor Index

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

Copyright © Sun May 17 03:24:02 2009 by Michael Ley (ley@uni-trier.de)