Beat Koch

Publication Activity (10 Years)

Years Active: 1997-2018
Publications (10 Years): 1

Top Topics

Distribution Systems

Ibm Zenterprise

Top Venues

Comput. Sci. Res. Dev.

University of Lübeck, Germany (PHD)

Education History

University of Lübeck, Germany

PHD

Publications

Beat Koch, Doris Slezak
Poster Abstract: Less energy, more efficiency in server rooms and data centers. Comput. Sci. Res. Dev. 33 (1-2) (2018)
Dieter Hogrefe, Beat Koch, Helmut Neukirchen
Some Implications of MSC, SDL and TTCN Time Extensions for Computer-Aided Test Generation. SDL Forum (2001)
Jens Grabowski, Beat Koch, Michael Schmitt, Dieter Hogrefe
SDL and MSC based test generation for distributed test architectures. SDL Forum (1999)
Michael Schmitt, Anders Ek, Beat Koch, Jens Grabowski, Dieter Hogrefe
Autolink - Putting SDL-Based Test Generation Into Practice. IWTCS (1998)
Beat Koch, Jens Grabowski, Dieter Hogrefe, Michael Schmitt
Autolink: A Tool for Automatic Test Generation from SDL Specifications. WIFT (1998)
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)
Michael Schmitt, Jens Grabowski, Dieter Hogrefe, Beat Koch
-Autolink- A Tool for the Automatic and Semi-Automatic Test Generation. FBT (1997)