Constraints and Application Conditions: From Graphs to High-Level Structures. - Hartmut Ehrig; Karsten Ehrig; Annegret Habel; Karl-Heinz Pennemann (ICGT, 2004)

Nested Constraints and Application Conditions for High-Level Structures. - Annegret Habel; Karl-Heinz Pennemann (Formal Methods in Software and Systems Modeling, 2005)

Satisfiability of High-Level Conditions. - Annegret Habel; Karl-Heinz Pennemann (ICGT, 2006)

Weakest Preconditions for High-Level Programs. - Annegret Habel; Karl-Heinz Pennemann; Arend Rensink (ICGT, 2006)

ENFORCe: A System for Ensuring Formal Correctness of High-level Programs. - Karl Azab; Annegret Habel; Karl-Heinz Pennemann; Christian Zuckschwerdt (Electron. Commun. Eur. Assoc. Softw. Sci. Technol., 2006)

Theory of Constraints and Application Conditions: From Graphs to High-Level Structures. - Hartmut Ehrig; Karsten Ehrig; Annegret Habel; Karl-Heinz Pennemann (Fundam. Informaticae, 2006)

An Algorithm for Approximating the Satisfiability Problem of High-level Conditions. - Karl-Heinz Pennemann (GT-VC@CONCUR, 2007)

Resolution-Like Theorem Proving for High-Level Conditions. - Karl-Heinz Pennemann (ICGT, 2008)

Development of Correct Graph Transformation Systems. - Karl-Heinz Pennemann (ICGT, 2008)

Type Checking C++ Template Instantiation by Graph Programs. - Karl Azab; Karl-Heinz Pennemann (Electron. Commun. Eur. Assoc. Softw. Sci. Technol., 2008)

Correctness of high-level transformation systems relative to nested conditions. - Annegret Habel; Karl-Heinz Pennemann (Math. Struct. Comput. Sci., 2009)

Development of correct graph transformation systems. - Karl-Heinz Pennemann (2009)