Search All Publications

Technical Reports

• Edith Werner
  Optimierung, Erweiterung und Testen von CASPA, 2003
• Helmut Neukirchen, Zhen Ru Dai, Jens Grabowski
  Communication Patterns for Expressing Real-Time Requirements Using MSC and their Application to Testing, 2003
• Zhen Ru Dai, Jens Grabowski, Helmut Neukirchen
  TimedTTCN-3 -- A Real-time extension for TTCN-3, 2001
• Jens Grabowski, Dieter Hogrefe
  The Standardization of Core INAP CS-2 by ETSI, 1999
• Stefan Heymer, Jens Grabowski
  Chemistry in Action: Discovering the Behaviour of a Network from Local Observations, 1998
• Michael Schmitt, Beat Koch, Jens Grabowski, Dieter Hogrefe
  Autolink - Putting formal test methods into practice, 1998
• Jens Grabowski, Rudolf Scheurer, Dieter Hogrefe
  Comparison of an Automatically Generated and a Manually Specified Abstract Test Suite for the B-ISDN Protocol SSCOP, 1997
• Jens Grabowski, Rudolf Scheurer, Zhen Ru Dai, Dieter Hogrefe
  Applying SAMSTAG to the B-ISDN Protocol SSCOP - Technical Description and TTCN Testsuite, 1997
• Jens Grabowski, Stefan Heymer, Beat Koch
  Visualisierung von ASN.1-Werten, 1996
• Jens Grabowski
  An Automata based Model for the Implementation of a TTCN Simulator, 1996