Publikationen 1995

Preuß, Th.; Schwotzer, Th.; König, H: Kurz- und langfristige Dienstgarantierungen.
in Krumm, H. (ed.): Proc. des Workshops "Entwicklung und Management verteilter Anwendungssysteme", Dortmund, Krehl-Verlag Münster, 1995, 197 - 206.

Guerrouat, A.; Koenig, H.; Ulrich, A.: SELEXPERT - a knowledge-based tool for test case selection.
Proc. FORTE95 (IFIP Conference on Formal Description Techniques), Montreal, 1995, 313 - 328, also published in Bochmann G.v. et al. (eds.): Formal Description Techniques VIII, Chapman & Hall, 1996, 313 - 328.

Henniger, O.; Ulrich, A.; Koenig, H.: Transformation of Estelle Modules aiming at Test Case Generation.
Proc. IWPTS95 (IFIP International Workshop on Protocol Test Systems), Paris, 1995, 45 - 60.

Held, Th.; Koenig, H.: On the Efficiency of Computer-Aided Protocol Implementations.
Electronic Journal on Networks and Distributed Processing, (1995) 2, 37 - 55.

Plato, R.; Held, Th.; König, H.: PARES - A Portable Parallel Estelle Compiler.
Proc. PSTV95, Warsaw, 1995, 383 - 400; also published in Dembinski, P. (ed.): Protocol Specification, Testing and Verification XV. Chapman & Hall, 1995, 383 - 399.

Plato, R.; Held, Th.; König, H.: PARES - Ein portabler Estelle-Compiler für parallele Implementierungen - Anwendung und Optimierung.
in Gotzhein, R.; Bredereke, J. (eds.): Formale Beschreibungstechniken für verteilte Systeme. Universität Kaiserslautern, Fachbereich Informatik, 1995, 111 - 120.

Held, Th.; Koenig, H.: Increasing the Efficiency of Computer-Aided Protocol Implementations.
Proc. PSTV94 (IFIP Conference on Protocol Specification, Testing and Verification), Vancouver, 1994, 363 - 371; also published in Vuong, S.; Chanson, S. (eds.): Protocol Specification, Testing and Verification XIV, Chapman & Hall, 1995, 387 - 394.