direkt zum Inhalt springen

direkt zum Hauptnavigationsmenü

Sie sind hier

TU Berlin

Page Content

Publications

<< previous [1]

2005

Jan Olaf Blech and Sabine Glesner and Johannes Leitner and Steffen Mülling (2005). Optimizing Code Generation from SSA Form: A Comparison Between Two Formal Correctness Proofs in Isabelle/HOL [8]. Proceedings of the COCV-Workshop (Compiler Optimization meets Compiler Verification), 8th European Conferences on Theory and Practice of Software (ETAPS 2005). Elsevier, 33-51.


Sabine Glesner and Jan Olaf Blech (2005). Logische und softwaretechnische Herausforderungen bei der Verifikation optimierender Compiler [9]. Proceedings der Tagung Software Engineering 2005. Lecture Notes in Informatics (LNI), 131-140.


Stefan Kopp and Lars Gesellensetter and Nicole Krämer and Ipke Wachsmuth (2005). A Conversational Agent as Museum Guide - Design and Evaluation of a Real-World Application [10]. The 5th International Working Conference on Intelligent Virtual Agents (IVA. Springer.


Andreas Humbert (2005). Entwurf und Implementierung einer Schnittstelle für SSA-Sprachen [11].


Jan Olaf Blech and Lars Gesellensetter and Sabine Glesner (2005). Formal Verification of Dead Code Elimination in Isabelle/HOL [12]. Proceedings of the 3rd IEEE International Conference on Software Engineering and Formal Methods. IEEE Computer Society Press, 200-209.


Sabine Glesner (2005). An Introduction to (Co)Algebras and (Co)Induction and their Application to the Semantics of Programming Languages [13].


2004

Sabine Glesner (2004). Verification of Optimizing Compilers [14]. Fakultät für Informatik, Universität Karlsruhe


Jan Olaf Blech and Sabine Glesner (2004). A Formal Correctness Proof for Code Generation from SSA Form in Isabelle/HOL [15]. Proceedings der 3. Arbeitstagung Programmiersprachen (ATPS) auf der 34. Jahrestagung der Gesellschaft für Informatik. Lecture Notes in Informatics, 449 - 458.


Sabine Glesner and G. Goos and F. v. Henke and H. Langmaack and W. Goerigk and W. Zimmermann (2004). Abschlussbericht Verifix [16]. Bericht zur Vorlage bei der Deutschen Forschungsgemeinschaft


Sabine Glesner and Wolf Zimmermann (2004). Natural Semantics as a Static Program Analysis Framework [17]. ACM Transactions on Programming Languages and Systems (TOPLAS), 510-577.


Sabine Glesner and Gerhard Goos and Wolf Zimmermann (2004). Verifix: Konstruktion und Architektur verifizierender Übersetzer (Verifix: Construction and Architecture of Verifying Compilers) [18]. it - Information Technology, 265 - 276.


Sabine Glesner (2004). An ASM Semantics for SSA Intermediate Representations [19]. Proceedings of the 11th International Workshop on Abstract State Machines. Springer Verlag, Lecture Notes in Computer Science, 144 - 160.


Sabine Glesner and Simone Forster and Matthias Jäger (2004). A Program Result Checker for the Lexical Analysis of the GNU C Compiler [20]. Proceedings of the COCV-Workshop (Compiler Optimization meets Compiler Verification), 7th European Conferences on Theory and Practice of Software (ETAPS 2004). Elsevier, Electronic Notes in Theoretical Computer Science (ENTCS), 19 - 35.


Sabine Glesner (2004). A Proof Calculus for Natural Semantics Based on Greatest Fixed Point Semantics [21]. Proceedings of the COCV-Workshop (Compiler Optimization meets Compiler Verification), 7th European Conferences on Theory and Practice of Software (ETAPS 2004). Elsevier, Electronic Notes in Theoretical Computer Science (ENTCS), 73 - 93.


Jan Olaf Blech (2004). Eine formale Semantik für SSA-Zwischensprachen in Isabelle/HOL [22].


2003

Sabine Glesner (2003). Program Checking with Certificates: Separating Correctness-Critical Code [23]. Proceedings of the 12th International FME Symposium (Formal Methods Europe). Springer Verlag, Lecture Notes in Computer Science, Vol. 2805, 758-777.


Sabine Glesner and Jan Olaf Blech (2003). Classifying and Formally Verifying Integer Constant Folding [24]. Proceedings of the Workshop COCV 2003: Compiler Optimization meets Compiler Verification. Electronic Notes in Theoretical Computer Science (ENTCS), Vol. 82, No. 2.


Sabine Glesner (2003). Using Program Checking to Ensure the Correctness of Compiler Implementations [25]. Journal of Universal Computer Science (J.UCS), 191-222.


Sabine Glesner (2003). ASMs versus Natural Semantics: A Comparison with New Insights [26]. Abstract State Machines - Advances in Theory and Applications, Proceedings of the 10th International Workshop, ASM 2003. Springer Verlag, Lecture Notes in Computer Science, Vol. 2589, 293-308.


Jan Olaf Blech (2003). Spezifikation und maschinelle Verifikation von Konstantenfaltung in Übersetzern [27].


2002

Sabine Glesner and Rubino Geiß and Boris Boesler (2002). Verified Code Generation for Embedded Systems [28]. In Proceedings of the COCV-Workshop 2002 (Compiler Optimization meets Compiler Verification). 5th European Conferences on Theory and Practice of Software (ETAPS 2002), 1-18.


2001

Sabine Glesner and Wolf Zimmermann (2001). Structural Simulation Proofs based on ASMs even for Non-Terminating Programs [29]. Proceedings of the ASM-Workshop, Eight International Conference on Computer Aided Systems Theory EUROCAST 2001, 235-238.


1999

Sabine Glesner (1999). Natural Semantics for Imperative and Object-Oriented Programming Languages [30]. Proceedings der 29. Jahrestagung der Gesellschaft für Informatik, Arbeitstagung Programmiersprachen. Springer Verlag, 370-379.


Sabine Glesner (1999). Natürliche Semantik für imperative und objektorientierte Programmiersprachen [31]. Shaker Verlag.


Sabine Glesner and Karl Stroetmann (1999). Combining Inclusion Polymorphism and Parametric Polymorphism [32]. Computing Research Repository: Logic in Computer Science Document ID: xxx.cs.LO/9906013, NCSTRL-Server http://www.ncstrl.org/.


1998

Sabine Glesner and Wolf Zimmermann (1998). Using Many-Sorted Natural Semantics to Specify and Generate Semantic Analysis [33]. Proceedings of the Systems Implementation Conference (SI2000). Chapman & Hall, 249-262.


Sabine Glesner (1998). Many-Sorted Natural Semantics - Specification and Generation of the Semantic Analysis for Imperative and Object-Oriented Programming Languages [34]. Proceedings of the Workshop on Functional and Logic Programming


1997

Thomas Kolbe and Sabine Glesner (1997). Many-Sorted Logic in a Learning Theorem Prover [35]. Proceedings of the 21st German Annual Conference on Artificial Intelligence (KI'97). Springer Verlag, Lecture Notes in Computer Science, 75-86.

Link to original publication [36]

Sabine Glesner and Wolf Zimmermann (1997). Using Many-Sorted Inference Rules to Generate Semantic Analysis [37]. Proceedings des Workshops der Informatik- Graduiertenkollegs "Promotion tut not: Innovationsmotor Graduiertenkolleg" im Rahmen der GI-Jahrestagung 1997. Verlag der Augustinus Buchhandlung (Aachener Beiträge zur Informatik, Band 21), Otto Spaniol (Hrsg.).


1995

Sabine Glesner and Daphne Koller (1995). Constructing Flexible Dynamic Belief Networks from First-Order Probabilistic Knowledge Bases [38]. Proceedings of the European Conference on Symbolic and Quantitative Approaches to Reasoning under Uncertainty (ECSQARU. Springer Verlag, Lecture Notes in Artificial Intelligence, 217-226.

Link to original publication [39]

<< previous [40]
------ Links: ------

Zusatzinformationen / Extras

Quick Access:

Schnellnavigation zur Seite über Nummerneingabe

Copyright TU Berlin 2008