Correct System Design
Dr. Cheryl Kleuker
|
email: Cheryl.Kleuker In July 2000 Cheryl Kleuker completed her PhD with the dissertation ``Constraints Diagrams'', which is available as Technical Report No. 3/00 of the Department of Computer Science at the University of Oldenburg. |
Publications
- [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 ]
Theses
- [Kle00]
-
C. Kleuker.
Constraint Diagrams.
PhD thesis, University of Oldenburg, 2000.
[ bib ]