Follow
Dieter Hogrefe
Dieter Hogrefe
Universität Göttingen
No verified email
Title
Cited by
Cited by
Year
SDL: formal object-oriented language for communicating systems
J Ellsberger, D Hogrefe, A Sarma
(No Title), 1997
5421997
SDL with applications from protocol specification
F Belina, D Hogrefe, A Sarma
Prentice-Hall, Inc., 1991
4071991
The CCITT-specification and description language SDL
F Belina, D Hogrefe
Computer Networks and ISDN Systems 16 (4), 311-341, 1989
2511989
A review of mobility support paradigms for the internet.
D Le, X Fu, D Hogrefe
IEEE Commun. Surv. Tutorials 8 (1-4), 38-51, 2006
2302006
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
2212016
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
2122003
Estelle
D Hogrefe, D Hogrefe
Estelle, LOTOS und SDL: Standard-Spezifikationssprachen für verteilte …, 1989
1551989
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
1392005
Test case generation with test purpose specification by MSCs
J Grabowski, D Hogrefe, R Nahm
SDL 93, 253-266, 1993
1231993
OSI formal specification case study: the Inres protocol and service
D Hogrefe
Universität Bern. Institut für Informatik und Angewandte Mathematik, 1991
1031991
A survey of ant colony optimization based routing protocols for mobile ad hoc networks
H Zhang, X Wang, P Memarmoshrefi, D Hogrefe
IEEE access 5, 24139-24161, 2017
992017
EPA-CPPA: An efficient, provably-secure and anonymous conditional privacy-preserving authentication scheme for vehicular ad hoc networks
JL Li, KKR Choo, WG Zhang, S Kumari, JJPC Rodrigues, MK Khan, ...
Vehicular Communications 13, 104-113, 2018
932018
On the design of the new testing language TTCN-3
J Grabowski, A Wiles, C Willcock, D Hogrefe
Testing of Communicating Systems: Tools and Techniques. IFIP TC6/WG6. 1 13 …, 2000
762000
Secure APIT localization scheme against sybil attacks in distributed wireless sensor networks
Y Yuan, L Huo, Z Wang, D Hogrefe
IEEE Access 6, 27629-27636, 2018
702018
A survey on secret key generation mechanisms on the physical layer in wireless networks
YEH Shehadeh, D Hogrefe
Security and Communication Networks 8 (2), 332-341, 2015
702015
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
601998
Autolink—putting SDL-based test generation into practice
M Schmitt, A Ek, J Grabowski, D Hogrefe, B Koch
Testing of Communicating Systems: Proceedings of the IFIP TC6 11th …, 1998
581998
Technische Möglichkeiten und Akzeptanz mobiler Anwendungen-Eine interdisziplinäre Betrachtung.
T Hess, S Figge, H Hanekop, I Hochstatter, B Rauscher, D Hogrefe, ...
Wirtschaftsinf. 47 (1), 6-16, 2005
552005
CL-CPPA: Certificate-less conditional privacy-preserving authentication protocol for the Internet of Vehicles
J Li, Y Ji, KKR Choo, D Hogrefe
IEEE Internet of Things Journal 6 (6), 10332-10343, 2019
542019
Topology control for energy-efficient localization in mobile underwater sensor networks using Stackelberg game
Y Yuan, C Liang, M Kaneko, X Chen, D Hogrefe
IEEE Transactions on Vehicular Technology 68 (2), 1487-1500, 2018
472018
The system can't perform the operation now. Try again later.
Articles 1–20