Karl-Heinz Pennemann

12 papers B 5Journal 4Unranked 2
YearRankTypeTitle / Venue / Authors
2009 J jnl
Correctness of high-level transformation systems relative to nested conditions.
Math. Struct. Comput. Sci.
Annegret Habel, Karl-Heinz Pennemann
2009 — —
Development of correct graph transformation systems.
Karl-Heinz Pennemann
2008 B conf
Development of Correct Graph Transformation Systems.
ICGT
Karl-Heinz Pennemann
2008 B conf
Resolution-Like Theorem Proving for High-Level Conditions.
ICGT
Karl-Heinz Pennemann
2008 J jnl
Type Checking C++ Template Instantiation by Graph Programs.
Electron. Commun. Eur. Assoc. Softw. Sci. Technol.
Karl Azab, Karl-Heinz Pennemann
2007 — conf
An Algorithm for Approximating the Satisfiability Problem of High-level Conditions.
GT-VC@CONCUR
Karl-Heinz Pennemann
2006 J jnl
ENFORCe: A System for Ensuring Formal Correctness of High-level Programs.
Electron. Commun. Eur. Assoc. Softw. Sci. Technol.
Karl Azab, Annegret Habel, Karl-Heinz Pennemann, Christian Zuckschwerdt
2006 B conf
Satisfiability of High-Level Conditions.
ICGT
Annegret Habel, Karl-Heinz Pennemann
2006 J jnl
Theory of Constraints and Application Conditions: From Graphs to High-Level Structures.
Fundam. Informaticae
Hartmut Ehrig, Karsten Ehrig, Annegret Habel, Karl-Heinz Pennemann
2006 B conf
Weakest Preconditions for High-Level Programs.
ICGT
Annegret Habel, Karl-Heinz Pennemann, Arend Rensink
2005 — conf
Nested Constraints and Application Conditions for High-Level Structures.
Formal Methods in Software and Systems Modeling
Annegret Habel, Karl-Heinz Pennemann
2004 B conf
Constraints and Application Conditions: From Graphs to High-Level Structures.
ICGT
Hartmut Ehrig, Karsten Ehrig, Annegret Habel, Karl-Heinz Pennemann