Moby/PLC-Publications (Theoretical Background)

(BibTeX Source)

@comment{{This file has been generated by bib2bib 1.93}}

@comment{{Command line: /usr/bin/bib2bib -q -ob moby-bg.bib -c 'author : "moby-bg" or publists : "moby-bg"' names-long.bib all.bib}}

@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}
}