The SCEAS System
Navigation Menu

Search the dblp DataBase

Title:
Author:

Sabine Glesner: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]

Publications of Author

  1. Sabine Glesner
    ASMs versus Natural Semantics: A Comparison with New Insights. [Citation Graph (0, 0)][DBLP]
    Abstract State Machines, 2003, pp:293-308 [Conf]
  2. Sabine Glesner
    An ASM Semantics for SSA Intermediate Representations. [Citation Graph (0, 0)][DBLP]
    Abstract State Machines, 2004, pp:144-160 [Conf]
  3. 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]
  4. Sabine Glesner, Daphne Koller
    Constructing Flexible Dynamic Belief Networks from First-Order Probalistic Knowledge Bases. [Citation Graph (0, 0)][DBLP]
    ECSQARU, 1995, pp:217-226 [Conf]
  5. Sabine Glesner
    Program Checking with Certificates: Separating Correctness-Critical Code. [Citation Graph (0, 0)][DBLP]
    FME, 2003, pp:758-777 [Conf]
  6. 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]
  7. Sabine Glesner
    Natural Semantics for Imperative and Object-Oriented Programming Languages. [Citation Graph (0, 0)][DBLP]
    GI Jahrestagung, 1999, pp:370-379 [Conf]
  8. Sabine Glesner, Wolf Zimmermann
    Using many-sorted natural semantics to specify and generate semantic analysis. [Citation Graph (0, 0)][DBLP]
    Systems Implementation 2000, 1998, pp:249-262 [Conf]
  9. Thomas Kolbe, Sabine Glesner
    Many-Sorted Logic in a Learning Theorem Prover. [Citation Graph (0, 0)][DBLP]
    KI, 1997, pp:75-86 [Conf]
  10. 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]
  11. 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]
  12. Sabine Glesner, Karl Stroetmann
    Combining Inclusion Polymorphism and Parametric Polymorphism [Citation Graph (0, 0)][DBLP]
    CoRR, 1999, v:0, n:, pp:- [Journal]
  13. 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]
  14. Sabine Glesner
    A Proof Calculus for Natural Semantics Based on Greatest Fixed Point Semantics. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 2005, v:132, n:1, pp:73-93 [Journal]
  15. 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]
  16. Sabine Glesner, Simone Forster, Matthias Jäger
    A Program Result Checker for the Lexical Analysis of the GNU C Compiler. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 2005, v:132, n:1, pp:19-35 [Journal]
  17. Sabine Glesner, Rubino Geiß, Boris Boesler
    Verified Code Generation for Embedded Systems. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 2002, v:65, n:2, pp:- [Journal]
  18. Lars Gesellensetter, Sabine Glesner
    Only the Best Can Make It: Optimal Component Selection. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 2007, v:176, n:2, pp:105-124 [Journal]
  19. Sabine Glesner
    Finite Integer Computations: An Algebraic Foundation for Their Correctness. [Citation Graph (0, 0)][DBLP]
    Formal Asp. Comput., 2006, v:18, n:2, pp:244-262 [Journal]
  20. Sabine Glesner, Gerhard Goos, Wolf Zimmermann
    Verifix: Konstruktion und Architektur verifizierender Übersetzer (Verifix: Construction and Architecture of Verifying Compilers). [Citation Graph (0, 0)][DBLP]
    it - Information Technology, 2004, v:46, n:5, pp:265-276 [Journal]
  21. Sabine Glesner
    Using Program Checking to Ensure the Correctness of Compiler Implementations. [Citation Graph (0, 0)][DBLP]
    J. UCS, 2003, v:9, n:3, pp:191-222 [Journal]
  22. Sabine Glesner, Wolf Zimmermann
    Natural semantics as a static program analysis framework. [Citation Graph (0, 0)][DBLP]
    ACM Trans. Program. Lang. Syst., 2004, v:26, n:3, pp:510-577 [Journal]
  23. Sabine Glesner, Stefan Jähnichen, Barbara Paech, Bernhard Rumpe, Thomas Wetter, Alfred Winter
    Strategische Bedeutung des Software Engineering für die Medizin. [Citation Graph (0, 0)][DBLP]
    Software Engineering, 2007, pp:25-28 [Conf]
  24. 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]

  25. Model checking SystemC designs using timed automata. [Citation Graph (, )][DBLP]


  26. Interprocedural Speculative Optimization of Memory Accesses to Global Variables. [Citation Graph (, )][DBLP]


  27. Optimizing Aspect-Oriented Mechanisms for Embedded Applications. [Citation Graph (, )][DBLP]


  28. Verifying the Implementation of an Operating System Scheduler. [Citation Graph (, )][DBLP]


  29. Automated conformance evaluation of SystemC designs using timed automata. [Citation Graph (, )][DBLP]


  30. Combining Model Checking and Testing in a Continuous HW/SW Co-verification Process. [Citation Graph (, )][DBLP]


  31. Formal Verification with Isabelle/HOL in Practice: Finding a Bug in the GCC Scheduler. [Citation Graph (, )][DBLP]


  32. Preface. [Citation Graph (, )][DBLP]


  33. Optimizing Aspectual Execution Mechanisms for Embedded Applications. [Citation Graph (, )][DBLP]


Search in 2.378secs, Finished in 2.379secs
NOTICE1
System may not be available sometimes or not working properly, since it is still in development with continuous upgrades
NOTICE2
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 asidirop@csd.auth.gr [http://users.auth.gr/~asidirop/] © 2002
for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002