Karl-Heinz Pennemann

According to our database, Karl-Heinz Pennemann authored at least 12 papers between 2004 and 2009.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2009

Development of correct graph transformation systems.

Karl-Heinz Pennemann

PhD thesis, 2009

Correctness of high-level transformation systems relative to nested conditions.

Annegret Habel, Karl-Heinz Pennemann

Math. Struct. Comput. Sci., 2009

2008

Type Checking C++ Template Instantiation by Graph Programs.

Karl Azab, Karl-Heinz Pennemann

Electron. Commun. Eur. Assoc. Softw. Sci. Technol., 2008

Development of Correct Graph Transformation Systems.

Karl-Heinz Pennemann

Proceedings of the Graph Transformations, 4th International Conference, 2008

Resolution-Like Theorem Proving for High-Level Conditions.

Karl-Heinz Pennemann

Proceedings of the Graph Transformations, 4th International Conference, 2008

2007

An Algorithm for Approximating the Satisfiability Problem of High-level Conditions.

Karl-Heinz Pennemann

Proceedings of the Third Workshop on Graph Transformation for Concurrency and Verification, 2007

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

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

Weakest Preconditions for High-Level Programs.

Annegret Habel, Karl-Heinz Pennemann, Arend Rensink

Proceedings of the Graph Transformations, Third International Conference, 2006

Satisfiability of High-Level Conditions.

Annegret Habel, Karl-Heinz Pennemann

Proceedings of the Graph Transformations, Third International Conference, 2006

2005

Nested Constraints and Application Conditions for High-Level Structures.

Annegret Habel, Karl-Heinz Pennemann

Proceedings of the Formal Methods in Software and Systems Modeling, 2005

2004

Constraints and Application Conditions: From Graphs to High-Level Structures.

Hartmut Ehrig, Karsten Ehrig, Annegret Habel, Karl-Heinz Pennemann

Proceedings of the Graph Transformations, Second International Conference, 2004