dblp.uni-trier.dewww.uni-trier.de

Sabine Glesner Vis

List of publications from the DBLP Bibliography Server - FAQ
Coauthor Index - Ask others: ACM DL/Guide - CiteSeerX - CSB - MetaPress - Google - Bing - Yahoo
Home Page

*2009
34EEPaula Herber, Florian Friedemann, Sabine Glesner: Combining Model Checking and Testing in a Continuous HW/SW Co-verification Process. TAP 2009: 121-136
33EEMoritz Kleine, Björn Bartels, Thomas Göthel, Sabine Glesner: Verifying the Implementation of an Operating System Scheduler. TASE 2009: 285-286
32EESabine Glesner: IFE has become CSRD. Computer Science - R&D 23(1): 1-2 (2009)
31EEChristine Hundt, Sabine Glesner: Optimizing Aspectual Execution Mechanisms for Embedded Applications. Electr. Notes Theor. Comput. Sci. 238(2): 35-45 (2009)
2008
30EEPaula Herber, Joachim Fellmuth, Sabine Glesner: Model checking SystemC designs using timed automata. CODES+ISSS 2008: 131-136
29EELars Gesellensetter, Sabine Glesner: Interprocedural Speculative Optimization of Memory Accesses to Global Variables. Euro-Par 2008: 350-359
28EESabine 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
27EELars 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
25EELars Gesellensetter, Sabine Glesner: Only the Best Can Make It: Optimal Component Selection. Electr. Notes Theor. Comput. Sci. 176(2): 105-124 (2007)
24EESabine Glesner, Johannes Leitner, Jan Olaf Blech: Coinductive Verification of Program Optimizations Using Similarity Relations. Electr. Notes Theor. Comput. Sci. 176(3): 61-77 (2007)
23EESabine Glesner, Jens Knoop, Rolf Drechsler: Preface. Electr. Notes Theor. Comput. Sci. 190(4): 1-2 (2007)
22EESabine Glesner: Editorial. Inform., Forsch. Entwickl. 22(1): 1 (2007)
2006
21EESabine Glesner: Finite Integer Computations: An Algebraic Foundation for Their Correctness. Formal Asp. Comput. 18(2): 244-262 (2006)
2005
20EEJan 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
18EESabine 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)
17EESabine Glesner: A Proof Calculus for Natural Semantics Based on Greatest Fixed Point Semantics. Electr. Notes Theor. Comput. Sci. 132(1): 73-93 (2005)
16EEJan 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
15EESabine Glesner: An ASM Semantics for SSA Intermediate Representations. Abstract State Machines 2004: 144-160
14EESabine 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
12EESabine Glesner, Wolf Zimmermann: Natural semantics as a static program analysis framework. ACM Trans. Program. Lang. Syst. 26(3): 510-577 (2004)
11EESabine 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
10EESabine Glesner: ASMs versus Natural Semantics: A Comparison with New Insights. Abstract State Machines 2003: 293-308
9EESabine Glesner: Program Checking with Certificates: Separating Correctness-Critical Code. FME 2003: 758-777
8EESabine Glesner, Jan Olaf Blech: Classifying and Formally Verifying Integer Constant Folding. Electr. Notes Theor. Comput. Sci. 82(2): (2003)
7EESabine Glesner: Using Program Checking to Ensure the Correctness of Compiler Implementations. J. UCS 9(3): 191-222 (2003)
2002
6EESabine 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
4EESabine 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

Coauthor Index

1Björn Bartels [33]
2Jan Olaf Blech [8] [13] [14] [16] [19] [20] [24]
3Boris Boesler [6]
4Rolf Drechsler [23]
5Joachim Fellmuth [30]
6Simone Forster [18]
7Florian Friedemann [34]
8Rubino Geiß [6]
9Lars Gesellensetter [20] [25] [27] [29]
10Gerhard Goos [11]
11Thomas Göthel [33]
12Paula Herber [30] [34]
13Christine Hundt [31]
14Matthias Jäger [18]
15Stefan Jähnichen [26] [28]
16Moritz Kleine [33]
17Jens Knoop [23]
18Thomas Kolbe [2]
19Daphne Koller [1]
20Johannes Leitner [16] [24]
21Steffen Mülling [16]
22Barbara Paech [26] [28]
23Bernhard Rumpe [26] [28]
24Elke Salecker [27]
25Karl Stroetmann [4]
26Thomas Wetter [26] [28]
27Alfred Winter [26] [28]
28Wolf Zimmermann [3] [11] [12]

Colors in the list of coauthors

Copyright © Tue Nov 3 08:52:44 2009 by Michael Ley (ley@uni-trier.de)