Formale Sprachen

Dipl.-Inf. Karl Azab

E-Mail: Azab

Karl Azab ist zum 24.09.2008 aus der Abteilung ausgeschieden.

  • [inproceedings] bibtex | Dokument aufrufen Dokument aufrufen
    K. Azab, "Editing Nested Constraints and Application Conditions," in Proc. Proc. Int. Workshop on Graph Computation Models (GCM'08), 2008, pp. 35-42.
    @inproceedings{Azab08a,
      author = {Azab, Karl},
      title = {Editing Nested Constraints and Application Conditions},
      booktitle = {Proc. Int. Workshop on Graph Computation Models (GCM'08)},
      editor = {Habel, A. and Mosbah, M.},
      year = {2008},
      publists = {dcgts},
      url = {http://formale-sprachen.informatik.uni-oldenburg.de/~skript/fs-pub/editing_gcm.pdf},
      pages = {35-42},
      url = {http://formale-sprachen.informatik.uni-oldenburg.de/~skript/fs-pub/editing_long.pdf} }
  • [inproceedings] bibtex | Dokument aufrufen Dokument aufrufen
    K. Azab und A. Habel, "High-level programs and program conditions," in Proc. Graph Transformations (ICGT'08), 2008, pp. 211-225.
    @inproceedings{Azab-Habel08a,
      author = {Azab, Karl and Habel, Annegret},
      title = {High-level programs and program conditions},
      booktitle = {Graph Transformations (ICGT'08)},
      year = {2008},
      series = {Lecture Notes in Computer Science},
      volume = {5214},
      pages = {211-225},
      publisher = {Springer-Verlag},
      publists = {dcgts},
      url = {http://formale-sprachen.informatik.uni-oldenburg.de/~skript/fs-pub/program-conditions.pdf},
      url = {http://springerlink.metapress.com/content/v0w814m5125603h2/} }
  • [inproceedings] bibtex | Dokument aufrufen Dokument aufrufen
    K. Azab und K. Pennemann, "Type Checking C++ Template Instantiation by Graph Programs," in Proc. Proc. Int. Workshop on Graph Transformation and Visual Modeling Techniques (GT-VMT'08), 2008, pp. 249-262.
    @inproceedings{Azab-Pennemann08a,
      author = {Azab, Karl and Pennemann, Karl-Heinz},
      title = {Type Checking {C}++ Template Instantiation by Graph Programs},
      booktitle = {Proc. Int. Workshop on Graph Transformation and Visual Modeling Techniques (GT-VMT'08)},
      volume = {10},
      pages = {249-262},
      year = {2008},
      publisher = {Electronic Communications of the EASST},
      issn = {1863-2122},
      publists = {dcgts},
      url = {http://formale-sprachen.informatik.uni-oldenburg.de/~skript/fs-pub/templates.pdf},
      url = {http://journal.ub.tu-berlin.de/index.php/eceasst/issue/view/19} }
  • K. Azab und K. Pennemann, "Type Checking C++ Template Instantiation by Graph Programs," Universität Oldenburg, Berichte aus dem Department für Informatik 04/07, 24 pages, 2007.
    @techreport{Azab-Pennemann07a,
      author = {Azab, Karl and Pennemann, Karl-Heinz},
      title = {Type Checking {C}++ Template Instantiation by Graph Programs},
      type = {{Berichte aus dem Department f\"ur Informatik}},
      number = {04/07, 24 pages},
      institution = {Universit\"at Oldenburg},
      year = {2007},
      issn = {0946-2910},
      publists = {dcgts},
      url = {http://formale-sprachen.informatik.uni-oldenburg.de/~skript/fs-pub/templates_long.pdf} }
  • [inproceedings] bibtex | Dokument aufrufen Dokument aufrufen
    K. Azab, A. Habel, K. Pennemann, und C. Zuckschwerdt, "ENFORCe: A System for Ensuring Formal Correctness of High-level Programs," in Proc. Proc. 3rd International Workshop on Graph Based Tools (GraBaTs'06), 2007, pp. 82-93.
    @inproceedings{Azab-Habel-Pennemann-Zuckschwerdt06a,
      author = {Azab, Karl and Habel, Annegret and Pennemann, Karl-Heinz and Zuckschwerdt, Christian},
      title = {{ENFORCe}: A System for Ensuring Formal Correctness of High-level Programs},
      booktitle = {Proc. 3rd International Workshop on Graph Based Tools (GraBaTs'06)},
      year = {2007},
      volume = {1},
      publisher = {Electronic Communications of the EASST},
      pages = {82-93},
      issn = {1863-2122},
      publists = {dcgts},
      url = {http://formale-sprachen.informatik.uni-oldenburg.de/~skript/fs-pub/enforce.pdf},
      url = {http://journal.ub.tu-berlin.de/index.php/eceasst/issue/view/9} }