Dénes Bisztray

According to our database, Dénes Bisztray authored at least 11 papers between 2007 and 2014.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2014

Combining termination proofs in model transformation systems.

Dénes Bisztray, Reiko Heckel

Math. Struct. Comput. Sci., 2014

2010

Compositional verification of model-level refactorings based on graph transformations.

Dénes András Bisztray

PhD thesis, 2010

Combining Termination Criteria by Isolating Deletion.

Dénes Bisztray, Reiko Heckel

Proceedings of the Graph Transformations - 5th International Conference, 2010

2008

Compositionality of Model Transformations.

Dénes Bisztray, Reiko Heckel, Hartmut Ehrig

Proceedings of the 3rd International Workshop on Views On Designing Complex Architectures, 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

Compositional Verification of Architectural Refactorings.

Dénes Bisztray, Reiko Heckel, Hartmut Ehrig

Proceedings of the Architecting Dependable Systems VI, 2008

Verification of Architectural Refactorings: Rule Extraction and Tool Support.

Dénes Bisztray

Proceedings of the Graph Transformations, 4th International Conference, 2008

Verification of Architectural Refactorings by Rule Extraction.

Dénes Bisztray, Reiko Heckel, Hartmut Ehrig

Proceedings of the Fundamental Approaches to Software Engineering, 2008

2007

Rule-Level Verification of Business Process Transformations using CSP.

Dénes Bisztray, Reiko Heckel

Electron. Commun. Eur. Assoc. Softw. Sci. Technol., 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

Proceedings of the Applications of Graph Transformations with Industrial Relevance, 2007

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, Ole Kniemeyer, Tom Mens, Benjamin Ness, Detlef Plump, Tamás Vajk

Proceedings of the Applications of Graph Transformations with Industrial Relevance, 2007