University of Leicester

informatics

RESEARCH STUDENT — Dénes Bisztray  M.Sc. (BME)

Postgraduate Student in Computer Science
G3 Informatics Building
Department of Informatics,
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

Publications

  • 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

Author: Dénes Bisztray (dab24@mcs.le.ac.uk), T: +44 (0)116 252 3905.
© University of Leicester 13th February 2007. Last modified: 22nd December 2009, 23:08:31.
Informatics Web Maintainer. Any opinions expressed on this page are those of the author.