Beat Koch

According to our database, Beat Koch authored at least 8 papers between 1997 and 2018.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of four.

2018

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

Beat Koch, Doris Slezak

Comput. Sci. Res. Dev., 2018

2001

Test-purpose-based test generation for distributed test architectures.

Beat Koch

PhD thesis, 2001

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

Dieter Hogrefe, Beat Koch, Helmut Neukirchen

Proceedings of the SDL 2001: Meeting UML, 2001

1999

SDL and MSC based test generation for distributed test architectures.

Jens Grabowski, Beat Koch, Michael Schmitt, Dieter Hogrefe

Proceedings of the SDL '99 The Next Millennium, 1999

1998

Autolink: A Tool for Automatic Test Generation from SDL Specifications.

Beat Koch, Jens Grabowski, Dieter Hogrefe, Michael Schmitt

Proceedings of the 2nd Workshop on Industrial-Strength Formal Specification Techniques (WIFT '98), 1998

Autolink - Putting SDL-Based Test Generation Into Practice.

Michael Schmitt, Anders Ek, Beat Koch, Jens Grabowski, Dieter Hogrefe

Proceedings of the Testing of Communicating Systems, IFIP TC6 11th International Workshop on Testing Communicating Systems (IWTCS), August 31, 1998

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, Michael Schmitt

Proceedings of the SDL '97 Time for Testing, 1997

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

Michael Schmitt, Jens Grabowski, Dieter Hogrefe, Beat Koch

Proceedings of the Formale Beschreibungstechniken für verteilte Systeme, 1997