| 2009 |
|---|
| 11 | EE | Annegret Habel,
Karl-Heinz Pennemann:
Correctness of high-level transformation systems relative to nested conditions.
Mathematical Structures in Computer Science 19(2): 245-296 (2009) |
| 2008 |
|---|
| 10 | EE | Karl-Heinz Pennemann:
Resolution-Like Theorem Proving for High-Level Conditions.
ICGT 2008: 289-304 |
| 9 | EE | Karl-Heinz Pennemann:
Development of Correct Graph Transformation Systems.
ICGT 2008: 508-510 |
| 8 | EE | Karl Azab,
Karl-Heinz Pennemann:
Type Checking C++ Template Instantiation by Graph Programs.
ECEASST 10: (2008) |
| 7 | EE | Karl-Heinz Pennemann:
An Algorithm for Approximating the Satisfiability Problem of High-level Conditions.
Electr. Notes Theor. Comput. Sci. 213(1): 75-94 (2008) |
| 2006 |
|---|
| 6 | EE | Annegret Habel,
Karl-Heinz Pennemann:
Satisfiability of High-Level Conditions.
ICGT 2006: 430-444 |
| 5 | EE | Annegret Habel,
Karl-Heinz Pennemann,
Arend Rensink:
Weakest Preconditions for High-Level Programs.
ICGT 2006: 445-460 |
| 4 | EE | Karl Azab,
Annegret Habel,
Karl-Heinz Pennemann,
Christian Zuckschwerdt:
ENFORCe: A System for Ensuring Formal Correctness of High-level Programs.
ECEASST 1: (2006) |
| 3 | EE | Hartmut Ehrig,
Karsten Ehrig,
Annegret Habel,
Karl-Heinz Pennemann:
Theory of Constraints and Application Conditions: From Graphs to High-Level Structures.
Fundam. Inform. 74(1): 135-166 (2006) |
| 2005 |
|---|
| 2 | EE | Annegret Habel,
Karl-Heinz Pennemann:
Nested Constraints and Application Conditions for High-Level Structures.
Formal Methods in Software and Systems Modeling 2005: 293-308 |
| 2004 |
|---|
| 1 | EE | Hartmut Ehrig,
Karsten Ehrig,
Annegret Habel,
Karl-Heinz Pennemann:
Constraints and Application Conditions: From Graphs to High-Level Structures.
ICGT 2004: 287-303 |
