Uni-Logo
English       Login
Rechnerarchitektur
        Startseite         |         Institut für Informatik         |         Technische Fakultät
 
Veranstaltung
Übersicht  |  Zeit/Ort  |  Veranstalter
Materialien
Vorlesungsmaterial
Leistungsnachweis
Prüfungskriterien


Seminar: Theoretical Foundations of Model Checking - Wintersemester 06/07

Material


Ausarbeitungen

02. Deciding Presburger arithmetic using automata
03. Deciding linear arithmetic using automata
04. Automata and don't care words
05. Hybrid automata
06. model checking hybrid automata using polyhedra
07. Reachability analysis of hybrid automata
10. Bisimilarity and characterization of Kripke-structures
11. Branching bisimulation and its characterization


Themen

01. Büchi-Wortautomaten und Logik Technischer Bericht
02. Entscheiden von Presburger Arithmetik mit Automaten Konferenz-Veröffentlichung
03. Entscheiden von linearer Arithmetik mit Automaten Konferenz-Veröffentlichung
04. Automaten und Don't Care Wörter Konferenz-Veröffentlichung
05. Hybride Automaten Konferenz-Veröffentlichung
06. Model Checking von Hybriden Automaten mit Polyeder Journalartikel, Konferenz-Veröffentlichung
07. Erreichbarkeitsanalyse von Hybriden Automaten Konferenz-Veröffentlichung
08. Model Checking von Hybriden Automaten mit Prädikatenabstraktion Journalartikel
09. Model Checking mit Automaten Abstraktionen Konferenz-Veröffentlichung
10. Bisimilarität und logische Charakterisierung von Kripke-Strukturen Journalartikel
11. Branching Bisimulation und ihre logische Charakterisierung Journalartikel, Konferenz-Veröffentlichung


Vortragsfolien

Automaten und Don't Care Wörter
Bisimilarität und logische Charakterisierung von Kripke-Strukturen
Branching Bisimulation und ihre logische Charakterisierung
Entscheiden von linearer Arithmetik mit Automaten
Entscheiden von Presburger Arithmetik mit Automaten
Erreichbarkeitsanalyse von hybriden Automaten
Hybride Automaten
Model Checking von Hybriden Automaten mit Polyedern


Zusatzmaterial

LaTeX Folien Beispiel gezipte LaTeX Vorlage
LaTeX LNCS Beispiel gezipte LaTeX Vorlage
LaTeX LNCS Format gezipte LaTeX Vorlage