Formale Sprachen

Dr. Karl-Heinz Pennemann

E-Mail: k.h.pennemann

Karl-Heinz Pennemann ist zum 01.08.2009 aus der Abteilung ausgeschieden.

  • K. Pennemann, "Development of Correct Graph Transformation Systems," PhD Thesis , 2009.
    @phdthesis{Pennemann09b,
      author = {Pennemann, Karl-Heinz},
      title = {Development of Correct Graph Transformation Systems},
      school = {Universit\"at Oldenburg},
      year = {2009},
      url = {http://formale-sprachen.informatik.uni-oldenburg.de/~skript/fs-pub/Pen09-Diss.pdf} }
  • K. Pennemann, "Development of Correct Graph Transformation Systems," PhD Thesis , 2009.
    @phdthesis{Pennemann09a,
      author = {Pennemann, Karl-Heinz},
      title = {Development of Correct Graph Transformation Systems},
      school = {Department f{\"u}r Informatik, Universit{\"a}t Oldenburg, Oldenburg},
      year = {2009},
      url = {http://formale-sprachen.informatik.uni-oldenburg.de/~skript/fs-pub/diss_pennemann.pdf},
      url = {http://oops.uni-oldenburg.de/volltexte/2009/948/} }
  • A. Habel und K. Pennemann, "Correctness of high-level transformation systems relative to nested conditions," Mathematical Structures in Computer Science, vol. 19, pp. 1-52, 2009.
    @article{Habel-Pennemann09a,
      author = {Habel, Annegret and Pennemann, Karl-Heinz},
      title = {Correctness of high-level transformation systems relative to nested conditions},
      journal = {Mathematical Structures in Computer Science},
      volume = {19},
      pages = {1-52},
      year = {2009},
      publists = {dcgts,selected,topics},
      url = {http://formale-sprachen.informatik.uni-oldenburg.de/~skript/fs-pub/mscs-HP09.pdf},
      url = {http://journals.cambridge.org/action/displayFulltext?type=1&fid=5376264&jid=MSC&volumeId=19&issueId=02&aid=5376256} }
  • [inproceedings] bibtex | Dokument aufrufen Dokument aufrufen
    K. Pennemann, "Resolution-like theorem proving for high-level conditions," in Proc. Graph Transformations (ICGT'08), 2008, pp. 289-304.
    @inproceedings{Pennemann08b,
      author = {Pennemann, Karl-Heinz},
      title = {Resolution-like theorem proving for high-level conditions},
      booktitle = {Graph Transformations (ICGT'08)},
      year = {2008},
      series = {Lecture Notes in Computer Science},
      volume = {5214},
      pages = {289-304},
      publisher = {Springer-Verlag},
      publists = {dcgts,selected},
      url = {http://formale-sprachen.informatik.uni-oldenburg.de/~skript/fs-pub/procon.pdf},
      url = {http://springerlink.metapress.com/content/p01554m107170572/} }
  • [inproceedings] bibtex | Dokument aufrufen Dokument aufrufen
    K. Pennemann, "Development of correct graph transformation systems -- Preliminary abstract," in Proc. Graph Transformations (ICGT'08 Doctoral Symposium), 2008, pp. 508-510.
    @inproceedings{Pennemann08c,
      author = {Pennemann, Karl-Heinz},
      title = {Development of correct graph transformation systems -- {P}reliminary abstract},
      booktitle = {Graph Transformations (ICGT'08 Doctoral Symposium)},
      year = {2008},
      series = {Lecture Notes in Computer Science},
      volume = {5214},
      pages = {508-510},
      publisher = {Springer-Verlag},
      publists = {dcgts},
      url = {http://formale-sprachen.informatik.uni-oldenburg.de/~skript/fs-pub/icgt2008ds.pdf},
      url = {http://springerlink.metapress.com/content/1p077n327p212262/} }
  • [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} }
  • [inproceedings] bibtex | Dokument aufrufen Dokument aufrufen
    K. Pennemann, "An Algorithm for Approximating the Satisfiability Problem of High-level Conditions," in Proc. Proc. Graph Transformation for Verification and Concurrency (GT-VC'07), 2008, pp. 75-94.
    @inproceedings{Pennemann07a,
      author = {Pennemann, Karl-Heinz},
      title = {An Algorithm for Approximating the Satisfiability Problem of High-level Conditions},
      booktitle = {Proc. Graph Transformation for Verification and Concurrency (GT-VC'07)},
      year = {2008},
      series = {Electronic Notes in Theoretical Computer Science},
      volume = {213},
      issue = {1},
      pages = {75-94},
      publisher = {Elsevier},
      publists = {dcgts,selected},
      url = {http://formale-sprachen.informatik.uni-oldenburg.de/~skript/fs-pub/seeksat.pdf} }
  • 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} }
  • A. Habel, K. Pennemann, und A. Rensink, "Weakest Preconditions for High-Level Programs (Long Version)," Universität Oldenburg, Berichte aus dem Department für Informatik 8/06, 35 pages, 2006.
    @techreport{Habel-Pennemann-Rensink06b,
      author = {Habel, Annegret and Pennemann, Karl-Heinz and Rensink, Arend},
      title = {Weakest Preconditions for High-Level Programs (Long Version)},
      type = {{Berichte aus dem Department f\"ur Informatik}},
      number = {8/06, 35 pages},
      institution = {Universit\"at Oldenburg},
      year = {2006},
      issn = {0946-2910},
      publists = {dcgts},
      url = {http://formale-sprachen.informatik.uni-oldenburg.de/~skript/fs-pub/hpr06-long.pdf} }
  • [inproceedings] bibtex | Dokument aufrufen Dokument aufrufen
    A. Habel, K. Pennemann, und A. Rensink, "Weakest Preconditions for High-Level Programs," in Proc. Graph Transformations (ICGT'06), 2006, pp. 445-460.
    @inproceedings{Habel-Pennemann-Rensink06a,
      author = {Habel, Annegret and Pennemann, Karl-Heinz and Rensink, Arend},
      title = {Weakest Preconditions for High-Level Programs},
      booktitle = {Graph Transformations (ICGT'06)},
      year = {2006},
      series = {Lecture Notes in Computer Science},
      volume = {4178},
      pages = {445-460},
      publisher = {Springer-Verlag},
      publists = {dcgts},
      url = {http://formale-sprachen.informatik.uni-oldenburg.de/~skript/fs-pub/weakestpreconditions.pdf},
      url = {http://springerlink.metapress.com/content/bj1683345uv61r68/} }
  • [inproceedings] bibtex | Dokument aufrufen Dokument aufrufen
    A. Habel und K. Pennemann, "Satisfiability of High-Level Conditions," in Proc. Graph Transformations (ICGT'06), 2006, pp. 430-444.
    @inproceedings{Habel-Pennemann06b,
      author = {Habel, Annegret and Pennemann, Karl-Heinz},
      title = {Satisfiability of High-Level Conditions},
      booktitle = {Graph Transformations (ICGT'06)},
      year = {2006},
      series = {Lecture Notes in Computer Science},
      volume = {4178},
      pages = {430-444},
      publisher = {Springer-Verlag},
      publists = {dcgts},
      url = {http://formale-sprachen.informatik.uni-oldenburg.de/~skript/fs-pub/satisfiability.pdf},
      url = {http://www.springerlink.com/content/3h1012651r702875/} }
  • H. Ehrig, K. Ehrig, A. Habel, und K. Pennemann, "Theory of Constraints and Application Conditions: From Graphs to High-Level Structures," Fundamenta Informaticae, vol. 74, iss. 1, pp. 135-166, 2006.
    @article{Ehrig-Ehrig-Habel-Pennemann06a,
      author = {Ehrig, Hartmut and Ehrig, Karsten and Habel, Annegret and Pennemann, Karl-Heinz},
      title = {Theory of Constraints and Application Conditions: From Graphs to High-Level Structures},
      journal = {Fundamenta Informaticae},
      volume = {74},
      number = {1},
      pages = {135-166},
      year = {2006},
      publists = {dcgts,selected},
      url = {http://formale-sprachen.informatik.uni-oldenburg.de/~skript/fs-pub/fundamenta-constraints.ps.gz} }
  • [inproceedings] bibtex | Dokument aufrufen Dokument aufrufen
    A. Habel und K. Pennemann, "Nested Constraints and Application Conditions for High-Level Structures," in Proc. Formal Methods in Software and System Modeling, 2005, pp. 294-308.
    @inproceedings{Habel-Pennemann05a,
      author = {Habel, Annegret and Pennemann, Karl-Heinz},
      title = {Nested Constraints and Application Conditions for High-Level Structures},
      editor = {Kreowski, Hans-J\"org and Montanari, Ugo and Orejas, Fernando and Rozenberg, Grzegorz and Taentzer, Gabriele},
      booktitle = {Formal Methods in Software and System Modeling},
      publisher = {Springer-Verlag},
      series = {Lecture Notes in Computer Science},
      volume = {3393},
      pages = {294-308},
      year = {2005},
      publists = {dcgts},
      url = {http://formale-sprachen.informatik.uni-oldenburg.de/~skript/fs-pub/nested-constraints.ps.gz},
      url = {http://springerlink.metapress.com/content/j90uycf5wpey/#section=560146} }
  • [inproceedings] bibtex | Dokument aufrufen Dokument aufrufen
    H. Ehrig, K. Ehrig, A. Habel, und K. Pennemann, "Constraints and Application Conditions: From Graphs to High-Level Structures," in Proc. Graph Transformation (ICGT'04), 2004, pp. 287-303.
    @inproceedings{Ehrig-Ehrig-Habel-Pennemann04a,
      author = {Ehrig, Hartmut and Ehrig, Karsten and Habel, Annegret and Pennemann, Karl-Heinz},
      title = {Constraints and Application Conditions: From Graphs to High-Level Structures},
      booktitle = {Graph Transformation (ICGT'04)},
      publisher = {Springer-Verlag},
      series = {Lecture Notes in Computer Science},
      volume = {3256},
      pages = {287-303},
      year = {2004},
      url = {http://formale-sprachen.informatik.uni-oldenburg.de/~skript/fs-pub/constraints-applicationconditions.ps.gz},
      url = {http://springerlink.metapress.com/content/tpbacu8vjr0uku6u/} }
  • [mastersthesis] bibtex | Dokument aufrufen Dokument aufrufen
    K. Pennemann, "Generalized Constraints and Application Conditions for Graph Transformation Systems," Master's Dissertation , 2004.
    @mastersthesis{Pennemann04a,
      author = {Pennemann, Karl-Heinz},
      title = {Generalized Constraints and Application Conditions for Graph Transformation Systems},
      school = {Dept. of Computing Science, University of Oldenburg, Oldenburg},
      year = {2004},
      url = {http://formale-sprachen.informatik.uni-oldenburg.de/~skript/fs-pub/Penn04-Dipl.pdf} }
  • M. Eissen, R. Mazur, H. Quebbemann, und K. Pennemann, "Atom Economy and Yield of Synthesis Sequences," Helvetica Chimica Acta, vol. 87, pp. 524-535, 2004.
    @article{Eissen-Mazur-Quebbemann-Penneman04a,
      author = {Eissen, Marco and Mazur, Radoslaw and Quebbemann, Heinz-Georg and Pennemann, Karl-Heinz},
      title = {Atom Economy and Yield of Synthesis Sequences},
      journal = {Helvetica Chimica Acta},
      volume = {87},
      issue = {2},
      pages = {524-535},
      year = {2004},
      url = {http://www3.interscience.wiley.com/cgi-bin/fulltext/107630452/PDFSTART} }