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 |