Publikationen 2000

Chanson, S. T.; Hui, A.; König, H.; Zühlke, M.: Das OCTOPUS-Videokonferenzsystem: Bericht über ein gemeinsames Projekt der Hong Kong University of Science and Technology und der BTU Cottbus.
In: PIK 23 (2000) 4, 189 - 198.

Koenig, H.; Langendoerfer, P.; Krumm, H.: Improving the Efficiency of Automated Protocol Implementations Using a Configurable FDT Compiler.
In: Computer Communications 23 (2000) 12, 1179 - 1195.

Koenig, H.; Langendoerfer, P.: Automated Derivation of Efficient Implementations from Formal Protocol Specifications.
In: Fantechi, A. (ed.): FORTE/PSTV 2000 Tutorial Notes, Pisa, 2000.

Langendoerfer, P.; Koenig, H.: Evaluation of well-known Implementation Techniques for Application in mobile Networks.
In: Graham, P.; Maheswaran, M (eds.): Proceedings of the International Conference on Internet Computing, CSREA Press, 2000, 451 - 459.

Langendörfer, P.; Krüger, Th.; König, H.: Leistungsbewertung von SDL-Spezifikationen: Ein Werkzeug zur Evaluierung von Implementierungsalternativen.
In: Grabowski, J.; Heymer, S.: Formale Beschreibungstechniken für verteilte Systeme, Shaker-Verlag, 2000, 143 - 152.

Meier, M.; Holz, T.: Sicheres Schlüsselmanagement für verteilte Intrusion-Detection-Systeme.
In: Horster, P. (Hrsg.): Systemsicherheit. Braunschweig, Vieweg, 2000, ISBN 3-528-05745-9, 275 - 286.