Entwicklung korrekter Systeme
Seminar Klassische Informatik-Aufsätze
und Formale Graphsprachen
Das Seminar ist mit dem Seminar Formale Graphsprachen von Prof. Dr. A. Habel zusammengelegt. Das gemeinsame Seminar findet in drei Vortragsblöcken jeweils im Seminarraum A3 2-209 statt. Zuhörerinnen und Zuhörer sind sehr willkommen.
Auf dieser Seite
Vortragsprogramm
Freitag, 29.06.01
- 9:00 Uhr
- Jens Oehlerking: Knoten-Ersetzungs-Grammatiken
Literatur:
J. Engelfriet: Context-free graph grammars. In G. Rozenberg, A. Salomaa (Hrsg.): Handbook of Formal Languages, volume 3: Beyond Words, 125-213. Springer-Verlag, Berlin, 1997.
dazu: J. Engelfriet, G. Rozenberg: Node replacement graph grammars. In G. Rozenberg (Hrsg.): Handbook of Graph Grammars and Computing by Graph Transformation, volume 1, chapter 1, 1-94. World Scientific, 1997. - 10:15 Uhr
- Andreas Möller: Vergleich von HR und NR
Literatur:
J. Engelfriet, G. Rozenberg: A comparison of boundary graph grammars and context-free hypergraph grammars. Information and Computation 84, 163-206, 1990.
- 11:30 Uhr
- Karl-Heinz Pennemann: Monadische Logik zweiter Ordnung
Literatur:
B. Courcelle: The expression of graph properties and graph transformations in monadic second-order logic. In G. Rozenberg (Hrsg.): Handbook of Graph Grammars and Computing by Graph Transformation, volume 1, chapter 5, 313-400. World Scientific, 1997.
Donnerstag, 05.07.01
- 15:00 Uhr
- Maik Höft: Graph-Grammatiken zur Generierung von Wörtern und
Bäumen
Literatur:
J. Engelfriet: Context-free graph grammars. In G. Rozenberg, A. Salomaa (Hrsg.): Handbook of Formal Languages, volume 3: Beyond Words, 125-213. Springer-Verlag, Berlin, 1997.
dazu: F. Drewes, A. Habel, H.-J. Kreowski. Hyperedge replacement graph grammars. In G. Rozenberg (Hrsg.): Handbook of Graph Grammars and Computing by Graph Transformation, volume 1, chapter 2, 95-162. World Scientific, 1997. - 16:15 Uhr
- Sandra Steinert: Baumgrammatiken zur Generierung von Graphen
Literatur:
J. Engelfriet: Context-free graph grammars. In G. Rozenberg, A. Salomaa (Hrsg.): Handbook of Formal Languages, volume 3: Beyond Words, 125-213. Springer-Verlag, Berlin, 1997.
dazu: M. Bauderon, B. Courcelle: Graph expressions and graph rewriting. Mathematical Systems Theory 20, 83-127, 1987. J. Engelfriet. Graph grammars and tree transducers. In CAAP'94, volume 787 of Lecture Notes in Computer Science, 15--36. Springer-Verlag, 1994.
Mittwoch, 26.09.01
- 10:00 Uhr
- Thorsten Würdemann: Turing - On Checking a large routine
Literatur:
A.M. Turing, On Checking a large routine. Report of a Conference on High Speed Automatic Calculating Machines, pp. 67-69, Univ. Math. Laboratory, Cambridge, 1949.
siehe: F.L. Morris and C.B. Jones, An early program by Alan Turing, Annals of the History of Computing 6, pages 139-143, 1984.
dazu: C.B. Jones, The search for tractable ways of reasoning about programs, Dept. of Computer Science, Univ. of Manchester, Technical Report Series UMCS -92-4-4, 1992. - 11:15 Uhr
- Martin Sparenberg: Hoare - Communicating sequential processes
Literatur:
C.A.R. Hoare, Communicating sequential processes, Communications of the ACM 21, 666-677, 1978.
dazu: C.A.R. Hoare, Communicating Sequential Processes, Prentice Hall International, 1985 - 13:15 Uhr
- Malte Zilinski: Pnueli - The temporal logic of programs
Literatur:
A. Pnueli, The temporal logic of programs, in: Proceedings of the 18th IEEE Symposium on Foundations of Computer Science, 46-57, 1977
- 14:30 Uhr
- Jarl Hoyem: Clarke - Automatic verification of finite-state
concurrent systems
Literatur:
E.M. Clarke, E.A. Emerson and A.P. Sistla, Automatic verification of finite-state concurrent systems using temporal logic, ACM Transactions on Programming Languages (TOPLAS) 8, 244-263, 1982.