Search the dblp DataBase

Publications of Author

1. Sabine Glesner, Jan Olaf Blech
   Coalgebraic Semantics for Component Systems. [Citation Graph (0, 0)][DBLP]
   Architecting Systems with Trustworthy Components, 2004, pp:245-261 [Conf]
   
2. Jan Olaf Blech, Sabine Glesner
   A Formal Correctness Proof for Code Generation from SSA Form in Isabelle/HOL. [Citation Graph (0, 0)][DBLP]
   GI Jahrestagung (2), 2004, pp:449-458 [Conf]
   
3. Sabine Glesner, Jan Olaf Blech
   Logische und softwaretechnische Herausforderungen bei der Verifikation optimierender Compiler. [Citation Graph (0, 0)][DBLP]
   Software Engineering, 2005, pp:131-140 [Conf]
   
4. Jan Olaf Blech, Lars Gesellensetter, Sabine Glesner
   Formal Verification of Dead Code Elimination in Isabelle/HOL. [Citation Graph (0, 0)][DBLP]
   SEFM, 2005, pp:200-209 [Conf]
   
5. 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. [Citation Graph (0, 0)][DBLP]
   Electr. Notes Theor. Comput. Sci., 2005, v:141, n:2, pp:33-51 [Journal]
   
6. Sabine Glesner, Jan Olaf Blech
   Classifying and Formally Verifying Integer Constant Folding. [Citation Graph (0, 0)][DBLP]
   Electr. Notes Theor. Comput. Sci., 2003, v:82, n:2, pp:- [Journal]
   
7. Sabine Glesner, Johannes Leitner, Jan Olaf Blech
   Coinductive Verification of Program Optimizations Using Similarity Relations. [Citation Graph (0, 0)][DBLP]
   Electr. Notes Theor. Comput. Sci., 2007, v:176, n:3, pp:61-77 [Journal]
   
8. 
   Translation Validation of System Abstractions. [Citation Graph (, )][DBLP]
   
   
9. 
   A Certifying Code Generation Phase. [Citation Graph (, )][DBLP]