Please note: This is a beta version of the new dblp website.
You can find the classic dblp view of this page here.
You can find the classic dblp view of this page here.
Sabine Glesner
2010 – today
- 2013
[c39]Daniel Stöhr, Sabine Glesner: Towards Automated and Correct Composition of Timed Services. ICSOC Workshops 2013: 319-331- [c38]Helena Gruhn, Sabine Glesner: Towards a Formal Framework for Mobile, Service-Oriented Sensor-Actuator Networks. FESCA 2013: 49-62
- 2012
- [j19]Marcel Pockrandt, Paula Herber, Holger Gross, Sabine Glesner: Optimized Transformation and Verification of SystemC Methods. ECEASST 53 (2012)
- [c37]Dirk Tetzlaff, Sabine Glesner: Static prediction of recursion frequency using machine learning to enable hot spot optimizations. ESTImedia 2012: 42-51
- [c36]
- [c35]Elke Salecker, Sabine Glesner: Combinatorial Interaction Testing for Test Selection in Grammar-Based Testing. ICST 2012: 610-619
- [c34]
- [c33]Daniel Stöhr, Sabine Glesner: Automated Composition of Timed Services by Planning as Model Checking. ZEUS 2012: 34-41
- 2011
- [c32]Björn Bartels, Sabine Glesner: Verification of Distributed Embedded Real-Time Systems and their Low-Level Implementations Using Timed CSP. APSEC 2011: 195-202
- [c31]Michael Beyer, Sabine Glesner: Static Analysis of Run-Time Modes in Synchronous Process Network. Ershov Memorial Conference 2011: 55-67
- [c30]Marcel Pockrandt, Paula Herber, Sabine Glesner: Model checking a SystemC/TLM design of the AMBA AHB protocol. ESTImedia 2011: 66-75
- [c29]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
- [c28]Elke Salecker, Robert Reicherdt, Sabine Glesner: Calculating Prioritized Interaction Test Sets with Constraints Using Binary Decision Diagrams. ICST Workshops 2011: 278-285
- [c27]Wei Hu, Joachim Wegener, Ingo Stürmer, Robert Reicherdt, Elke Salecker, Sabine Glesner: MeMo - Methods of Model Quality. MBEES 2011: 127-132
- [c26]Paula Herber, Marcel Pockrandt, Sabine Glesner: Transforming SystemC Transaction Level Models into UPPAAL timed automata. MEMOCODE 2011: 161-170
- [c25]Michael Beyer, Sabine Glesner: Static run-time mode extraction by state partitioning in synchronous process networks. SCOPES 2011: 28-37
- 2010
- [j18]Björn Bartels, Sabine Glesner, Thomas Göthel: Model Transformations to Mitigate the Semantic Gap in Embedded Systems Verification. ECEASST 30 (2010)
- [j17]Thomas Göthel, Sabine Glesner: An approach for machine-assisted verification of Timed CSP specifications. ISSE 6(3): 181-193 (2010)
- [c24]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
- [c23]Paula Herber, Marcel Pockrandt, Sabine Glesner: Automated conformance evaluation of SystemC designs using timed automata. European Test Symposium 2010: 188-193
- [c22]
- [c21]Björn Bartels, Sabine Glesner: Formal Modeling and Verification of Low-Level Software Programs. QSIC 2010: 200-207
- [c20]Thomas Göthel, Sabine Glesner: Towards the Semi-Automatic Verification of Parameterized Real-Time Systems Using Network Invariants. SEFM 2010: 310-314
- [c19]Christine Hundt, Daniel Stöhr, Sabine Glesner: Optimizing Aspect-Oriented Mechanisms for Embedded Applications. TOOLS (48) 2010: 137-153
2000 – 2009
- 2009
- [j16]Christine Hundt, Sabine Glesner: Optimizing Aspectual Execution Mechanisms for Embedded Applications. Electr. Notes Theor. Comput. Sci. 238(2): 35-45 (2009)
- [j15]
- [c18]
- [c17]Paula Herber, Florian Friedemann, Sabine Glesner: Combining Model Checking and Testing in a Continuous HW/SW Co-verification Process. TAP 2009: 121-136
- [c16]Moritz Kleine, Björn Bartels, Thomas Göthel, Sabine Glesner: Verifying the Implementation of an Operating System Scheduler. TASE 2009: 285-286
- 2008
- [j14]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)
- [c15]Paula Herber, Joachim Fellmuth, Sabine Glesner: Model checking SystemC designs using timed automata. CODES+ISSS 2008: 131-136
- [c14]Lars Gesellensetter, Sabine Glesner: Interprocedural Speculative Optimization of Memory Accesses to Global Variables. Euro-Par 2008: 350-359
- 2007
- [j13]Lars Gesellensetter, Sabine Glesner: Only the Best Can Make It: Optimal Component Selection. Electr. Notes Theor. Comput. Sci. 176(2): 105-124 (2007)
- [j12]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)
- [j11]Sabine Glesner, Jens Knoop, Rolf Drechsler: Preface. Electr. Notes Theor. Comput. Sci. 190(4): 1-2 (2007)
- [j10]
- [c13]Lars Gesellensetter, Sabine Glesner, Elke Salecker: Formal Verification with Isabelle/HOL in Practice: Finding a Bug in the GCC Scheduler. FMICS 2007: 85-100
- [c12]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
- 2006
- [j9]Sabine Glesner: Finite Integer Computations: An Algebraic Foundation for Their Correctness. Formal Asp. Comput. 18(2): 244-262 (2006)
- 2005
- [j8]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)
- [j7]Sabine Glesner: A Proof Calculus for Natural Semantics Based on Greatest Fixed Point Semantics. Electr. Notes Theor. Comput. Sci. 132(1): 73-93 (2005)
- [j6]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)
- [c11]Sabine Glesner, Jan Olaf Blech: Logische und softwaretechnische Herausforderungen bei der Verifikation optimierender Compiler. Software Engineering 2005: 131-140
- [c10]Jan Olaf Blech, Lars Gesellensetter, Sabine Glesner: Formal Verification of Dead Code Elimination in Isabelle/HOL. SEFM 2005: 200-209
- 2004
- [j5]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)
- [j4]Sabine Glesner, Wolf Zimmermann: Natural semantics as a static program analysis framework. ACM Trans. Program. Lang. Syst. 26(3): 510-577 (2004)
- [c9]Sabine Glesner: An ASM Semantics for SSA Intermediate Representations. Abstract State Machines 2004: 144-160
- [c8]Sabine Glesner, Jan Olaf Blech: Coalgebraic Semantics for Component Systems. Architecting Systems with Trustworthy Components 2004: 245-261
- [c7]Jan Olaf Blech, Sabine Glesner: A Formal Correctness Proof for Code Generation from SSA Form in Isabelle/HOL. GI Jahrestagung (2) 2004: 449-458
- 2003
- [j3]Sabine Glesner, Jan Olaf Blech: Classifying and Formally Verifying Integer Constant Folding. Electr. Notes Theor. Comput. Sci. 82(2): 410-425 (2003)
- [j2]Sabine Glesner: Using Program Checking to Ensure the Correctness of Compiler Implementations. J. UCS 9(3): 191-222 (2003)
- [c6]Sabine Glesner: ASMs versus Natural Semantics: A Comparison with New Insights. Abstract State Machines 2003: 293-308
- [c5]Sabine Glesner: Program Checking with Certificates: Separating Correctness-Critical Code. FME 2003: 758-777
- 2002
- [j1]Sabine Glesner, Rubino Geiß, Boris Boesler: Verified Code Generation for Embedded Systems. Electr. Notes Theor. Comput. Sci. 65(2): 19-36 (2002)
1990 – 1999
- 1999
- [c4]Sabine Glesner: Natural Semantics for Imperative and Object-Oriented Programming Languages. GI Jahrestagung 1999: 370-379
- [i1]Sabine Glesner, Karl Stroetmann: Combining Inclusion Polymorphism and Parametric Polymorphism. CoRR cs.LO/9906013 (1999)
- 1998
- [c3]Sabine Glesner, Wolf Zimmermann: Using many-sorted natural semantics to specify and generate semantic analysis. Systems Implementation 2000 1998: 249-262
- 1997
- [c2]
- 1995
- [c1]Sabine Glesner, Daphne Koller: Constructing Flexible Dynamic Belief Networks from First-Order Probalistic Knowledge Bases. ECSQARU 1995: 217-226
Coauthor Index
data released under the ODC-BY 1.0 license. See also our legal information page
last updated on 2013-06-12 21:33 CEST by the dblp team