2009 | ||
---|---|---|
42 | EE | Xiaoming Fu, Henning Schulzrinne, Hannes Tschofenig, Christian Dickmann, Dieter Hogrefe: Overhead and performance study of the general internet signaling transport (GIST) protocol. IEEE/ACM Trans. Netw. 17(1): 158-171 (2009) |
2008 | ||
41 | EE | Patryk Chamuczynski, Omar Alfandi, Henrik Brosenne, Constantin Werner, Dieter Hogrefe: Enabling Pervasiveness by Seamless Inter-domain Handover: Performance Study of PANA Pre-authentication. PerCom 2008: 372-376 |
2007 | ||
40 | EE | Jun Lei, Xiaoming Fu, Dieter Hogrefe, Jianrong Tan: Comparative studies on authentication and key exchange methods for 802.11 wireless LAN. Computers & Security 26(5): 401-409 (2007) |
2006 | ||
39 | Telemaco Melia, Amardeo Sarma, Rui L. Aguiar, Dieter Hogrefe: Case study on the use of SDL for specifying an IETF micro mobility protocol. COMSWARE 2006 | |
38 | EE | Xiaoming Fu, Henning Schulzrinne, Hannes Tschofenig, Christian Dickmann, Dieter Hogrefe: Overhead and Performance Study of the General Internet Signaling Transport (GIST) Protocol. INFOCOM 2006 |
37 | André Riedel, Björn Ortelbach, Marco Zibull, Robert Schmaltz, Stephan Müller, Matthias Schumann, Dieter Hogrefe: Wirtschaftliche Erfolgspotenziale von WiMAX - Geschäftsmodelle in Deutschland. MMS 2006: 79-90 | |
36 | EE | Constantin Werner, Sebastian Kraatz, Dieter Hogrefe: A UML Profile for Communicating Systems. SAM 2006: 1-18 |
35 | EE | Xiaoming Fu, Hannes Tschofenig, Dieter Hogrefe: Beyond QoS signaling: A new generic IP signaling framework. Computer Networks 50(17): 3416-3433 (2006) |
2005 | ||
34 | EE | Xiaoming Fu, Dieter Hogrefe: Modeling Soft State Protocols with SDL. NETWORKING 2005: 289-302 |
33 | EE | Constantin Werner, Xiaoming Fu, Dieter Hogrefe: Modeling Route Change in Soft-State Signaling Protocols Using SDL: A Case of RSVP. SDL Forum 2005: 174-186 |
32 | EE | Marco Zibull, André Riedel, Dieter Hogrefe: Voice over wireless LAN: a fine-scalable channel-adaptive speech coding scheme. WMASH 2005: 111-114 |
31 | EE | Dieter Hogrefe, Rick Reed: Telecommunications and UML languages. Computer Networks 49(5): 622-626 (2005) |
2004 | ||
30 | EE | Xiaoming Fu, Dieter Hogrefe, Sebastian Willert: Implementation and Evaluation of the Cross-Application Signaling Protocol(CASP). ICNP 2004: 61-71 |
2003 | ||
29 | Dieter Hogrefe, Anthony Wiles: Testing of Communicating Systems, 15th IFIP International Conference, TestCom 2003, Sophia Antipolis, France, May 26-28, 2003, Proceedings Springer 2003 | |
28 | Dieter Hogrefe, R. Köster, Constantin Werner, Marco Zibull: Teleteaching an der Universität Göttingen: Systemarchitektur und Problematiken. DeLFI 2003: 129-133 | |
27 | EE | Jens Grabowski, Dieter Hogrefe, György Réthy, Ina Schieferdecker, Anthony Wiles, Colin Willcock: An introduction to the testing and test control notation (TTCN-3). Computer Networks 42(3): 375-403 (2003) |
26 | EE | Dieter Hogrefe: Main issues in protocol testing. STTT 4(4): 397-400 (2003) |
2002 | ||
25 | Jens Grabowski, Dieter Hogrefe: SDL- and MSC-Based Specification and Automated Test Case Generation for INAP. Telecommunication Systems 20(3-4): 265-290 (2002) | |
2001 | ||
24 | EE | Dieter Hogrefe, Beat Koch, Helmut Neukirchen: Some Implications of MSC, SDL and TTCN Time Extensions for Computer-Aided Test Generation. SDL Forum 2001: 168-181 |
2000 | ||
23 | Jens Grabowski, Anthony Wiles, Colin Willcock, Dieter Hogrefe: On the Design of the New Testing Language TTCN-3. TestCom 2000: 161-176 | |
1999 | ||
22 | Jens Grabowski, Dieter Hogrefe: Towards the Third Edition of TTCN. IWTCS 1999: 19-30 | |
21 | Jens Grabowski, Beat Koch, Michael Schmitt II, Dieter Hogrefe: SDL and MSC based test generation for distributed test architectures. SDL Forum 1999: 389-404 | |
1998 | ||
20 | Rudolf Scheurer, Jens Grabowski, Dieter Hogrefe: Revised Comparison of an Automatically Generated and a Manually Specified Abstract Test Suite for the B-ISDN Protocol SSCOP. FBT 1998: 26-37 | |
19 | Michael Schmitt II, Anders Ek, Beat Koch, Jens Grabowski, Dieter Hogrefe: Autolink - Putting SDL-Based Test Generation Into Practice. IWTCS 1998: 227-244 | |
18 | Dieter Hogrefe: Enhancing the Reliability of Internet Based Teleteaching Applications through the Combined Use of ISDN and Internet. Teleteaching 1998: 455-464 | |
17 | EE | Beat Koch, Jens Grabowski, Dieter Hogrefe, Michael Schmitt II: Autolink: A Tool for Automatic Test Generation from SDL Specifications. WIFT 1998: 114- |
1997 | ||
16 | Michael Schmitt II, Jens Grabowski, Dieter Hogrefe, Beat Koch: -Autolink- A Tool for the Automatic and Semi-Automatic Test Generation. FBT 1997: 333-341 | |
15 | Anders Ek, Jens Grabowski, Dieter Hogrefe, Richard Jerome, Beat Koch, Michael Schmitt II: Towards the industrial use of validation techniques and automatic test generation methods for SDL specifications. SDL Forum 1997: 245-260 | |
1996 | ||
14 | EE | Dieter Hogrefe: Validation of SDL Systems. Computer Networks and ISDN Systems 28(12): 1659-1667 (1996) |
1995 | ||
13 | Dieter Hogrefe, Stefan Leue: Formal Description Techniques VII, Proceedings of the 7th IFIP WG6.1 International Conference on Formal Description Techniques, Berne, Switzerland, 1994 Chapman & Hall 1995 | |
1993 | ||
12 | Rolf Oppliger, Stephan Weber, Dieter Hogrefe: Entwurf von virtuell privaten Netzen. Kommunikation in Verteilten Systemen 1993: 428-441 | |
1992 | ||
11 | Jean Philippe Favreau, Dieter Hogrefe, Jan Kroon: Formal Methods in Conformance Testing: Status and Expectations. PSTV 1992: 299-316 | |
1991 | ||
10 | Dieter Hogrefe: Konformitätstesten basierend auf formalen Spezifikationen. Kommunikation in Verteilten Systemen 1991: 524-537 | |
9 | D. Blättler, Dieter Hogrefe: The 5 ODP Viewpoints on the Schindler Group. Open Distributed Processing 1991: 357-364 | |
8 | Dieter Hogrefe: Session on Conformance Requirements and Test Purposes in the Context of Formal Methods. Protocol Test Systems 1991: 289-290 | |
7 | Dieter Hogrefe: On the Development of a Standard for Conformance Testing Based on Formal Specifictations. Protocol Test Systems 1991: 59-66 | |
6 | Elke Heck, Dieter Hogrefe, Bruno Müller-Clostermann: Hierarchical Performance Evaluation Based on Formally Specified Communication Protocols. IEEE Trans. Computers 40(4): 500-513 (1991) | |
1990 | ||
5 | Dieter Hogrefe: Conformance Testing Based on Formal Methods. FORTE 1990: 207-222 | |
1989 | ||
4 | Dieter Hogrefe: Konstruktive Qualitätssicherungsmaßnahmen für Dienst- und Protokollspezifikationen. Kommunikation in Verteilten Systemen 1989: 160-173 | |
3 | Ferenc Belina, Dieter Hogrefe: The CCITT-Specification and Description Language SDL. Computer Networks 16: 311-341 (1989) | |
1988 | ||
2 | Ferenc Belina, Dieter Hogrefe, Sebastiano Triglia: Modelling OSI in SDL. FORTE 1988: 135-142 | |
1 | Dieter Hogrefe, Amardeo Sarma: Non-Determinism and SDL. FORTE 1988: 157-167 |