Search All Publications

Articles in Conference Proceedings

• 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
• Jens Grabowski, Dieter Hogrefe, Daniel Toggweiler
  An Overall View of the SPP IF Project: The Automatic Generation of Test Purposes, Proceedings of the Priority Programme Informatics Research, 1994
• Jens Grabowski, Dieter Hogrefe, Iwan Nussbaumer, Andreas Spichiger
  Improving the Quality of Test Suites for Conformance Tests by Using Message Sequence Charts, Proceedings of the Fourth European Conference of Software Quality, 1994
• Peter Graubmann, Ekkart Rudolph, Jens Grabowski
  Towards a Petri Net Based Semantics Definition for Message, SDL'93, 1993