Search All Publications

Articles in Conference Proceedings

• Jens Grabowski, Stefan Heymer
  Formal Methods and Conformance Testing - or - What are we testing anyway?, Formale Beschreibungstechniken für verteilte Systeme, 1998
• Thomas Walter, Ina Schieferdecker, Jens Grabowski
  Test Architectures for Distributed Systems - State of the Art and Beyond, Proceedings of the IFIP TC6 11th International Workshop on Testing of Communicating Systems (IWTCS’98) , 1998
• Thomas Walter, Jens Grabowski
  Real-time TTCN for testing real-time and multimedia systems, IFIP TC6 10th International Workshop on Testing of Communicating Systems, 1997
• Anders Ek, Jens Grabowski, Dieter Hogrefe, Richard Jerome, Beat Koch, Michael Schmitt
  Towards the Industrial Use of Validation Techniques and Automatic Test Generation Methods for SDL Specifications, Time for Testing - SDL, MSC and Trends, 1997
• Jens Grabowski, Rudolf Scheurer, Zhen Ru Dai, Dieter Hogrefe
  Applying SAMSTAG to the B-ISDN protocol SSCOP, IFIP TC6 10th International Workshop on Testing of Communicating 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
• Michael Schmitt, Beat Koch, Jens Grabowski, Dieter Hogrefe
  Autolink - A Tool for the Automatic and Semi-Automatic Test Generation, Proceedings of the 7. GI/ITG Technical Meeting on Formal Description Techniques for Distributed Systems, 1997
• 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
• Thomas Walter, Jens Grabowski
  A Proposal for a Real-Time Extension of TTCN, Kommunikation in Verteilten Systemen, 1997
• 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