Dr. Cheryl Kleuker

 

1 Publications (BibTeX Source)

@INPROCEEDINGS{erocd98,
  AUTHOR = {V. Grabowski and C. Dietz and E.-R. Olderog},
  TITLE = {{Semantics for Timed Message Sequence Charts via
      Constraint Diagrams}},
  BOOKTITLE = {Proceedings of the 1st Workshop of the SDL Forum Society
    on SDL and MSC},
  EDITOR = {Y. Lahav and A. Wolisz and J. Fischer and E. Holz},
  SERIES = {Informatik-Bericht Nr. 104},
  YEAR = {Juli 1998},
  PAGES = {251-260},
  PUBLISHER = {Humbold-Universitaet zu Berlin/Germany}
}


@INPROCEEDINGS{cd97,
  AUTHOR = {Cheryl Dietz},
  TITLE = {{Action Diagrams}},
  BOOKTITLE = {Proceedings of the IFAC/IFIP Workshop, Lyon, France, 15-17
                  September 1997},
  EDITOR = {Mathieu Maranzana},
  VOLUME = {Real-Time Programming 1997},
  PAGES = {},
  ADDRESS = {},
  SERIES = {},
  PUBLISHER = {Elsevier Science 1998},
  COMMENTS = {},
  MONTH = {},
  ORGANIZATION = {},
  YEAR = {1997},
  NOTE = {\url{http://csd.informatik.uni-oldenburg.de/pub/Papers/cd97-a.ps.gz}
    {An abstract is available on-line}}
}


@INPROCEEDINGS{hdcd97,
  AUTHOR = {Henning Dierks and Cheryl Dietz},
  TITLE = {{Graphical Specification and Reasoning: Case Study
      "Generalized Railroad Crossing"}},
  BOOKTITLE = {FME'97},
  EDITOR = {J. Fitzgerald and C.B. Jones and P. Lucas},
  VOLUME = 1313,
  SERIES = {Lecture Notes in Computer Science},
  YEAR = 1997,
  PUBLISHER = {Springer-Verlag},
  PAGES = {20--39},
  URL = {http://csd.informatik.uni-oldenburg.de/pub/Papers/hdcd97-fme.ps.gz}
}


@INPROCEEDINGS{cd96,
  AUTHOR = {Cheryl Dietz},
  TITLE = {Graphical Formalization of Real-Time Requirements},
  BOOKTITLE = {Formal Techniques in Real-Time and Fault-Tolerant Systems
    (FTRTFT'96) (Uppsala, Sweden)},
  EDITOR = {B. Jonsson and J. Parrow},
  VOLUME = {1135},
  SERIES = {Lecture Notes in Computer Science},
  PUBLISHER = {Springer-Verlag},
  YEAR = 1996,
  PAGES = {366--385},
  NOTE = {\url{http://csd.informatik.uni-oldenburg.de/pub/Papers/cd96-ea.ps.gz}
    {An extended abstract is available on-line}}
}


@INPROCEEDINGS{cd94,
  AUTHOR = {C. Dietz and G. Schreiber},
  TITLE = {A Term Representation of {P/T} systems},
  BOOKTITLE = {Application and Theory of Petri Nets},
  EDITOR = {R. Valette},
  VOLUME = 815,
  SERIES = {Lecture Notes in Computer Science},
  YEAR = 1994,
  PUBLISHER = {Springer-Verlag},
  PAGES = {239--257},
  NOTE = {\url{http://csd.informatik.uni-oldenburg.de/pub/Papers/cd94-ea.ps.gz}
    {An extended abstract is available on-line}}
}