ifelse( LANG, deu,`Ort', `Location' )
ETH Zürich, ITIK, 6.5.97
Presentations and Talks |
| ifelse( LANG, deu,`Titel',`Title' ) |
ifelse( LANG, deu,`Autor', `Author' ) ifelse( LANG, deu,`Ort', `Location' ) |
ifelse( LANG, deu,`Kurz- fassung', `Abstract' ) | ifelse( LANG, deu,`Folien', `Slides' ) | ifelse( LANG, deu,`WWW', `WWW' ) |
|---|---|---|---|---|
| 1999 | ||||
| Maschinelle Verifikation von Übersetzungsprozessen | A.Dold |
|
||
| VERIFIX-Kolloquium, FAW Ulm, 1/1999 | ||||
| Programmprüfung in Übersetzern und Übersetzergeneratoren | T.Gaul |
|
|
|
| VERIFIX-Kolloquium, FAW Ulm, 1/1999 | ||||
| Programmprüfung | W.Goerigk |
|
||
| VERIFIX-Kolloquium, FAW Ulm, 1/1999 | ||||
| Verifix: Projekt, Ziele, Ergebnisse | G.Goos |
|
||
| VERIFIX-Kolloquium, FAW Ulm, 1/1999 | ||||
| Transformationsverifikation | A.Heberle |
|
|
|
| VERIFIX-Kolloquium, FAW Ulm, 1/1999 | ||||
| Maschinell unterstützte Verifikation | F.v.Henke |
|
||
| VERIFIX-Kolloquium, FAW Ulm, 1/1999 | ||||
| Übersetzerimplementierungsverifikation | U.Hoffmann |
|
||
| VERIFIX-Kolloquium, FAW Ulm, 1/1999 | ||||
| Erreichtes und Perspektiven | H.Langmaack |
|
||
| VERIFIX-Kolloquium, FAW Ulm, 1/1999 | ||||
| ASM's: Spezifikation dynamischer Semantik und Simulation | W.Zimmermann |
|
||
| VERIFIX-Kolloquium, FAW Ulm, 1/1999 | ||||
| 1998 | ||||
| Korrekte Übersetzerkonstruktion in PVS | A.Dold |
|
||
| Workshop on Software Verification, Validation and Certification, Kiel, 6/1998 | ||||
| Representing, Verifying and Applying Generic Software Development Steps using PVS | A.Dold |
|
||
| Dagstuhl Seminar on Generic Programming, April 1998 | ||||
| ASM-Based Mechanized Verification of Compiler Backends | A.Dold |
|
|
|
| ASM-Workshop, Magdeburg, September 1998 | ||||
| ASM-Based Mechanized Verification of Compiler Backends | T.Gaul | |
|
|
| ASM-Workshop, Cannes, 6/1998 | ||||
| Correctness of Generator-Based Compiler Implementations | T.Gaul | |
|
|
| Workshop on Software Verification, Validation and Certification, Kiel, 6/1998 | ||||
| Compiler Techniques for Fast Migration of Embedded Applications | T.Gaul | |
||
| EMMSEC'98 Conference, Bordeaux, France | ||||
| Mechanized Verification of Compiler Backends | T.Gaul | |
|
|
| STTT-Workshop on ICALP, Aalborg (Denmark), 7/1998 | ||||
| Correct Programs without Proof? On Checker-Based Program Verification | Wolfgang Goerigk | |||
| 7th International Workshop on Functional and Logic Programming, Bad Honnef, April 1998 | ||||
| A Checker-Based Approach to Program Verification and Certification | Wolfgang Goerigk | |||
| Workshop of Engineering of Software Verification, Validation, and Certification, Kiel, Juni 1998 | ||||
| Zuverlässigkeit ausführbarer binärer Maschinenprogramme | Wolfgang Goerigk | |||
| BSI-Trendtage, Bonn, November 1998 | ||||
| 1997 | ||||
| Formal Verification of Transformations for Peephole Optimization | A.Dold |
|
||
| FME'97, 18.09.1997, Graz | ||||
| On the Construction of Verified Compiler Backends | T.Gaul |
|
|
|
| 50th Meeting of the IFIP Working Group 2.1, 20.2.1997, Le Bischenberg | ||||
| ASM-based Verification of Code Generation for Java Byte Code | T.Gaul |
|
|
|
| ASM-Workshop, Cannes, 7/1997 | ||||
| Zur Konstruktion verifizierter Übersetzer | T.Gaul | |||
| GI Arbeitstagung Programmiersprachen, Aachen, 1997 | ||||
| Compiler and Implementation Verification | Wolfgang Goerigk (mit Friedemann Simon) | |||
| The VIM-Project Winter Workshop, Ravello, Italy, December 1997 | ||||
| Towards Rigorous Compiler Implementation Verification | Wolfgang Goerigk | |||
| 5th ProCoS Working Group Meeting, Reading, UK, April 1997 | ||||
| Towards Rigorous Compiler Implementation Verification | Wolfgang Goerigk | |||
| Workshop Alternative Konzepte für Sprachen und Rechner, Bad Honnef, Mai 1997 | ||||
| Übersetzer- und Implementierungsverifikation | Wolfgang Goerigk | |||
| Informatik-Kolloquium, GMD First, Berlin, November 1997 | ||||
| Generierung korrekter Frontends | A.Heberle |
|
|
|
| Arbeitstreffen an der Universität des Saarlandes, 14.3.97 | ||||
| Verifizierte Compiler | A.Heberle |
|
|
|
|
Projektvorstellung Verifix ETH Zürich, ITIK, 6.5.97 | ||||
| Specifying Languages and Generating Frontends | A.Heberle |
|
|
|
| ASM-Workshop, Cannes, 7/1997 | ||||
| Provably Correct Machine Code Implementation of Compilers | U.Hoffmann | |||
| 5th ProCoS Working Group Meeting, Reading, UK, April 1997 | ||||
| Starker Uebersetzertest als relevanter Bestandteil vollen Uebersetzerkorrektheitsbeweises | Hans Langmaack | |||
| Informatik-Kolloquium, Universitaet Oldenburg, Februar 1997 | ||||
| Compiler Implementation Verification in Verifix | Hans Langmaack | |||
| Dagstuhl-Seminar 9720, Practical Methods for Code Dicumentation and Inspection, May 1997 | ||||
| Compiler Implementation Verification as a Code Documentation and Inspection Problem | Hans Langmaack | |||
| Dagstuhl-Seminar 9720, Practical Methods for Code Dicumentation and Inspection, May 1997 | ||||
| Uebersetzerimplementierungsverifikation als Codedokumentations- und -inspektionsproblem | Hans Langmaack | |||
| Informatik-Kolloquium, TU Muenchen, Juni 1997 | ||||
| Theoretical Informatics is the Foundation of Safe Mastery of Realistic Software and Systems | Hans Langmaack | |||
| Cybernetics Colloquium, Taras Shevchenko University Kiew, June 1997 | ||||
| Theoretical Informatics is the Foundation of Safe Mastery of Realistic Software and Systems | Hans Langmaack | |||
| Festvortrag, 10 Jahre Informatik an der Universitaet Giessen, Oktober 1997 | ||||
| Three Views on Preservation of Partial Correctness | Markus Mueller-Olm | |||
| 5th ProCoS Working Group Meeting, Reading, UK, April 1997 | ||||
| Animation of PVS Specifications | Stefan Pfab |
|
||
| Workshop on Software Verification, Validation and Certification, Kiel, 6/1998 | ||||
| Towards Rigorous Compiler Implementation Verification | Friedemann Simon (mit Wolfgang Goerigk) | |||
| The VIM-Project Spring Workshop, Lanjaron, Spain, May 1997 | ||||
| 1996 | ||||
| Generische Spezifikation und Verifikation von Übersetzungsschritten | A.Dold | |
|
|
| Verifix-Workshop Karlsruhe, 1996 | ||||
| Beweis der lokalen Korrektheit termersetzungssystembasierter Codeerzeugung | T.Gaul |
|
|
|
| Verifix-Workshop Karlsruhe, 1996 | ||||
| Komplettkompilation: Lisp-Software in der Endanwendung | Wolfgang Goerigk | |||
| DFKI-Kolloquium, Kaiserslautern, Januar 1996 | ||||
| Compiler Correctness and Implementation Verification: The Verifix Approach | Wolfgang Goerigk | |||
| Kurzvortrag CC'96 Int. Conf. on Compiler Construction, Linköping, Schweden, 1996 | ||||
| Komplettkompilation: Lisp-Software in der Endanwendung | Wolfgang Goerigk | |||
| Informatik-Kolloquium, Fakultät für Informatik, Universität Magdeburg, Juni 1996 | ||||
| Compiler Correctness and Implementation Verification | Wolfgang Goerigk | |||
| Donut Talk, Computational Logic Inc, Austin, Texas, USA, August 1996 | ||||
| The ACL2 Correctness Proof of a Simple Theorem Prover Executable | Wolfgang Goerigk | |||
| Donut Talk, Computational Logic Inc, Austin, Texas, USA, Oktober 1996 | ||||
| Der ACL2-Korrektheitsbeweis eines einfachen Theorembeweiser | Wolfgang Goerigk | |
||
| Verifix-Workshop Karlsruhe, 1996 | ||||
| Eine Architektur zur Konstruktion korrekter Übersetzer | G.Goos | |
||
| Verifix-Workshop Karlsruhe, 1996 | ||||
| Konstruktion eines korrekten Übersetzers einer while-Sprache | A.Heberle | |
|
|
| Verifix-Workshop Karlsruhe, 1996 | ||||
| Konstruktion eines korrekten Übersetzers einer while-Sprache | F.v.Henke | |
||
| Verifix-Workshop Karlsruhe, 1996 | ||||
| Zuverlässige Software durch systematische Prüfung | U.Hoffmann | |||
| Jahrestagung der Forth-Gesellschaft, Mittweida, April 1996 | ||||
| Implementierungsverifikation für den initialen ComLisp-Übersetzer auf dem Transputer | U.Hoffmann | |
||
| Verifix-Workshop Karlsruhe, 1996 | ||||
| A Contribution to Goodenough's and Gerhart's Theory of Software Testing and Verification Relations between Strong Compiler Test and Compiler Implementation Correctness | Hans Langmaack | |||
| IFIP Working Group 2.2 Meeting, UNU/IIST, Macau, September 1996 | ||||
| Theoretische Informatik ist Grundlage fuer das sichere Beherrschen realistischer Software und Systeme | Hans Langmaack | |||
| Festvortrag, 25 Jahre Informatik Uni Hamburg, Oktober 1996 | ||||
| Starker Übersetzertest als relevanter Bestandteil vollen Übersetzerkorrektheitsbeweises. | H.Langmaack | |
||
| Verifix-Workshop Karlsruhe, 1996 | ||||
| Motivation und Ziele für das Projekt Verifix | H.Langmaack | |
||
| Verifix-Workshop Karlsruhe, 1996 | ||||
| The ProCoS Approach to the Design of Real Time Systems: Linking Different Formalisms | Markus Mueller-Olm | |||
| 4th ProCoS Working Group Meeting, Oldenburg, March 1996 | ||||
| Programs to Machine Code ProCoS Tutorial Talk "The ProCoS Approach to the Design of Real Time Systems: Linking Different Formalisms" | Markus Mueller-Olm | |||
| FME'96, Oxford, UK, March 1996 | ||||
| Modulare Compiler-Verifikation | Markus Mueller-Olm | |||
| Informatik-Kolloquium, Univ. Passau, Juli 1996 | ||||
| Modular Compiler Verification | Markus Mueller-Olm | |||
| VIM Project Workshop, Barcelona, Spain, September 1996 | ||||
| Mechanisierte Semantik von Programmiersprachen | H.Pfeifer | |
||
| Verifix-Workshop Karlsruhe, 1996 | ||||
| Die Korrektheit der Simulationsbeweistechnik fuer Übersetzer-Backends | W.Zimmermann | |
||
| Verifix-Workshop Karlsruhe, 1996 | ||||
| Specification and Verification of Compiler Front-Ends using Evolving Algebras: Semantic Analysis | A.Heberle |
|
|
|
| ASM-Workshop, Paderborn, 1996 | ||||
| 1995 | ||||
| On the Correctness of Compilers and Compiler Implementations | Wolfgang Goerigk | |||
| SVRC Seminars, University of Queensland, Brisbane, Australia, Oktober 1995 | ||||
| Implementierungskorrektheit von Compilern | Wolfgang Goerigk | |||
| 4th ENCRESS-Workshop, Berlin, Dezember 1995 | ||||
