| 2007 |
|---|
| 9 | EE | Jan Olaf Blech,
Ina Schaefer,
Arnd Poetzsch-Heffter:
Translation Validation of System Abstractions.
RV 2007: 139-150 |
| 8 | EE | Sabine Glesner,
Johannes Leitner,
Jan Olaf Blech:
Coinductive Verification of Program Optimizations Using Similarity Relations.
Electr. Notes Theor. Comput. Sci. 176(3): 61-77 (2007) |
| 7 | EE | Jan Olaf Blech,
Arnd Poetzsch-Heffter:
A Certifying Code Generation Phase.
Electr. Notes Theor. Comput. Sci. 190(4): 65-82 (2007) |
| 2005 |
|---|
| 6 | EE | Jan Olaf Blech,
Lars Gesellensetter,
Sabine Glesner:
Formal Verification of Dead Code Elimination in Isabelle/HOL.
SEFM 2005: 200-209 |
| 5 | | Sabine Glesner,
Jan Olaf Blech:
Logische und softwaretechnische Herausforderungen bei der Verifikation optimierender Compiler.
Software Engineering 2005: 131-140 |
| 4 | EE | Jan Olaf Blech,
Sabine Glesner,
Johannes Leitner,
Steffen Mülling:
Optimizing Code Generation from SSA Form: A Comparison Between Two Formal Correctness Proofs in Isabelle/HOL.
Electr. Notes Theor. Comput. Sci. 141(2): 33-51 (2005) |
| 2004 |
|---|
| 3 | EE | Sabine Glesner,
Jan Olaf Blech:
Coalgebraic Semantics for Component Systems.
Architecting Systems with Trustworthy Components 2004: 245-261 |
| 2 | | Jan Olaf Blech,
Sabine Glesner:
A Formal Correctness Proof for Code Generation from SSA Form in Isabelle/HOL.
GI Jahrestagung (2) 2004: 449-458 |
| 2003 |
|---|
| 1 | EE | Sabine Glesner,
Jan Olaf Blech:
Classifying and Formally Verifying Integer Constant Folding.
Electr. Notes Theor. Comput. Sci. 82(2): (2003) |
