Entwicklung korrekter Systeme
Dr. Cheryl Kleuker
|
E-Mail: Cheryl.Kleuker Cheryl Kleuker (vormals Dietz) promovierte im Juli 2000 in der Abteilung Semantik mit der Dissertation ``Constraints Diagrams'', die als Bericht Nummer 3/00 des Fachbereichs Informatik erhältlich ist. |
Publikationen
- [GDO98]
-
V. Grabowski, C. Dietz, and E.-R. Olderog.
Semantics for Timed Message Sequence Charts via Constraint
Diagrams.
In Y. Lahav, A. Wolisz, J. Fischer, and E. Holz, editors,
Proceedings of the 1st Workshop of the SDL Forum Society on SDL and MSC,
Informatik-Bericht Nr. 104, pages 251-260. Humbold-Universitaet zu
Berlin/Germany, Juli 1998.
[ bib ] - [Die97]
-
Cheryl Dietz.
Action Diagrams.
In Mathieu Maranzana, editor, Proceedings of the IFAC/IFIP
Workshop, Lyon, France, 15-17 September 1997, volume Real-Time Programming
1997. Elsevier Science 1998, 1997.
An abstract is available on-line.
[ bib ] - [DD97]
-
Henning Dierks and Cheryl Dietz.
Graphical Specification and Reasoning: Case Study Generalized
Railroad Crossing.
In J. Fitzgerald, C.B. Jones, and P. Lucas, editors, FME'97,
volume 1313 of Lecture Notes in Computer Science, pages 20-39.
Springer-Verlag, 1997.
[ bib | .ps.gz ] - [Die96]
-
Cheryl Dietz.
Graphical formalization of real-time requirements.
In B. Jonsson and J. Parrow, editors, Formal Techniques in
Real-Time and Fault-Tolerant Systems (FTRTFT'96) (Uppsala, Sweden), volume
1135 of Lecture Notes in Computer Science, pages 366-385.
Springer-Verlag, 1996.
An extended abstract is available on-line.
[ bib ] - [DS94]
-
C. Dietz and G. Schreiber.
A term representation of P/T systems.
In R. Valette, editor, Application and Theory of Petri Nets,
volume 815 of Lecture Notes in Computer Science, pages 239-257.
Springer-Verlag, 1994.
An extended abstract is available on-line.
[ bib ]
Abschlussarbeiten