Karl-Heinz Pennemann

Publication Activity (10 Years)

Years Active: 2004-2009
Publications (10 Years): 0

University of Oldenburg, Germany (PHD)

Education History

University of Oldenburg, Germany

PHD

Publications

Annegret Habel, Karl-Heinz Pennemann
Correctness of high-level transformation systems relative to nested conditions. Math. Struct. Comput. Sci. 19 (2) (2009)
Karl-Heinz Pennemann
Development of Correct Graph Transformation Systems. ICGT (2008)
Karl-Heinz Pennemann
Resolution-Like Theorem Proving for High-Level Conditions. ICGT (2008)
Karl-Heinz Pennemann
An Algorithm for Approximating the Satisfiability Problem of High-level Conditions. Electron. Notes Theor. Comput. Sci. 213 (1) (2008)
Karl Azab, Karl-Heinz Pennemann
Type Checking C++ Template Instantiation by Graph Programs. Electron. Commun. Eur. Assoc. Softw. Sci. Technol. 10 (2008)
Annegret Habel, Karl-Heinz Pennemann, Arend Rensink
Weakest Preconditions for High-Level Programs. ICGT (2006)
Karl Azab, Annegret Habel, Karl-Heinz Pennemann, Christian Zuckschwerdt
ENFORCe: A System for Ensuring Formal Correctness of High-level Programs. Electron. Commun. Eur. Assoc. Softw. Sci. Technol. 1 (2006)
Hartmut Ehrig, Karsten Ehrig, Annegret Habel, Karl-Heinz Pennemann
Theory of Constraints and Application Conditions: From Graphs to High-Level Structures. Fundam. Informaticae 74 (1) (2006)
Annegret Habel, Karl-Heinz Pennemann
Satisfiability of High-Level Conditions. ICGT (2006)
Annegret Habel, Karl-Heinz Pennemann
Nested Constraints and Application Conditions for High-Level Structures. Formal Methods in Software and Systems Modeling (2005)
Hartmut Ehrig, Karsten Ehrig, Annegret Habel, Karl-Heinz Pennemann
Constraints and Application Conditions: From Graphs to High-Level Structures. ICGT (2004)

Karl-Heinz Pennemann.css-eqlu8i{font-size:small;padding-left:4px;}

Publication Activity (10 Years)

Karl-Heinz Pennemann