Search All Publications

Articles in Conference Proceedings

• Thomas Walter, Jens Grabowski
  Test Case Specification with Real-Time TTCN, Proceedings of the 7. GI/ITG Technical Meeting on Formal Description Techniques for Distributed Systems, 1997
• Stefan Heymer, Jens Grabowski
  Generating Test Cases for Infinite System Specifications, Proceedings of the 7. GI/ITG Technical Meeting on Formal Description Techniques for Distributed Systems, 1997
• Thomas Walter, Jens Grabowski
  A Proposal for a Real-Time Extension of TTCN, Kommunikation in Verteilten Systemen, 1997
• Jens Grabowski, Thomas Walter
  Quality-of-Service Testing - Specifying Functional QoS Testing Requirements by using Message Sequence Charts and TTCN, Proceedings of the 6th GI/ITG Technical Meeting on Formal Description Techniques for Distributed Systems, 1996
• Jens Grabowski, Rudolf Scheurer, Daniel Toggweiler, Dieter Hogrefe
  Dealing with the complexity of state space exploration algorithms for SDL systems, Proceedings of the 6th GI/ITG Technical Meeting on Formal Description Techniques for Distributed Systems, 1996
• Jens Grabowski, Thomas Walter
  Testing QoS Aspects in Multimedia Applications, Proceedings of the Second Workshop on Protocols for Multimedia Systems (PROMS), 1995
• Jens Grabowski, Dieter Hogrefe, Iwan Nussbaumer, Andreas Spichiger
  Test Case Specification Based on MSCs and ASN.1, MSC in CASE, 1995
• Daniel Toggweiler, Jens Grabowski, Dieter Hogrefe
  Partial Order Simulation of SDL Specifications, MSC in CASE, 1995
• Ekkart Rudolph, Peter Graubmann, Jens Grabowski
  Message Sequence Chart: Composition Techniques versus OO-Techniques - 'Tema con Variazioni', MSC in CASE, 1995
• Thomas Walter, Jens Grabowski
  Towards the new Test Specification and Implementation Language 'Telcom TSL', Proceedings of the 5th GI/ITG technical meeting on Formal Description Techniques for Distributed Systems, 1995