 | 2009 |
|---|
| 34 |       | Paula Herber,
Florian Friedemann,
Sabine Glesner:
Combining Model Checking and Testing in a Continuous HW/SW Co-verification Process.
TAP 2009: 121-136 |
| 33 | | Moritz Kleine,
Björn Bartels,
Thomas Göthel,
Sabine Glesner:
Verifying the Implementation of an Operating System Scheduler.
TASE 2009: 285-286 |
| 32 | | Sabine Glesner:
IFE has become CSRD.
Computer Science - R&D 23(1): 1-2 (2009) |
| 31 | | Christine Hundt,
Sabine Glesner:
Optimizing Aspectual Execution Mechanisms for Embedded Applications.
Electr. Notes Theor. Comput. Sci. 238(2): 35-45 (2009) |
| 2008 |
|---|
| 30 | | Paula Herber,
Joachim Fellmuth,
Sabine Glesner:
Model checking SystemC designs using timed automata.
CODES+ISSS 2008: 131-136 |
| 29 | | Lars Gesellensetter,
Sabine Glesner:
Interprocedural Speculative Optimization of Memory Accesses to Global Variables.
Euro-Par 2008: 350-359 |
| 28 | | Sabine Glesner,
Stefan Jähnichen,
Barbara Paech,
Bernhard Rumpe,
Thomas Wetter,
Alfred Winter:
Manifest: Strategische Bedeutung des Software Engineering für die Medizin.
Computer Science - Research and Development 22(3): 127-135 (2008) |
| 2007 |
|---|
| 27 | | Lars Gesellensetter,
Sabine Glesner,
Elke Salecker:
Formal Verification with Isabelle/HOL in Practice: Finding a Bug in the GCC Scheduler.
FMICS 2007: 85-100 |
| 26 |  | Sabine Glesner,
Stefan Jähnichen,
Barbara Paech,
Bernhard Rumpe,
Thomas Wetter,
Alfred Winter:
Strategische Bedeutung des Software Engineering für die Medizin.
Software Engineering 2007: 25-28 |
| 25 | | Lars Gesellensetter,
Sabine Glesner:
Only the Best Can Make It: Optimal Component Selection.
Electr. Notes Theor. Comput. Sci. 176(2): 105-124 (2007) |
| 24 | | 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) |
| 23 | | Sabine Glesner,
Jens Knoop,
Rolf Drechsler:
Preface.
Electr. Notes Theor. Comput. Sci. 190(4): 1-2 (2007) |
| 22 | | Sabine Glesner:
Editorial.
Inform., Forsch. Entwickl. 22(1): 1 (2007) |
| 2006 |
|---|
| 21 | | Sabine Glesner:
Finite Integer Computations: An Algebraic Foundation for Their Correctness.
Formal Asp. Comput. 18(2): 244-262 (2006) |
| 2005 |
|---|
| 20 | | Jan Olaf Blech,
Lars Gesellensetter,
Sabine Glesner:
Formal Verification of Dead Code Elimination in Isabelle/HOL.
SEFM 2005: 200-209 |
| 19 | | Sabine Glesner,
Jan Olaf Blech:
Logische und softwaretechnische Herausforderungen bei der Verifikation optimierender Compiler.
Software Engineering 2005: 131-140 |
| 18 | | Sabine Glesner,
Simone Forster,
Matthias Jäger:
A Program Result Checker for the Lexical Analysis of the GNU C Compiler.
Electr. Notes Theor. Comput. Sci. 132(1): 19-35 (2005) |
| 17 | | Sabine Glesner:
A Proof Calculus for Natural Semantics Based on Greatest Fixed Point Semantics.
Electr. Notes Theor. Comput. Sci. 132(1): 73-93 (2005) |
| 16 | | 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 |
|---|
| 15 | | Sabine Glesner:
An ASM Semantics for SSA Intermediate Representations.
Abstract State Machines 2004: 144-160 |
| 14 | | Sabine Glesner,
Jan Olaf Blech:
Coalgebraic Semantics for Component Systems.
Architecting Systems with Trustworthy Components 2004: 245-261 |
| 13 | | Jan Olaf Blech,
Sabine Glesner:
A Formal Correctness Proof for Code Generation from SSA Form in Isabelle/HOL.
GI Jahrestagung (2) 2004: 449-458 |
| 12 | | Sabine Glesner,
Wolf Zimmermann:
Natural semantics as a static program analysis framework.
ACM Trans. Program. Lang. Syst. 26(3): 510-577 (2004) |
| 11 | | Sabine Glesner,
Gerhard Goos,
Wolf Zimmermann:
Verifix: Konstruktion und Architektur verifizierender Übersetzer (Verifix: Construction and Architecture of Verifying Compilers).
it - Information Technology 46(5): 265-276 (2004) |
| 2003 |
|---|
| 10 | | Sabine Glesner:
ASMs versus Natural Semantics: A Comparison with New Insights.
Abstract State Machines 2003: 293-308 |
| 9 | | Sabine Glesner:
Program Checking with Certificates: Separating Correctness-Critical Code.
FME 2003: 758-777 |
| 8 | | Sabine Glesner,
Jan Olaf Blech:
Classifying and Formally Verifying Integer Constant Folding.
Electr. Notes Theor. Comput. Sci. 82(2): (2003) |
| 7 | | Sabine Glesner:
Using Program Checking to Ensure the Correctness of Compiler Implementations.
J. UCS 9(3): 191-222 (2003) |
| 2002 |
|---|
| 6 | | Sabine Glesner,
Rubino Geiß,
Boris Boesler:
Verified Code Generation for Embedded Systems.
Electr. Notes Theor. Comput. Sci. 65(2): (2002) |
| 1999 |
|---|
| 5 | | Sabine Glesner:
Natural Semantics for Imperative and Object-Oriented Programming Languages.
GI Jahrestagung 1999: 370-379 |
| 4 | | Sabine Glesner,
Karl Stroetmann:
Combining Inclusion Polymorphism and Parametric Polymorphism
CoRR cs.LO/9906013: (1999) |
| 1998 |
|---|
| 3 | | Sabine Glesner,
Wolf Zimmermann:
Using many-sorted natural semantics to specify and generate semantic analysis.
Systems Implementation 2000 1998: 249-262 |
| 1997 |
|---|
| 2 | | Thomas Kolbe,
Sabine Glesner:
Many-Sorted Logic in a Learning Theorem Prover.
KI 1997: 75-86 |
| 1995 |
|---|
| 1 | | Sabine Glesner,
Daphne Koller:
Constructing Flexible Dynamic Belief Networks from First-Order Probalistic Knowledge Bases.
ECSQARU 1995: 217-226 |
