SDL: formal object-oriented language for communicating systems J Ellsberger, D Hogrefe, A Sarma (No Title), 1997 | 538 | 1997 |
SDL with applications from protocol specification F Belina, D Hogrefe, A Sarma Prentice-Hall, Inc., 1991 | 406 | 1991 |
The CCITT-specification and description language SDL F Belina, D Hogrefe Computer Networks and ISDN Systems 16 (4), 311-341, 1989 | 254 | 1989 |
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 | 230 | 2006 |
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 | 222 | 2016 |
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 | 213 | 2003 |
Estelle D Hogrefe, D Hogrefe Estelle, LOTOS und SDL: Standard-Spezifikationssprachen für verteilte …, 1989 | 153 | 1989 |
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 | 140 | 2005 |
Test case generation with test purpose specification by MSCs J Grabowski, D Hogrefe, R Nahm SDL 93, 253-266, 1993 | 121 | 1993 |
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 | 109 | 2017 |
OSI formal specification case study: the Inres protocol and service D Hogrefe Universität Bern. Institut für Informatik und Angewandte Mathematik, 1991 | 102 | 1991 |
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 | 98 | 2018 |
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 | 76 | 2000 |
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 | 72 | 2015 |
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 | 69 | 2018 |
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 | 61 | 2019 |
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 | 61 | 1998 |
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 | 60 | 1998 |
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 | 54 | 2005 |
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 | 50 | 2018 |