default search action
Dieter Hogrefe
Person information
- affiliation: University Göttingen
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
showing all ?? records
2020 – today
- 2022
- [j37]Yachao Yuan
, Yali Yuan
LbSP: Load-Balanced Secure and Private Autonomous Electric Vehicle Charging Framework With Online Price Optimization. IEEE Internet Things J. 9(17): 15685-15696 (2022) - 2021
- [j36]Yachao Yuan
FedRD: Privacy-preserving adaptive Federated learning framework for intelligent hazardous Road Damage detection and warning. Future Gener. Comput. Syst. 125: 385-398 (2021) - [c89]Emmanuel Charleson Dapaah, Parisa Memarmoshrefi, Dieter Hogrefe:
An AI-Based Transmission Power-Control Certificate Omission in Vehicular Ad-Hoc Networks. ADHOCNETS/TRIDENTCOM 2021: 173-187 - 2020
- [c88]Emmanuel Charleson Dapaah, Parisa Memarmoshrefi, Dieter Hogrefe:
Transmission Power-Control Certificate Omission in Vehicular Ad Hoc Networks. ADHOCNETS 2020: 164-176
2010 – 2019
- 2019
- [j35]Jiliang Li
CL-CPPA: Certificate-Less Conditional Privacy-Preserving Authentication Protocol for the Internet of Vehicles. IEEE Internet Things J. 6(6): 10332-10343 (2019) - [j34]JiLiang Li
AEP-PPA: An anonymous, efficient and provably-secure privacy-preserving authentication protocol for mobile services in smart cities. J. Netw. Comput. Appl. 134: 52-61 (2019) - [j33]Yali Yuan
Topology Control for Energy-Efficient Localization in Mobile Underwater Sensor Networks Using Stackelberg Game. IEEE Trans. Veh. Technol. 68(2): 1487-1500 (2019) - 2018
- [j32]Yali Yuan
Multi-Device Fusion for Enhanced Contextual Awareness of Localization in Indoor Environments. IEEE Access 6: 7422-7431 (2018) - [j31]Yali Yuan
Secure APIT Localization Scheme Against Sybil Attacks in Distributed Wireless Sensor Networks. IEEE Access 6: 27629-27636 (2018) - [j30]JiLiang Li
Security analysis and improvement of a mutual authentication and key agreement solution for wireless sensor networks using chaotic maps. Trans. Emerg. Telecommun. Technol. 29(6) (2018) - [j29]JiLiang Li
EPA-CPPA: An efficient, provably-secure and anonymous conditional privacy-preserving authentication scheme for vehicular ad hoc networks. Veh. Commun. 13: 104-113 (2018) - [c87]Hang Zhang, Arne Bochem
A Security Aware Fuzzy Enhanced Reliable Ant Colony Optimization Routing in Vehicular Ad hoc Networks. Intelligent Vehicles Symposium 2018: 1071-1078 - [c86]Mehdi Akbari Gurabi
Hardware based Two-Factor User Authentication for the Internet of Things. IWCMC 2018: 1081-1086 - [c85]Arne Bochem
Unchained Identities: Putting a Price on Sybil Nodes in Mobile Ad Hoc Networks. SecureComm (1) 2018: 358-374 - [c84]Hang Zhang, Arne Bochem
A Security Aware Fuzzy Enhanced Ant Colony Optimization Routing in Mobile Ad hoc Networks. WiMob 2018: 1-6 - [i1]Yali Yuan, Chencheng Liang, Megumi Kaneko, Xu Chen, Dieter Hogrefe:
Topology Control for Energy-Efficient Localization in Mobile Underwater Sensor Networks using Stackelberg Game. CoRR abs/1805.12361 (2018) - 2017
- [j28]Hang Zhang
A Survey of Ant Colony Optimization Based Routing Protocols for Mobile Ad Hoc Networks. IEEE Access 5: 24139-24161 (2017) - [c83]Betty Mayeku, Franklin Wabwoba
Influence of social personalization on performance in group learning. AFRICON 2017: 731-735 - [c82]Hang Zhang, Xi Wang, Dieter Hogrefe:
A Security Aware Fuzzy Embedded ACO Based Routing Protocol (SAFACO) in VANETs. ICISA 2017: 274-281 - [c81]Betty Mayeku, Dieter Hogrefe:
A Framework for Integrating Pedagogy and Technology in Context-Aware Learning Environment. ICWL 2017: 215-220 - [c80]Arne Bochem
Poster abstract: Streamlined anomaly detection in web requests using recurrent neural networks. INFOCOM Workshops 2017: 1016-1017 - [c79]Yali Yuan, Liuwei Huo, Dieter Hogrefe:
Two Layers Multi-class Detection method for network Intrusion Detection System. ISCC 2017: 767-772 - 2016
- [j27]Parisa Memarmoshrefi, Roman Seibel, Dieter Hogrefe:
Autonomous Ant-based Public Key Authentication Mechanism for Mobile Ad-hoc Networks. Mob. Networks Appl. 21(1): 149-160 (2016) - [j26]Hang Zhang, Parisa Memarmoshrefi, Fatemeh Ashrafi, Dieter Hogrefe:
Investigating the Learning Phase of an Autonomous Authentication in Mobile Ad-hoc Networks. EAI Endorsed Trans. Security Safety 3(9): e5 (2016) - [c78]Somayeh Taheri, Radu Stoleru, Dieter Hogrefe:
Secure Neighbor Discovery in Mobile Ad Hoc Networks through Local Topology Visualization. AINA 2016: 933-940 - [c77]Salke Hartung, Arne Bochem, Andreas Zdziarstek, Dieter Hogrefe:
Applied Sensor-Assisted Monte Carlo Localization for Mobile Wireless Sensor Networks. EWSN 2016: 181-192 - [c76]Arne Bochem, Andreas Zdziarstek, Salke Hartung, Dieter Hogrefe:
Demo: Dead Reckoning for Monte Carlo Localization in Low Seed Density Scenarios. EWSN 2016: 227-228 - [c75]Omar Alfandi
Calculating the Speed of Vehicles Using Wireless Sensor Networks. FedCSIS 2016: 1043-1047 - [c74]Benjamin Leiding
Self-managed and blockchain-based vehicular ad-hoc networks. UbiComp Adjunct 2016: 137-140 - [c73]Roman Seibel, Somayeh Taheri, Keyu Wang, Dieter Hogrefe:
Minimizing intra-flow interference in multi-channel mesh networks: An optimization approach. IPCCC 2016: 1-10 - [c72]Arne Bochem
A privacy-preserving and power-efficient bicycle tracking scheme for theft mitigation. ISC2 2016: 1-4 - [c71]Arne Bochem
Tri-MCL: Synergistic Localization for Mobile Ad-Hoc and Wireless Sensor Networks. LCN 2016: 333-338 - [c70]Yali Yuan, Georgios Kaklamanos
A Novel Semi-Supervised Adaboost Technique for Network Anomaly Detection. MSWiM 2016: 111-114 - [c69]Salke Hartung, Ansgar Kellner, Konrad Rieck, Dieter Hogrefe:
Monte Carlo Localization for path-based mobility in mobile wireless sensor networks. WCNC 2016: 1-7 - 2015
- [j25]Somayeh Taheri, Salke Hartung, Dieter Hogrefe:
Anonymous group-based routing in MANETs. J. Inf. Secur. Appl. 22: 87-98 (2015) - [j24]Youssef El Hajj Shehadeh, Dieter Hogrefe:
A survey on secret key generation mechanisms on the physical layer in wireless networks. Secur. Commun. Networks 8(2): 332-341 (2015) - [j23]Omar Alfandi
Secure and Authenticated Data Communication in Wireless Sensor Networks. Sensors 15(8): 19560-19582 (2015) - [c68]Hadeer Elsemary, Dieter Hogrefe:
Malware-Defense Secure Routing in Intelligent Device-to-Device Communications. AISI 2015: 485-495 - [c67]Hang Zhang, Parisa Memarmoshrefi, Fatemeh Ashrafi, Dieter Hogrefe:
Investigating the Learning Phase of an Autonomous Authentication in Mobile Ad-hoc Networks. BICT 2015: 91-92 - [c66]Betty Mayeku, Sviatoslav Edelev, Sunaina Nelamane Prasad, Hemanth Karnal, Dieter Hogrefe:
PECALE: An Environment for Enhancing Personalization and Learner Engagement in an Online Learning Platform. ICALT 2015: 70-71 - [c65]Omar Alfandi
Received signal strength indication for movement detection. ICMU 2015: 82-83 - [c64]Sviatoslav Edelev, Sunaina Nelamane Prasad, Hemanth Karnal, Dieter Hogrefe:
Knowledge-assisted location-adaptive technique for indoor-outdoor detection in e-learning. PerCom Workshops 2015: 8-13 - [c63]Sviatoslav Edelev, Somayeh Taheri, Dieter Hogrefe:
A secure minimalist RFID authentication and an ownership transfer protocol compliant to EPC C1G2. RFID-TA 2015: 126-133 - 2014
- [j22]Ansgar Kellner, Dieter Hogrefe:
Multi-objective ant colony optimisation-based routing in WSNs. Int. J. Bio Inspired Comput. 6(5): 322-332 (2014) - [j21]Shaik Sahil Babu, Arnab Raha, Omar Alfandi
Trust integrated node potential aware routing for WSNs. Int. J. Trust. Manag. Comput. Commun. 2(2): 103-124 (2014) - [c62]Ansgar Kellner, Parisa Memarmoshrefi, Dieter Hogrefe:
Securing Mobile Ad-Hoc Networks Using an Artificial Immune System. BICT 2014 - [c61]Parisa Memarmoshrefi, Hang Zhang, Dieter Hogrefe:
Social Insect-based Sybil Attack Detection in Mobile Ad-hoc Networks. BICT 2014 - [c60]Youssef El Hajj Shehadeh, Mohamad Hotait, Dieter Hogrefe:
SODCA: A Self-Organized Distributed Channel Access scheme for IEEE 802.11 networks. ICNC 2014: 704-709 - [c59]Sripriya Srikant Adhatarao, Omar Alfandi
Smart parking system for vehicles. VNC 2014: 189-190 - 2013
- [c58]Omar Alfandi
Improving energy efficiency of data communication in a hybrid PKI-based approach for WSNs. CCNC 2013: 697-700 - [c57]Somayeh Taheri, Dieter Hogrefe:
Robust and scalable secure neighbor discovery for wireless ad hoc networks. ICC 2013: 2084-2089 - [c56]Youssef El Hajj Shehadeh, Mohamad Hotait, Kifah Tout, Dieter Hogrefe:
Random backoff control to thwart malicious behavior in WLANs. LANMAN 2013: 1-6 - [c55]Maimun Rizal, Somayeh Taheri, Dieter Hogrefe:
Empirical performance analysis of anonymizing VoIP over The Onion Router (TOR) network. PRISMS 2013: 1-4 - [c54]Somayeh Taheri, Salke Hartung, Dieter Hogrefe:
Anonymity and privacy in multicast mobile ad hoc networks. SIN 2013: 241-250 - [c53]Parisa Memarmoshrefi, Hang Zhang, Dieter Hogrefe:
Investigation of a bio-inspired security mechanism in Mobile Ad hoc Networks. WiMob 2013: 709-716 - 2012
- [j20]Somayeh Taheri, Salke Hartung, Dieter Hogrefe:
RDIS: destination location privacy in MANETs. Int. J. Inf. Priv. Secur. Integr. 1(2/3): 253-277 (2012) - [j19]Youssef El Hajj Shehadeh, Omar Alfandi
Towards robust key extraction from multipath wireless channels. J. Commun. Networks 14(4): 385-395 (2012) - [c52]Arnab Raha
An optimal sensor deployment scheme to ensure multi level coverage and connectivity in wireless sensor networks. IWCMC 2012: 299-304 - [c51]Youssef El Hajj Shehadeh, Omar Alfandi
On improving the robustness of physical-layer key extraction mechanisms against delay and mobility. IWCMC 2012: 1028-1033 - [c50]Arnab Raha
A Novel Indirect Trust Based Link State Routing Scheme Using a Robust Route Trust Method for Wireless Sensor Networks. NTMS 2012: 1-5 - [c49]Parisa Memarmoshrefi, Omar Alfandi
Autonomous Group-Based Authentication Mechanism in Mobile Ad Hoc Networks. TrustCom 2012: 1097-1102 - [c48]Shaik Sahil Babu, Arnab Raha
Fuzzy Logic Election of Node for Routing in WSNs. TrustCom 2012: 1279-1284 - 2011
- [c47]Arnab Raha
Trust integrated link state routing protocol for Wireless Sensor Networks (TILSRP). IEEE ANTS 2011: 1-6 - [c46]Saleh Al-shadly, Omar Alfandi
Security Verification of Trust-Based Authentication Handover in IP Networks. ICCCN 2011: 1-6 - [c45]Zhixiao Wang, Omar Alfandi
TAGER: Trust-Aware Georouting Protocol for Wireless Sensor Networks. MASS 2011: 167-169 - [c44]Youssef El Hajj Shehadeh, Dieter Hogrefe:
An Optimal Guard-Intervals Based Mechanism for Key Generation from Multipath Wireless Channels. NTMS 2011: 1-5 - [c43]Youssef El Hajj Shehadeh, Omar Alfandi
Intelligent mechanisms for key generation from multipath wireless channels. WTS 2011: 1-6 - 2010
- [j18]Jun Lei, Xiaoming Fu
D-MORE: Dynamic mesh-based overlay peer-to-peer infrastructure. Comput. Commun. 33(10): 1191-1201 (2010) - [j17]Deguang Le, Xiaoming Fu
A Cross-Layer Approach for Improving TCP Performance in Mobile Environments. Wirel. Pers. Commun. 52(3): 669-692 (2010) - [c42]Parisa Memarmoshrefi, Roman Seibel, Dieter Hogrefe:
Bio-inspired Self-organized Public Key Authentication Mechanism for Mobile Ad-hoc Networks. BIONETICS 2010: 375-386 - [c41]Roman Seibel, Nils-Hendrik Klann, Tim Waage, Dieter Hogrefe:
Wireless Mesh Networks for Infrastructure Deficient Areas. WCITD/NF 2010: 26-38 - [c40]Somayeh Taheri, Salke Hartung, Dieter Hogrefe:
Achieving Receiver Location Privacy in Mobile Ad Hoc Networks. SocialCom/PASSAT 2010: 800-807
2000 – 2009
- 2009
- [j16]Xiaoming Fu
Overhead and performance study of the general internet signaling transport (GIST) protocol. IEEE/ACM Trans. Netw. 17(1): 158-171 (2009) - [c39]Sven Anderson, Saverio Niccolini, Dieter Hogrefe:
SIPFIX: A scheme for distributed SIP monitoring. Integrated Network Management 2009: 382-389 - [e3]Michael Wagner, Dieter Hogrefe, Kurt Geihs, Klaus David:
Preface. Electron. Commun. Eur. Assoc. Softw. Sci. Technol. 17 (2009) - 2008
- [c38]Patryk Chamuczynski, Omar Alfandi
Performance Study of PANA Pre-authentication for Interdomain Handover. ICNS 2008: 79-83 - [c37]Omar Alfandi
Fast Re-Authentication for Inter-Domain Handover using Context Transfer. ICOIN 2008: 1-5 - [c36]Patryk Chamuczynski, Omar Alfandi
Enabling Pervasiveness by Seamless Inter-domain Handover: Performance Study of PANA Pre-authentication. PerCom 2008: 372-376 - 2007
- [j15]Jun Lei, Xiaoming Fu
Comparative studies on authentication and key exchange methods for 802.11 wireless LAN. Comput. Secur. 26(5): 401-409 (2007) - [c35]Deguang Le, Xiaoming Fu
E²T: End-to-End Tunneling Extension to Mobile IPv6. CCNC 2007: 84-88 - [c34]Xiaoming Fu
DMMP: A New Dynamic Mesh-based Overlay Multicast Protocol Framework. CCNC 2007: 1001-1006 - [c33]Niklas Steinleitner, Xiaoming Fu
An NSIS-based approach for firewall traversal in mobile IPv6 networks. WICON 2007: 15 - 2006
- [j14]Xiaoming Fu
Beyond QoS signaling: A new generic IP signaling framework. Comput. Networks 50(17): 3416-3433 (2006) - [j13]Deguang Le, Xiaoming Fu
A review of mobility support paradigms for the internet. IEEE Commun. Surv. Tutorials 8(1-4): 38-51 (2006) - [c32]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: 1-5 - [c31]André Riedel, Timo Fischer, Dieter Hogrefe:
Optimising Wimax Business Models using Incentive Engineering. ICON 2006: 1-6 - [c30]Rene Soltwisch, Constantin Werner, Dieter Hogrefe:
An Evaluation of Multi-Role Access Routers Specification and Validation of an IDKE aware Access Router. ICON 2006: 1-6 - [c29]Xiaoming Fu
Overhead and Performance Study of the General Internet Signaling Transport (GIST) Protocol. INFOCOM 2006 - [c28]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 - [c27]Constantin Werner, Sebastian Kraatz, Dieter Hogrefe:
A UML Profile for Communicating Systems. SAM 2006: 1-18 - 2005
- [j12]Xiaoming Fu
NSIS: a new extensible IP signaling protocol suite. IEEE Commun. Mag. 43(10): 133-141 (2005) - [j11]Dieter Hogrefe, Rick Reed:
Telecommunications and UML languages. Comput. Networks 49(5): 622-626 (2005) - [j10]Thomas Hess, Stefan Figge, Heidemarie Hanekop, Iris Hochstatter, Barbara Rauscher, Dieter Hogrefe, André Riedel, Marco Zibull, Christian M. Kaspar, Markus Richter:
Technische Möglichkeiten und Akzeptanz mobiler Anwendungen - Eine interdisziplinäre Betrachtung. Wirtschaftsinf. 47(1): 6-16 (2005) - [c26]Xiaoming Fu, Dieter Hogrefe:
Modeling Soft State Protocols with SDL. NETWORKING 2005: 289-302 - [c25]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 - [c24]Marco Zibull, André Riedel, Dieter Hogrefe:
Voice over wireless LAN: a fine-scalable channel-adaptive speech coding scheme. WMASH 2005: 111-114 - 2004
- [c23]Xiaoming Fu, Dieter Hogrefe, Sebastian Willert:
Implementation and Evaluation of the Cross-Application Signaling Protocol(CASP). ICNP 2004: 61-71 - [c22]Rene Alexander Soltwisch, Xiaoming Fu
A method for authentication and key exchange for seamless inter-domain handovers. ICON 2004: 463-469 - 2003
- [j9]Jens Grabowski, Dieter Hogrefe, György Réthy, Ina Schieferdecker
An introduction to the testing and test control notation (TTCN-3). Comput. Networks 42(3): 375-403 (2003) - [j8]Dieter Hogrefe:
Main issues in protocol testing. Int. J. Softw. Tools Technol. Transf. 4(4): 397-400 (2003) - [c21]Dieter Hogrefe, R. Köster, Constantin Werner, Marco Zibull:
Teleteaching an der Universität Göttingen: Systemarchitektur und Problematiken. DeLFI 2003: 129-133 - [e2]Dieter Hogrefe, Anthony Wiles:
Testing of Communicating Systems, 15th IFIP International Conference, TestCom 2003, Sophia Antipolis, France, May 26-28, 2003, Proceedings. Lecture Notes in Computer Science 2644, Springer 2003, ISBN 3-540-40123-7 [contents] - 2002
- [j7]Jens Grabowski, Dieter Hogrefe:
SDL- and MSC-Based Specification and Automated Test Case Generation for INAP. Telecommun. Syst. 20(3-4): 265-290 (2002) - 2001
- [c20]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
- [c19]Jens Grabowski, Anthony Wiles, Colin Willcock, Dieter Hogrefe:
On the Design of the New Testing Language TTCN-3. TestCom 2000: 161-176
1990 – 1999
- 1999
- [c18]Jens Grabowski, Dieter Hogrefe:
Towards the Third Edition of TTCN. IWTCS 1999: 19-30 - [c17]Jens Grabowski, Beat Koch, Michael Schmitt, Dieter Hogrefe:
SDL and MSC based test generation for distributed test architectures. SDL Forum 1999: 389-404 - 1998
- [c16]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 - [c15]Dieter Hogrefe:
Enhancing the Reliability of Internet Based Teleteaching Applications through the Combined Use of ISDN and Internet. Teleteaching 1998: 455-464 - [c14]Michael Schmitt, Anders Ek, Beat Koch, Jens Grabowski, Dieter Hogrefe:
Autolink - Putting SDL-Based Test Generation Into Practice. IWTCS 1998: 227-244 - [c13]Beat Koch, Jens Grabowski, Dieter Hogrefe, Michael Schmitt:
Autolink: A Tool for Automatic Test Generation from SDL Specifications. WIFT 1998: 114- - 1997
- [c12]Michael Schmitt, Jens Grabowski, Dieter Hogrefe, Beat Koch:
-Autolink- A Tool for the Automatic and Semi-Automatic Test Generation. FBT 1997: 333-341 - [c11]Anders Ek, Jens Grabowski, Dieter Hogrefe, Richard Jerome, Beat Koch, Michael Schmitt:
Towards the industrial use of validation techniques and automatic test generation methods for SDL specifications. SDL Forum 1997: 245-260 - 1996
- [j6]Dieter Hogrefe:
Validation of SDL Systems. Comput. Networks ISDN Syst. 28(12): 1659-1667 (1996) - 1995
- [e1]Dieter Hogrefe, Stefan Leue:
Formal Description Techniques VII, Proceedings of the 7th IFIP WG6.1 International Conference on Formal Description Techniques, Berne, Switzerland, 1994. IFIP Conference Proceedings 6, Chapman & Hall 1995, ISBN 0-412-64450-9 [contents] - 1994
- [j5]Jens Grabowski, Robert Nahm, Andreas Spichiger, Dieter Hogrefe:
Die SAMSTAG Methode und ihre Rolle im Konformitätstesten. Prax. Inf.verarb. Kommun. 17(4): 214-224 (1994) - 1993
- [c10]Rolf Oppliger, Stephan Weber, Dieter Hogrefe:
Entwurf von virtuell privaten Netzen. Kommunikation in Verteilten Systemen 1993: 428-441 - 1992
- [j4]Rolf Oppliger, Dieter Hogrefe:
Sicherheit in unternehmensweiten Kommunikationsnetzen (CCN). Prax. Inf.verarb. Kommun. 15(4): 213-217 (1992) - [c9]Jean Philippe Favreau, Dieter Hogrefe, Jan Kroon:
Formal Methods in Conformance Testing: Status and Expectations. PSTV 1992: 299-316 - 1991
- [b2]Ferenc Belina, Dieter Hogrefe, Amardeo Sarma:
SDL - with applications from protocol specification. BCS practitioner series, Prentice Hall 1991, ISBN 978-0-13-785890-3, pp. I-XI, 1-275 - [j3]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) - [c8]Dieter Hogrefe:
Konformitätstesten basierend auf formalen Spezifikationen. Kommunikation in Verteilten Systemen 1991: 524-537 - [c7]D. Blättler, Dieter Hogrefe:
The 5 ODP Viewpoints on the Schindler Group. Open Distributed Processing 1991: 357-364 - [c6]Dieter Hogrefe:
On the Development of a Standard for Conformance Testing Based on Formal Specifictations. Protocol Test Systems 1991: 59-66 - [c5]Dieter Hogrefe:
Session on Conformance Requirements and Test Purposes in the Context of Formal Methods. Protocol Test Systems 1991: 289-290 - 1990
- [c4]Dieter Hogrefe:
Conformance Testing Based on Formal Methods. FORTE 1990: 207-222
1980 – 1989
- 1989
- [j2]Ferenc Belina, Dieter Hogrefe:
The CCITT-Specification and Description Language SDL. Comput. Networks 16: 311-341 (1989) - [c3]Dieter Hogrefe:
Konstruktive Qualitätssicherungsmaßnahmen für Dienst- und Protokollspezifikationen. Kommunikation in Verteilten Systemen 1989: 160-173 - 1988
- [j1]Dieter Hogrefe:
OSI service specification with CCITT-SDL. Comput. Commun. Rev. 18(1-2): 63-90 (1988) - [c2]Ferenc Belina, Dieter Hogrefe, Sebastiano Triglia:
Modelling OSI in SDL. FORTE 1988: 135-142 - [c1]Dieter Hogrefe, Amardeo Sarma:
Non-Determinism and SDL. FORTE 1988: 157-167 - 1985
- [b1]Dieter Hogrefe:
Über hierarchisch konstruierte Modelle und deren Simulation: systemtheoret. Aspekte. University of Hanover, Hannover, Germany, 1985, pp. 1-173
Coauthor Index
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from ,
, and
to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and
to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from .
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2024-05-02 20:55 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by: