Earlier Publications

Autolink - A Tool for Automatic Test Generation from SDL Specifications. Beat Koch, Jens Grabowski, Dieter Hogrefe, and Michael Schmitt. In 2nd IEEE Workshop on Industrial Strength Formal Specification Techniques, Boca Raton, October 1998. IEEE Computer Society.

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

SDL and MSC Based Test Generation for Distributed Test Architectures. Jens Grabowski, Beat Koch, Michael Schmitt, and Dieter Hogrefe. In SDL'99 - Proceedings of 9th SDL Forum, Montreal, June 1999. North-Holland.

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

Virtual Universities. Michael Ebner and Dieter Hogrefe. In B. Wolfinger, editor, Proceedings zu dem 2.WAKI-Symposium "Verteilte multimediale Anwendungen und dienste-integrierende Kommunikationsnetze", 22.-24. Sept. '99, Flensburg, September 1999.

The ETSI SDL model for the Intelligent Network Application Protocol. Dieter Hogrefe and J. Ellsberger. In Proceedings of SAM 98, 29.6-1.7.98, Berlin, 1998.

Autolink - Putting SDL-based test generation into practice. Michael Schmitt, Jens Grabowski, Dieter Hogrefe, and Beat Koch. In Proceedings of the 11th International IFIP Workshop on Testing of Communicating Systems (IWTCS'98), Tomsk, August 1998. Kluwer Academic Publishers.

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

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

SDL: formal object-oriented language for communicating systems. J. Ellsberger, Dieter Hogrefe, and A. Sarma. Prentice Hall, 1997.

Towards the Industrial Use of Validation Techniques and Automatic Test Generation Methods for SDL Specifications. Anders Ek, Jens Grabowski, Dieter Hogrefe, Richard Jerome, Beat Koch, and Michael Schmitt. In Proceedings of the Eighth SDL Forum, Paris, 1997. North-Holland.

Applying SAMSTAG to the B-ISDN protocol SSCOP. Jens Grabowski, Rudolf Scheurer, Zhen Ru Dai, and Dieter Hogrefe. In Proceedings of the 10th International IFIP Workshop on Testing of Communicating Systems (IWTCS'97), Cheju Islands, Korea, September 1997. Chapman & Hall.

Autolink - A Tool for the Automatic and Semi-Automatic Test Generation. Michael Schmitt, Beat Koch, Jens Grabowski, and Dieter Hogrefe. In Proceedings des 7. GI/ITG Fachgesprächs über 'Formale Beschreibungstechniken für verteilte Systeme', Erlangen, June 1997.

Validation of SDL Systems. Dieter Hogrefe. Computer Networks and ISDN Systems, Elsevier Science, 28(12), 1996.

Report on the FMCT project. Dieter Hogrefe. In Baumgarten et al., editor, IWTCS`96, Darmstadt, 1996. Chapman & Hall.

Dealing with the complexity of state space exploration algorithms for SDL systems. Jens Grabowski, Rudolf Scheurer, Daniel Toggweiler, and Dieter Hogrefe. In FDT Arbeitskreis, Nürnberg, 1996.

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

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

Test Case Specification Based on MSCs and ASN.1. Jens Grabowski, Dieter Hogrefe, Iwan Nussbaumer, and Andreas Spichiger. In R. Braek and A. Sarma, editors, SDL'95 with MSC in CASE, Proceedings of the 7th SDL Forum, Oslo, 1995. Elservier, Amsterdam.

Partial Order Simulation of SDL Specifications. Daniel Toggweiler, Jens Grabowski, and Dieter Hogrefe. In R. Braek and A. Sarma, editors, SDL'95 with MSC in CASE, Proceedings of the 7th SDL Forum, Oslo, 1995. Elservier, Amsterdam.

Fernuntericht per Videoconferenz. Dieter Hogrefe. Unipress Bern, September 1995.

SDL with applications from protocol specification. Dieter Hogrefe, F. Belina, and A. Sarma. Carl Hanser (Japan), 1994.

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

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

Improving the Quality of Test Suites for Conformance Tests by Using Message Sequence Charts. Jens Grabowski, Dieter Hogrefe, Iwan Nussbaumer, and Andreas Spichiger. In Proceedings of the 4th European Software Quality Conference, Basel, 1994.

Sicherheitsüberlegungen für unternehmensweite Kommunikationsnetze. R. Oppliger and Dieter Hogrefe. Telematik-Spektrum, 1, February 1994.

Die SAMSTAG Methode und ihre Rolle im Konformitätstesten. Jens Grabowski, Robert Nahm, Andreas Spichiger, and Dieter Hogrefe. In: 'Praxis der Informationsverarbeitung und Kommunikation (PIK) Nr. 4/94', Saur, München, 1994.

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

Corporate Network Scurity. Dieter Hogrefe and R. Oppliger. In IEEE Network Conference, Singapore, 1993. IEEE Press.

Test Case Generation with Test Purpose Specification by MSCs. Jens Grabowski, Dieter Hogrefe, and Robert Nahm. In SDL Forum 93. North-Holland, 1993.

Conformance Testing im Kontext internationaler Normung. Dieter Hogrefe. In Proceedings EurOSInet-Forum Schweiz Seminar, February 1992.

Formal methods in conformance testing: status and expectations. Dieter Hogrefe. In J. Linn et al., editor, Proc. of 12th IFIP conference on Protocol Specification, Testing, and Verification PSTV XII, Orlando, 1992. North-Holland.

Formale Beschreibungstechniken für verteilte Systeme. Dieter Hogrefe. Reihe Informatik Aktuell, Springer, 1992.

Sicherheit in unternehmensweiten Kommunikationsnetzen (CCN). Dieter Hogrefe and R. Oppliger. Praxis der Informationsverarbeitung und Kommunikation (PIK), 4, 1992.

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

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

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

SDL with Applications from Protocol Specification. Dieter Hogrefe, F. Belina, and A. Sarma. Prentice Hall, 1991.

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

Konformitätstesten basierend auf formalen Spezifikationen. Dieter Hogrefe. In Effelsberger, editor, Kommunikation In Verteilten Systemen '91, Mannheim, 1991. Springer-Verlag.

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

The 5 ODP viewpoints on the Schindler group. Dieter Hogrefe and D. Blättler. In J. deMeer, editor, Proc. of IFIP workshop on Open Distributed Processing IWODP 91, Berlin, 1991. North-Holland.

Conformance Testing based on Formal Methods. Dieter Hogrefe. In J. Quemada, editor, Proc. of IFIP conference on Formal Description Techniques FORTE'90, Madrid, 1990. North-Holland.

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

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

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

TESDL: A Tool for Generation of Test Cases from SDL Specifications . L. Brömstrup and Dieter Hogrefe. In O. Faergemand, editor, Proc. of Fourth SDL Forum, page 16, Lissabon, 1989. Elsevier Science Publ., Amsterdam.

Application of SDL to ISDN and OSI. Dieter Hogrefe and A. Sarma. In Proc. of SETSS 89, page 8, Bournmouth, 1989. North-Holland.

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

The CCITT-Specification and Description Language SDL. F. Belina and Dieter Hogrefe. Computer Networks and ISDN, 16, 1988.

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

Modelling OSI with SDL. F. Belina, Dieter Hogrefe, and S. Trigila. In K. Turner, editor, Formal Description Techniques, FORTE'88 Proc., Stirling, 1988. North-Holland.

Nondeterminism and SDL . Dieter Hogrefe and A. Sarma. In K. Turner, editor, Formal Description Techniques, FORTE'88 Proc., page 11, Stirling, 1988. North-Holland.

OSI Service Specification with CCITT-SDL. Dieter Hogrefe. ACM Comm. Review, page 33, 1988.

Simulation of large SDL systems . Dieter Hogrefe. In P. Tilanus, editor, Proc. of Third SDL Forum, page 10, The Hague, 1987. Elsevier Science Publ., Amsterdam.

Tool support for model description with SDL . Dieter Hogrefe. In EMCSR 86 Proc., pages 641--648, Wien, 1986. Reidl Publ. Co., Dordrecht.

Simulation of SDL specified models. Dieter Hogrefe. In S. Shoemaker, editor, Computer Networks and Simulation III, pages 103--121. North Holland, Amsterdam, 1986.

über hierarchisch konstruierte Modelle und deren Simulation. Dieter Hogrefe. Dissertation, Universität Hannover, 1985.

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