WS 2010: Seminar, Prof. Dr.-Ing. M. Heiner

Latest update: October 12, 2010

THEMA „Advanced Data Structures for Model Checking”

Ort: LG 1c, R 215c
Zeit: donnerstags, 5. Block (15.30 - 17.00), Verhandlungssache;

Gegenstand dieses Seminars und damit Vortragsreihe sind Datenstrukturen, wie sie u.a. im Kontext von (symbolischen) Modelchecking von CTL (Computational Tree Logic) bzw. CSL (Continuous Time Logic) häufig auftreten; dazu zählen:

Binary Decision Diagrams (BDD)
Multi-terminal Binary Decision Diagrams (MTBDD)
Interval Decision Diagrams (IDD)
Sparce Matrix Data Structures
Matrix Diagrams (Kronecker Algebra)

Die Vorträge sollen die Datenstrukturen und deren Grundlagen einführen sowie grundsätzliche Algorithmen auf diesen erklären. In gemeinsamer Diskussion sollen dann die Unterschiede, Vorteile und Nachteile der einzelnen Datenstrukturen im Verlaufe des Semesters herausgearbeitet werden.

Themenvergabe und genaue Absprache erfolgen beim ersten Treffen am 14.10.2010, 15:30, LG 1c, R215c.

Zeitplan

Vorbehaltlich kurzfristiger Änderungen!

#	Termin	Thema	Referent
1	14.10.2010	Einführung und Themenvergabe
2
3
4
5
6
7
8
9
10
11
12

. . . t h e e n d . . .

sachdienliche Hinweise zu dieser Seite bitte an: