Search All Publications

Articles in Conference Proceedings

• 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
• Jens Grabowski, Dieter Hogrefe, Iwan Nussbaumer, Andreas Spichiger
  Combining MSCs and Data Descriptions in order to Generate Executable Test Cases for ISDN Systems, Proceedings of the XV. International Switching Symposium (ISS '95), 1995