Beat Koch

Towards the industrial use of validation techniques and automatic test generation methods for SDL specifications

Dieter Hogrefe, Jens Grabowski, Michael Schmitt, 1997, SDL Forum.

Autolink - Putting formal test methods into practice

Dieter Hogrefe, Jens Grabowski, Beat Koch, 1996 .

Test-purpose-based test generation for distributed test architectures

Beat Koch, B. Koch, 2001 .

Autolink-a tool for automatic test generation from SDL specifications

Dieter Hogrefe, Jens Grabowski, Michael Schmitt, 1998, Proceedings. 2nd IEEE Workshop on Industrial Strength Formal Specification Techniques.

Poster Abstract: Less energy, more efficiency in server rooms and data centers

Beat Koch, Doris Slezak, 2017, Computer Science - Research and Development.

SDL and MSC based test generation for distributed test architectures

Dieter Hogrefe, Jens Grabowski, Michael Schmitt, 1999, SDL Forum.

Development of Filtering , Segmentation and Modelling Modules for Lidar and Multispectral Data as a Fundament of an Automatic Forest Inventory System

Beat Koch, Holger Weinacker, Ursula Heyder, 2004 .

Autolink - Putting SDL-Based Test Generation Into Practice

Dieter Hogrefe, Jens Grabowski, Michael Schmitt, 1998, IWTCS.

Some Implications of MSC, SDL and TTCN Time Extensions for Computer-Aided Test Generation

Dieter Hogrefe, Helmut Neukirchen, Beat Koch, 2001, SDL Forum.

-Autolink- A Tool for the Automatic and Semi-Automatic Test Generation

Dieter Hogrefe, Jens Grabowski, Michael Schmitt, 1997, FBT.