Dieter Hogrefe
Dieter Hogrefe
Universität Göttingen
Keine bestätigte E-Mail-Adresse
TitelZitiert vonJahr
SDL: formal object-oriented language for communicating systems
J Ellsberger, D Hogrefe, A Sarma
Prentice Hall, 1997
4941997
SDL with applications from protocol specification
F Belina, D Hogrefe, A Sarma
Prentice-Hall, Inc., 1991
3821991
The CCITT-specification and description language SDL
F Belina, D Hogrefe
Computer Networks and ISDN Systems 16 (4), 311-341, 1989
2281989
A review of mobility support paradigms for the internet.
D Le, X Fu, D Hogrefe
IEEE Communications Surveys and Tutorials 8 (1-4), 38-51, 2006
2032006
An introduction to the testing and test control notation (TTCN-3)
J Grabowski, D Hogrefe, G Réthy, I Schieferdecker, A Wiles, C Willcock
Computer Networks 42 (3), 375-403, 2003
1772003
Estelle
D Hogrefe
Estelle, LOTOS und SDL, 23-65, 1989
1431989
NSIS: a new extensible IP signaling protocol suite
X Fu, H Schulzrinne, A Bader, D Hogrefe, C Kappler, G Karagiannis, ...
IEEE Communications Magazine 43 (10), 133-141, 2005
1292005
Test case generation with test purpose specification by MSCs
J Grabowski, D Hogrefe, R Nahm
SDL 93, 253-266, 1993
1121993
OSI formal specification case study: the Inres protocol and service
D Hogrefe
Universität Bern. Institut für Informatik und Angewandte Mathematik, 1991
961991
Self-managed and blockchain-based vehicular ad-hoc networks
B Leiding, P Memarmoshrefi, D Hogrefe
Proceedings of the 2016 ACM International Joint Conference on Pervasive and …, 2016
732016
On the design of the new testing language TTCN-3
J Grabowski, A Wiles, C Willcock, D Hogrefe
Testing of Communicating Systems, 161-176, 2000
652000
Demonstrating the BigDAWG Polystore System for Ocean Metagenomics Analysis.
T Mattson, V Gadepally, Z She, A Dziedzic, J Parkhurst
CIDR, 2017
622017
Autolink-a tool for automatic test generation from SDL specifications
B Koch, J Grabowski, D Hogrefe, M Schmitt
Proceedings. 2nd IEEE Workshop on Industrial Strength Formal Specification …, 1998
551998
Autolink—putting SDL-based test generation into practice
M Schmitt, A Ek, J Grabowski, D Hogrefe, B Koch
Testing of Communicating Systems, 227-243, 1998
521998
Technische Möglichkeiten und Akzeptanz mobiler Anwendungen
T Hess, S Figge, H Hanekop, I Hochstatter, B Rauscher, D Hogrefe, ...
Wirtschaftsinformatik 47 (1), 6-16, 2005
472005
TESDL: Experience with generating test cases from SDL specifications
L Brömstrup, D Hogrefe
Conformance testing methodologies and architectures for OSI protocols, 455-467, 1995
421995
SDL and MSC based test generation for distributed test architectures
J Grabowski, B Koch, M Schmitt, D Hogrefe
SDL'99, 389-404, 1999
351999
Towards robust key extraction from multipath wireless channels
YEH Shehadeh, O Alfandi, D Hogrefe
Journal of Communications and Networks 14 (4), 385-395, 2012
342012
Overhead and performance study of the general internet signaling transport (GIST) protocol
X Fu, H Schulzrinne, H Tschofenig, C Dickmann, D Hogrefe
IEEE/ACM Transactions on Networking 17 (1), 158-171, 2008
342008
Towards the industrial use of validation techniques and automatic test generation methods for SDL specifications
A Ek, J Grabowski, D Hogrefe, R Jerome, B Koch, M Schmitt
SDL'97: Time for Testing, 245-259, 1997
341997
Das System kann den Vorgang jetzt nicht ausführen. Versuchen Sie es später erneut.
Artikel 1–20