Moby/PLC-Publications (Theoretical Background)

(BibTeX Source)

@INPROCEEDINGS{jt99,
  AUTHOR = {Josef Tapken},
  TITLE = {{Implementing Hierarchical Graph-Structures}},
  BOOKTITLE = {Proceedings of FASE'99},
  EDITOR = {J.-P. Finance},
  VOLUME = {1577},
  SERIES = {LNCS},
  PUBLISHER = {Springer-Verlag},
  YEAR = {1999},
  PAGES = {219--233},
  NOTE = {\copyright Springer-Verlag. This publication is available
    {\url{http://csd.informatik.uni-oldenburg.de/pub/Papers/jt99.ps.gz}{here}}
    and at
    {\url{http://www.springer.de/comp/lncs/index.html}{Springer}}}
}


@INPROCEEDINGS{hd98c,
  AUTHOR = {H. Dierks and A. Fehnker and A. Mader and F.W. Vaandrager},
  TITLE = {{Operational and Logical Semantics for Polling Real-Time Systems}},
  BOOKTITLE = {FTRTFT'98},
  SERIES = {Lecture Notes in Computer Science},
  YEAR = {1998},
  PUBLISHER = {Springer-Verlag},
  PAGES = {29--40},
  NOTE = {\copyright Springer-Verlag. This publication is available
    {\url{http://csd.Informatik.Uni-Oldenburg.DE/~dierks/Berichte/FTRTFT98.ps.gz}{here}}
    and at
    {\url{http://www.springer.de/comp/lncs/index.html}{Springer}}}
}


@TECHREPORT{hd98b,
  AUTHOR = {H. Dierks and A. Fehnker and A. Mader and F.W. Vaandrager},
  TITLE = {{Operational and Logical Semantics for Polling Real-Time Systems}},
  INSTITUTION = {Computer Science Institue Nijmegen, Faculty of Mathematics
    and Informatics, Catholic University of Nijmegen},
  YEAR = {1998},
  NUMBER = {CSI-R9813},
  MONTH = APR,
  NOTE = {full paper of \cite{hd98c}.},
  URL = {http://www.cs.kun.nl/csi/reports/info/CSI-R9813.html}
}


@INPROCEEDINGS{hd98a,
  AUTHOR = {H. Dierks},
  TITLE = {{Comparing Model-Checking and Logical Reasoning for
      Real-Time Systems}},
  BOOKTITLE = {ESSLLI'98},
  YEAR = {1998},
  MONTH = AUG,
  NOTE = {Workshop proceedings},
  URL = {http://csd.informatik.uni-oldenburg.de/pub/Papers/ESSLLI.ps.gz}
}


@INPROCEEDINGS{hdjt98,
  AUTHOR = {H. Dierks and J. Tapken},
  TITLE = {{Tool-Supported Hierarchical Design of Distributed
                  Real-Time Systems}},
  BOOKTITLE = {Euromicro Workshop on Real Time Systems},
  PUBLISHER = {IEEE},
  YEAR = {1998},
  PAGES = {222-229},
  URL = {http://csd.informatik.uni-oldenburg.de/pub/Papers/hdjt98.ps.gz}
}


@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{hd97-isss,
  AUTHOR = {Henning Dierks},
  TITLE = {{Synthesising Controllers from Real-Time Specifications}},
  BOOKTITLE = {{Tenth International Symposium on System Synthesis}},
  YEAR = {1997},
  PUBLISHER = {IEEE CS Press},
  OPTMONTH = SEP,
  PAGES = {126--133},
  URL = {http://csd.informatik.uni-oldenburg.de/pub/Papers/hd97-isss.ps.gz}
}


@INPROCEEDINGS{hd97-arts,
  AUTHOR = {Henning Dierks},
  TITLE = {{PLC-Automata: A New Class of Implementable Real-Time
                  Automata}},
  BOOKTITLE = {Transformation-Based Reactive Systems Development
                  (ARTS'97)},
  EDITOR = {M. Bertran and T. Rus},
  SERIES = {Lecture Notes in Computer Science},
  VOLUME = {1231},
  YEAR = {1997},
  PUBLISHER = {Springer-Verlag},
  PAGES = {111--125},
  URL = {http://csd.informatik.uni-oldenburg.de/pub/Papers/hd97-arts.ps.gz}
}