Koch, B., Grabowski, J., Hogrefe, D., Schmitt, M.: Autolink - A Tool for Automatic Test Generation from SDL Specifications, 2nd IEEE Workshop on Industrial Strength Formal Specification Techniques, Boca Raton Oct. 1998, IEEE Computer Society, 1999.

Grabowski, J., Hogrefe, D: An Introduction to TTCN-3. '12th IFIP International Workshop on Testing Communicating Systems' (IWTCS'99), Budapest, Kluwer Academic Publishers, September 1999.

Grabowski, J., Hogrefe, D, Koch, B., Schmitt, M.: SDL and MSC based Test Generation for Distributed Test Architectures, in: SDL'99 - Proceedings of 9th SDL Forum, Montreal, Juni 1999, North-Holland, 1999.

Hogrefe, D.: Teleteaching an der Uni Lübeck, in L. Friedrich (ed.): "Teleteaching als Komponente des universitären Lehrsystems. Technische Plattform - Vermittlungs- und Praesentationsmodi - Evaluation", Raabe Fachverlag, 1999.

Ebner, M., Hogrefe, D.: Virtual Universities, in B. Wolfinger (ed.): Proceedings zu dem 2.WAKI-Symposium "Verteilte multimediale Anwendungen und dienste-integrierende Kommunikationsnetze", 22.-24. Sept. '99, Flensburg.

Hogrefe, D., Ellsberger, J.: The ETSI SDL model for the Intelligent Network Application Protocol, Proc. of SAM 98, Berlin, 29.6-1.7.98.

M. Schmitt, J. Grabowski, D. Hogrefe, B. Koch: Autolink - Putting SDL-based test generation into practice, in: Proceedings of the 11th International IFIP Workshop on Testing of Communicating Systems (IWTCS'98), Tomsk, Aug. 1998, Kluwer Academic Publishers.

J. Grabowski, D. Hogrefe, R. Scheurer: Comparison of an Automatically generated and Manually Specified Abstract Test Suite for the B-ISDN Protocol SSCOP, . Proceedings des 8. GI/ITG Fachgesprächs über 'Formale Beschreibungstechniken für verteilte Systeme', Cottbus, Juni 1998.

Hogrefe, D.: Enhancing the reliability of Internet based teleteaching applications through the combined use of ISDN and Internet, IFIP Teleteaching 98, Chapman&Hall, 1998.

Ellsberger, J., D. Hogrefe, A. Sarma: SDL - object oriented language for communication systems, Prentice-Hall, 1997.

A. Ek, J. Grabowski, D. Hogrefe, R. Jerome, B. Koch, M. Schmitt: Towards the Industrial Use of Validation Techniques and Automatic Test Generation Methods for SDL Specifications, in: Proceedings of the Eighth SDL Forum, Paris, 1997, North-Holland, 1999.

J. Grabowski, D. Hogrefe, R. Scheurer, Z. Dai: Applying SAMSTAG to the B-ISDN

Protocol SSCOP - Technical Description and TTCN Testsuite, in: Proceedings of the 10th International IFIP Workshop on Testing of Communicating Systems (IWTCS'97), Cheju Islands, Korea, Sept. 1997, Chapman & Hall, 1997.

J.Grabowski, D. Hogrefe, B. Koch, M. Schmitt: Autolink - A Tool for the Automatic and Semi-Automatic Test Generation. Proceedings des 7. GI/ITG Fachgesprächs über 'Formale Beschreibungstechniken für verteilte Systeme', Erlangen, Juni 1997.

Hogrefe, D.: Validation of SDL Systems, Computer Networks and ISDN Systems, Elsevier Science, vol. 28, no.12, 1996.

D. Hogrefe: Report on the FMCT project. In: Baumgarten, et. al. (eds.): IWTCS`96, Darmstadt, Chapman & Hall, 1996.

Hogrefe, D., D. Toggweiler, J. Grabowski, H.-R. Scheurer: Dealing with the complexity of state space exploration algorithms for SDL systems, FDT Arbeitskreis, Nürnberg 1996.

Hogrefe, D., S. Leue: Formal Description Techniques, VII. Proceedings of the 7th IFIP International Conference on Formal Description Techniques FORTE'94. Chapman & Hall, 1995.

J. Grabowski, D. Hogrefe, I. Nussbaumer, A. Spichiger: Combining MSCs and Data Descriptions in order to Generate Executable Test Cases for ISDN Systems. In: Proceedings of the 'XV International Switching Symposium (ISS'95) - World Telecommunications Congress' Berlin, 1995.

J. Grabowski, D. Hogrefe, I. Nussbaumer, A. Spichiger: Test Case Specification Based on MSCs and ASN.1 . In: R. Braek, A. Sarma (eds.): SDL'95 with MSC in CASE, Proceedings of the 7th SDL Forum, Oslo 1995. Elservier, Amsterdam 1995.

D. Toggweiler, J. Grabowski, D. Hogrefe: Partial order simulation of SDL specifications. In: R. Braek, A. Sarma (eds.): SDL'95 with MSC in CASE, Proceedings of the 7th SDL Forum, Oslo 1995. Elservier, Amsterdam 1995.

D. Hogrefe: Fernuntericht per Videoconferenz. Unipress Bern, Sept. 1995.

Hogrefe, D., Belina, F., Sarma, A.: SDL with Applications from Protocol Specification, Carl Hanser (Japan), 1994 (auf Japanisch).

D. Hogrefe: Framework for Formal Methods in Conformance Testing. In: Mizuno, Higashino, Shiratori (eds.), : Proceedings of the 7th International IFIP Workshop on Protocol Testing Systems (IWPTS VII), Tokyo. Chapman & Hall, 1994.

R. Oppliger, D. Hogrefe: Security Concepts for Corporate Networks. Proceedings of the IFIP SEC '94, Curacao, N.A., May 1994.

J. Grabowski, D. Hogrefe, I. Nussbaumer, A. Spichiger: Improving the Quality of Test Suites for Conformance Tests by Using Message Sequence Charts. In: Proceedings of the 4th European Software Quality Conference, Basel 1994.

R. Oppliger, D. Hogrefe: Sicherheitsüberlegungen für unternehmensweite Kommunikationsnetze. Telematik-Spektrum, Nr. 1, February 1994.

J. Grabowski, R. Nahm, A. Spichiger, D. Hogrefe: Die SAMSTAG Methode und ihre Rolle im Konformitätstesten. In: 'Praxis der Informationsverarbeitung und Kommunikation (PIK) Nr. 4/94'. Saur, München 1994.

R. Oppliger, S. Weber, D. Hogrefe: Entwurf von virtuell privaten Netzen. In: N. Gerner, H. G. Hegering, J. Swoboda (eds.): Communication in Distributed Systems. ITG/GI-Conference Munich, 1993. Springer, 1993.

Hogrefe, D., Oppliger, R.: Corporate Network Scurity, IEEE Network Conference, Singapore, IEEE Press, 1993

Grabowski, J., Hogrefe, D., Nahm, R.: Test Case Generation with Test Purpose Specification by MSCs, SDL Forum 93, Darmstadt, North-Holland, 1993.

Hogrefe, D.: Conformance Testing im Kontext internationaler Normung, Proceedings EurOSInet-Forum Schweiz Seminar, Februar, 1992.

Hogrefe, D., Favreau, J.-P., Kroon, J.: Formal methods in conformance testing: status and expectations, (in J. Linn, et. al.: Proc. of 12th IFIP conference on Protocol Specification, Testing, and Verification PSTV XII, Orlando), North-Holland, 1992.

Hogrefe, D. (ed.): Formale Beschreibungstechniken für verteilte Systeme, Reihe Informatik Aktuell, Springer, 1992.

Hogrefe, D., Oppliger, R.: Sicherheit in unternehmensweiten Kommunikationsnetzen (CCN),

Praxis der Informationsverarbeitung und Kommunikation (PIK) no. 4, 1992.

Hogrefe, D.: On the development of a standard for Conformance Testing based on Formal Specifications, Computer Networks and Interfaces, no. 14, 1992.

Hogrefe, D., Weber, S., Oppliger, R.: An Optimization Method for Virtual Private Network Design, 2nd Int. Conf. on Private Switching Systems and Networks, IEE, London, June, 1992.

Hogrefe, D.: The ISO and CCITT activities on formal methods in conformance testing, (in J. Kroon, et.al.: Proc. of IFIP conference on Protocol Test Systems IWPTS 91, The Hague, 1991), North-Holland, 1991.

Hogrefe, D., Belina, F., Sarma, A.: SDL with Applications from Protocol Specification, Prentice-Hall, 1991.

Heck, E., Hogrefe, D., Müller-Clostermann, B.: Hierarchical Performance Evaluation Based on Formally Specified Communication Protocols, IEEE Transactions on Computers , April, 1991.

Hogrefe, D.: Konformitätstesten basierend auf formalen Spezifikationen (in Effelsberger: Kommunikation In Verteilten Systemen '91, Mannheim, 1991), Springer-Verlag, 1991.

Hogrefe, D.: The ISO and CCITT activities on formal methods in conformance testing, (in J. Kroon, et.al.: Proc. of IFIP conference on Protocol Test Systems IWPTS 91, The Hague, 1991), North-Holland, 1991.

Hogrefe, D., Blättler, D.: The 5 ODP viewpoints on the Schindler group, (in J. deMeer: Proc. of IFIP workshop on Open Distributed Processing IWODP 91, Berlin), North-Holland, 1991.

Hogrefe, D.: Conformance Testing based on Formal Methods, (in J. Quemada: Proc. of IFIP conference on Formal Description Techniques FORTE'90, Madrid, 1990), North Holland, 1991.

Hogrefe, D.: On the development of a standard for conformance testing based on formal specifications, ISCOM 91, IEEE, 1991.

Hogrefe, D.: Estelle, LOTOS und SDL: Standard-Spezifikationssprachen für verteilte Systeme, Springer Compass, Springer-Verlag, 1989.

Hogrefe, D.: Konstruktive Qualitätssicherungsmaßnahmen für Dienst- und Protokollspezifikationen (in Kühn: Kommunikation In Verteilten Systemen '89, Stuttgart, 1989), Informatik-Fachberichte, Springer-Verlag, 1989.

Brömstrup, L., Hogrefe, D. : TESDL: A Tool for Generation of Test Cases from SDL Specifications (in O.Faergemand: Proc. of Fourth SDL Forum, Lissabon, 1989), Elsevier Science Publ., Amsterdam, 1989, 16 p.

Hogrefe, D. , Sarma, A: Application of SDL to ISDN and OSI (in Proc. of SETSS 89, Bournmouth, 1989), North-Holland, 1990, 8 p.

Hogrefe, D. : Simulation study of the CCS no. 7 protocol specification in congested situations, Anales ELTE, no.2, 1988, 20 p.

Belina, F.,Hogrefe, D.: The CCITT-Specification and Description Language SDL, Computer Networks and ISDN, no. 16, 1988/89

Hogrefe, D. : Automatic generation of test cases from SDL specifications, SDL Newsletter, no. 12, 1988, 18 p.

Belina, F., Hogrefe, D., Trigila, S.: Modelling OSI with SDL, (in K. Turner: Formal Description Techniques, FORTE'88 Proc., Stirling, 1988), North-Holland, 1988.

Hogrefe, D. , Sarma, A: Nondeterminism and SDL (in K. Turner: Formal Description Techniques, FORTE'88 Proc., Stirling, 1988), North-Holland, 1988, 11 p.

Hogrefe, D. : OSI Service Specification with CCITT-SDL, ACM Comm. Review, 1988, 33 p.

Hogrefe, D. : Simulation of large SDL systems (in P. Tilanus: Proc. of Third SDL Forum, The Hague, 1987), Elsevier Science Publ., Amsterdam, 1987, 10 p.

Hogrefe, D. : Tool support for model description with SDL (in EMCSR 86 Proc., Wien, 1986), Reidl Publ. Co., Dordrecht, 1986, pp. 641-648.

Hogrefe, D., Zorn, S.: Simulation of SDL specified models (in S. Shoemaker: Computer Networks and Simulation III), North Holland, Amsterdam, 1986, pp. 103-121.

Dissertations- und Habilitationschrift

Hogrefe, D. : Über hierarchisch konstruierte Modelle und deren Simulation, Dissertation, Universität Hannover, 1985

Hogrefe, D. : Application of SDL to OSI, Habilitationsschrift, Universität Hamburg, 1989