 | 2012 |
|---|
| 50 |       | Dirk Tetzlaff,
Sabine Glesner:
Making MPI Intelligent.
Software Engineering (Workshops) 2012: 75-88 |
| 49 | | Daniel Stöhr,
Sabine Glesner:
Automated Composition of Timed Services by Planning as Model Checking.
ZEUS 2012: 34-41 |
| 2011 |
|---|
| 48 | | Björn Bartels,
Sabine Glesner:
Verification of Distributed Embedded Real-Time Systems and their Low-Level Implementations Using Timed CSP.
APSEC 2011: 195-202 |
| 47 | | Marcel Pockrandt,
Paula Herber,
Sabine Glesner:
Model checking a SystemC/TLM design of the AMBA AHB protocol.
ESTImedia 2011: 66-75 |
| 46 | | Michael Beyer,
Sabine Glesner:
Static Analysis of Run-Time Modes in Synchronous Process Network.
Ershov Memorial Conference 2011: 55-67 |
| 45 | | Joachim Hänsel,
Daniela Rose,
Paula Herber,
Sabine Glesner:
An Evolutionary Algorithm for the Generation of Timed Test Traces for Embedded Real-Time Systems.
ICST 2011: 170-179 |
| 44 | | Paula Herber,
Marcel Pockrandt,
Sabine Glesner:
Transforming SystemC Transaction Level Models into UPPAAL timed automata.
MEMOCODE 2011: 161-170 |
| 43 | | Michael Beyer,
Sabine Glesner:
Static run-time mode extraction by state partitioning in synchronous process networks.
SCOPES 2011: 28-37 |
| 2010 |
|---|
| 42 | | Paula Herber,
Marcel Pockrandt,
Sabine Glesner:
Automated conformance evaluation of SystemC designs using timed automata.
European Test Symposium 2010: 188-193 |
| 41 | | Elke Salecker,
Sabine Glesner:
Pairwise test set calculation using k-partite graphs.
ICSM 2010: 1-5 |
| 40 | | Björn Bartels,
Sabine Glesner:
Formal Modeling and Verification of Low-Level Software Programs.
QSIC 2010: 200-207 |
| 39 | | Thomas Göthel,
Sabine Glesner:
Towards the Semi-Automatic Verification of Parameterized Real-Time Systems Using Network Invariants.
SEFM 2010: 310-314 |
| 38 | | Christine Hundt,
Daniel Stöhr,
Sabine Glesner:
Optimizing Aspect-Oriented Mechanisms for Embedded Applications.
TOOLS (48) 2010: 137-153 |
| 37 | | Sabine Glesner,
Björn Bartels,
Thomas Göthel,
Moritz Kleine:
The VATES-Diamond as a Verifier's Best Friend.
Verification, Induction, Termination Analysis 2010: 81-101 |
| 36 | | Björn Bartels,
Sabine Glesner,
Thomas Göthel:
Model Transformations to Mitigate the Semantic Gap in Embedded Systems Verification.
ECEASST 30: (2010) |
| 35 | | Thomas Göthel,
Sabine Glesner:
An approach for machine-assisted verification of Timed CSP specifications.
ISSE 6(3): 181-193 (2010) |
| 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.
Inform., Forsch. Entwickl. 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): 410-425 (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): 19-36 (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 |
Data released under the ODC-BY 1.0 license — See also our legal information page