RESEARCH STUDENT
— Dénes Bisztray M.Sc. (BME)
Postgraduate Student in Computer Science
|
G3 Ken Edwards Building School of Computing and Mathematical Sciences, University of Leicester, University Road, Leicester, LE1 7RH.
T: +44 (0)116 252 3905 F: +44 (0)116 252 3915 E: dab24@mcs.le.ac.uk
|
- Dénes Bisztray, Reiko Heckel:
Rule-Level Verification of Business Process Transformations using CSP. [pdf]
Proceedings of 6th International Workshop on Graph Transformations and Visual Modeling Techniques (GTVMT'07), Volume 6 of Electronic Communications of the EASST, 2007.
- Dénes Bisztray, Karsten Ehrig and Reiko Heckel:
Case Study: UML to CSP Transformation. [pdf]
AGTIVE 2007 Graph Transformation Tool Contest
- 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 and Tamás Vajk:
Generation of Sierpinski Triangles: A Case Study for Graph Transformation Tools.
[pdf]
Applications of Graph Transformations with Industrial Relevance,
Volume 5088 of Lecture Notes in Computer Science, pages 514-539, 2008.
- 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 and Erhard Weinell:
Transformation of UML Models to CSP: A Case Study for Graph Transformation Tools.
[pdf]
Applications of Graph Transformations with Indstrial Relevance,
Volume 5088 of Lecture Notes in Computer Science, pages 540-565, 2008.
- Dénes Bisztray, Reiko Heckel and Hartmut Ehrig:
Verification of Architectural Refactorings by Rule Extraction. [pdf]
Fundamental Approaches to Software Engineering,
Volume 4961 of Lecture Notes in Computer Science, pages 347-361, 2008.
- Dénes Bisztray, Reiko Heckel, Hartmut Ehrig:
Verification of Architectural Refactoring Rules.
[pdf]
Technical Report, Department of Computer Science, University of Leicester, 2008
- Dénes Bisztray, Reiko Heckel and Hartmut Ehrig:
Compositionality of Model Transformations
[pdf]
Proceedings of the 3rd International Workshop on Views On Designing Complex Architectures (Vodca 2008)
Volume 236 of Electronic Notes in Theoretical Computer Science, 2009
- Dénes Bisztray, Reiko Heckel and Hartmut Ehrig:
Compositional Verification of Architectural Refactorings.
[pdf]
Architecting Dependable Systems VI ,
Volume 5835 of Lecture Notes in Computer Science, pages 308-333, 2009.
- Dénes Bisztray:
Compositional Verification of Model-Level Refactorings Base on Graph Transformations.
[pdf]
PhD Thesis, University of Leicester, 2009
|