Technische Berichte
|
Technische Berichte
|
|
2000
|
|
01/2000
|
Samuel T. Chanson, Albert Hui, Hartmut Koenig, Mario Zuehlke: Bericht über ein gemeinsames Projekt der Hong Kong University of Science and Technology und der BTU Cottbus
|
|
|
1999
|
|
06/1999
|
Ines Beier, Hartmut Koenig: Distributed QoS Management for a Multiparty Video Conference
|
|
05/1999
|
Ines Beier, Hartmut Koenig, Mario Zuehlke: OCTOPUS - A Scalable Global Multiparty Video Conferencing System
|
|
04/1999
|
Peter Langendörfer: Evaluierung von Werkzeugen zur automatischen Implementierung von SDL-Spezifikationen
|
|
03/1999
|
Peter Langendoerfer, Hartmut Koenig: Deriving Activity Thread Implementations from Formal Descriptions using Transition Reordering
|
|
02/1999
|
Hartmut Koenig, Peter Langendoerfer, Heiko Krumm: Improving the Efficiency of Automated Protocol Implementations Using a Configurable FDT Compiler
|
|
01/1999
|
Peter Langendoerfer, Hartmut Koenig: COCOS - A Configurable SDL Compiler for Generating Efficient Protocol Implementations
|
|
I-02/1999
|
Peter Langendoerfer, Hartmut Koenig, Heiko Krumm: Advanced Implementation Techniques for Automated Protocol Implementation
|
|
I-01/1999
|
Thomas Preuß, Jens-Hagen Syrbe, Hartmut König: Permanent Customer-Provider Relationships for Electronic Service Markets
|
|
|
1998
|
|
I-08/1998
|
Pal Halvorsen, Kentil Lund, Vera Goebel, Thomas Plagemann, Thomas Preuß, Hartmut König: Architecture, Implementation, and Evaluation of ConfMan: Integrated WWW and DBS Support for Conference Organization
|
|
I-07/1998
|
Peter Langendoerfer, Hartmut Koenig: Automated Protocol Implementation: Towards the Integration of Manual Implementation Techniques
|
|
I-06/1998
|
Ines Beier, Hartmut König: GCSVA - A Multiparty Videoconferencing System with Distributed Group and QoS Management
|
|
I-03/1998
|
Thomas Preuss, Jens-Hagen Syrbe: Specifying Long Term Obligations of Service Provision
|
|
I-02/1998
|
Ines Beier, Jan Fiedler, Hartmut König: A Multimedia Conferencing System with Distributed Group and QoS Management
|
|
I-01/1998
|
Ines Beier, Hartmut König: A Protocol Supporting Distributed Group and QoS Management
|
|
|
1997
|
|
I-18/1997
|
Hartmut König: eXample Data Transfer (XDT) - Protocol (Preliminary Version)
|
|
I-13/1997
|
Peter Langendörfer: An Annotational Extention of SDL92 to Support a Formal Implementation Specification
|
|
I-10/1997
|
Peter Langendörfer, Hartmut König: Improving the Efficiency of Automatically Generated Code by Using Implementation-specific Annotations
|
|
I-09/1997
|
Ralf Henke, Hartmut König, Andreas Mitschele-Thiel: Derivation of Efficient Implementations from SDL Specifications Employing Data Referencing, Integrated Packet Framing and Activity Threads
|
|
I-07/1997
|
Ines Beier, Hartmut König: Reliable, Totally Ordered Group Communication over ATM
|
|
I-04/1997
|
Ralf Henke, Andreas Mitschele-Thiel, Hartmut König: Automated Derivation of Efficient Implementations from SDL Specifications
|
|
I-01/1997
|
Michael Sobirey, Simone Fischer-Hübner, Kai Rannenberg: Pseudonymous Audit for Privacy Enhanced Intrusion Detection
|
|
|
1996
|
|
I-07/1996
|
Birk Richter, Michael Sobirey, Hartmut König: Host-orientiertes Netz-Audit
|
|
I-06/1996
|
Andreas Ulrich, Hartmut König: A description model to support test suite derivation for concurrent systems
|
|
I-05/1996
|
Andreas Mitschele-Thiel, Peter Langendrfer, Ralf Henke: Design and Optimization of High-Performance Protocols with the DO-IT Toolbox
|
|
I-04/1996
|
Abdelaziz Guerrouat, Hartmut König: Automation of test case derivation in respect to test purposes
|
|
I-03/1996
|
Michael Sobirey, Birk Richter, Hartmut König: The Intrusion Detection System AID - Architecture, and experiences in automated audit analysis
|
|
I-01/1996
|
Hartmut König, Heiko Krumm: Implementierung von Kommunikationsprotokollen
|
|
|
1995
|
|
I-07/1995
|
Birk Richter, Michael Sobirey, Hartmut König: Auditbasierte Netzberwachung
|
|
I-06/1995
|
Thomas Held, Hartmut König: On the Efficiency of Computer-aided Protocol Implementations
|
|
I-05/1995
|
Abdelaziz Guerrouat, Hartmut König, Andreas Ulrich: SELEXPERT - a knowledge-based tool for test case selection
|
|
I-04/1995
|
Olaf Henniger, Andreas Ulrich, Hartmut König: Transformation of Estelle modules aiming at test case generation
|
|
I-01/1995
|
Ralf Plato, Thomas Held, Hartmut König: PARES - A Portable Parallel Estelle Compiler
|
|
|
1994
|
|
I-11/1994
|
Hartmut König, Heiko Krumm: Protokollimplementierung
|
|
I-01/1994
|
Hartmut König: On the Efficiency of Computer-aided Protocol Implementations
|
|
last update: sbs, 19.01.2008 20:26
|
|
