Publikationen 1997

Henke, R.; König, H.; Mitschele-Thiel, A.: Derivation of Efficient Implementations from SDL Specifications Employing Data Referencing, Integrated Packet Framing and Activity Threads.
In Cavalli, A.; Sarma, A. (eds.): SDL97 Time for Testing. Elsevier, 1997, pp. 397 - 414.

Beier, I.; Fiedler, J.; König, H.: A Multimedia Conferencing System with Distributed Group and QoS Management.
4th Int. Symposium on Communications ISCOM97, Hsinchu, Taiwan, Dezember 1997, pp. 134 - 138.

Henke, R.; Mitschele-Thiel, A.; Koenig, H.: On the Influence of Specification Style and Code Generation Strategy on the Efficiency of Implementations Derived from Estelle Specifications.
In: T. Mizuno, N. Shiratori, T. Higashino, A. Togashi (eds.): Formal Description Techniques and Protocol Specification, Testing and Verification; Proceedings of the Joint Int. Conference FORTE/PSTV97; Osaka, Japan, Chapman & Hall, November 1997, pp. 399 - 414.

Ulrich, A.; König, H.: Specification-based Testing of Concurrent Systems.
In: T. Mizuno, N. Shiratori, T. Higashino, A. Togashi (eds.): Formal Description Techniques and Protocol Specification, Testing and Verification; Proceeding of the Joint Int. Conference FORTE/PSTV97; Osaka, Japan, Chapman & Hall, November 1997, pp. 7 - 22.

Wong, A. C. Y.; Chanson, S. T.; Cheung, S. C.; Fuchs, H: A framework for distributed object-oriented testing.
In: T. Mizuno, N. Shiratori, T. Higashino, A. Togashi (eds.): Formal Description Techniques and Protocol Specification, Testing and Verification; Proceeding of the Joint Int. Conference FORTE/PSTV97; Osaka, Japan, Chapman & Hall, November 1997(ISBN 0-412-82060-9); pp. 39 - 56.

Beier, I.; König, H.: A Protocol Supporting Distributed Group and QoS Management.
Proceedings IEEE Conference on Protocols for Multimedia Systems - Multimedia Networking PROMS-MmNet97, Santiago, Chile, November 1997, pp. 213 - 222.

Preuß, Th.; Syrbe, J.-H.; König, H.: Virtual Private Resources -- An Approach for Long-term Binding of Services.
In Proceedings of the First International Enterprise Distributed Object Computing Workshop, Brisbane, IEEE CS Press, Oktober 1997, pp. 216 - 226.

Sobirey, M.: Automatische Echtzeit-Erkennung von IT-Angriffen durch softwaretechnische Frühwarnsysteme.
Tagungsband Telewar - Angriffe in, mit und gegen TK- Infrastruktur, (Veranstalter EUTELIS EVENTS), Düsseldorf, Oktober 1997, 5 S.

König, H.; Ulrich, A.; Heiner, M.: Design for Testability: A Step-wise Test Procedure.
In Kim, M.; Kang, S.; Hong, K. (eds.): Testing of Communication Systems, Vol. 10, IWTCS97, Chapman & Hall, September 1997, pp. 125 - 140.

König, H.; Geihs, K.; Preuß, Th. (eds): Distributed Applications and Interoperable Systems.
Proceedings IFIP TC 6.1 Working Conference DAIS97, Cottbus, September 1997, Chapman & Hall, 1997.

Langendörfer, P.; König, H.: Improving the Efficiency of Automatically Generated Code by Using Implementation-specific Annotations.
In Gunningberg, P.; Huitema, C. (eds.): Participants Proceedings of the 3rd International Workshop on High Performance Protocol Architectures. HIPPARCH ´97, Uppsala, Schweden, Juni 1997, 14 S.

Langendörfer, P.: An Annotational Extention of SDL `92 to Support a Formal Implementation Specification.
In Lovrek, I. (ed.): Proceedings of the 2nd International Workshop on Applied Formal Methods in System Design. Zagreb, Kroatien, Juni 1997, pp. 139 - 146.

Langendörfer, P.: iSDL: Ein Ansatz zur Integration leistungssteigernder Implementierungsvorgaben in SDL92.
In Wolisz, A.; Schieferdecker, I.; Rennoch, A. (Hrsg.): Formale Beschreibungstechniken für verteilte Systeme, 7. GI/ITG-Fachgespräch, Forschungsbericht der GMD Fokus, Juni 1997, S. 303 - 311.

Sobirey, M.; Fischer-Hübner, S.; Rannenberg, K.: Pseudonymous Audit for Privacy Enhanced Intrusion Detection.
In Yngström, L.; Carlsen, J. (eds.): Information Security in Research and Business, Proc. of the IFIP TC11 13th International Information Security Conference (SEC97), Kopenhagen, Dänemark, Mai 1997, Chapman & Hall, London, pp. 151 - 163.

Beier, I.; König, H.: Gruppenkommunikation für ein multimediales Konferenzsystem über ATM.
4. ITG/GI-Fachtagung Arbeitsplatzrechensysteme (APS97), Koblenz, Mai 1997, S. 19 - 27.

Preuß, Th.; Syrbe, J.-H.: An Integrated Traffic Information System.
In Proceedings of the Sixth International EuropIA Conference on the Applications of Computer Networking in Architecture, Construction, Design, Civil Engineering and Urban Planning, Edinburgh, Europia Productions, April 1997.

Wong, A. C. Y.; Chanson, S. T.; Cheung, S. C.; Fuchs, H: Testing distributed objectoriented systems.
Technical report, Hong Kong University of Science and Technology, April 1997.

Richter, B.; Sobirey, M.; König, H.: Host-orientiertes Netz-Audit.
im Tagungsband KIVS97, Braunschweig, Febr. 1997, Springer-Verlag.