The SCEAS System
Navigation Menu

Search the dblp DataBase


Jan Olaf Blech: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]

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]

Search in 0.002secs, Finished in 0.003secs
System may not be available sometimes or not working properly, since it is still in development with continuous upgrades
The rankings that are presented on this page should NOT be considered as formal since the citation info is incomplete in DBLP
System created by [] © 2002
for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002