Search All Publications

Articles in Conference Proceedings

• Stefan Heymer, Jens Grabowski
  Chemistry in Action: Discovering the Behaviour of a Network from Local Observations, Proceedings of the Workshop on Formal Methods in Telecommunication, 1999
• Jens Grabowski, Dieter Hogrefe
  An Introduction to TTCN-3, Testing of Communicating Systems - Methods and Applications, 1999
• Stefan Heymer, Jens Grabowski
  Towards the Generation of Distributed Test Cases Using Petri Nets, Proceedings of the Neuntes GI/ITG Fachgespräch über Formale Beschreibungstechniken für verteilte Systeme, 1999
• Jens Grabowski, Thomas Walter
  Towards an Integrated Test Methodology for Advanced Communication Systems, Proceedings of the 16th International Conference and Exposition on Testing Computer Software, 1999
• Ekkart Rudolph, Jens Grabowski, Peter Graubmann
  Towards a Harmonization of UML-Sequence Diagrams and MSC, The next Millenium, 1999
• Jens Grabowski, Beat Koch, Michael Schmitt, Dieter Hogrefe
  SDL and MSC Based Test Generation for Distributed Test Architectures, The next Millenium, 1999
• Beat Koch, Jens Grabowski, Dieter Hogrefe, Michael Schmitt
  Autolink - A Tool for Automatic Test Generation from SDL Specifications, Proceedings of the Second IEEE Workshop on Industrial Strength Formal Specification Techniques, 1998
• 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
• Michael Schmitt, Anders Ek, Jens Grabowski, Dieter Hogrefe, Beat Koch
  Autolink - Putting SDL-based test generation into practice, Proceedings of the IFIP TC6 11th International Workshop on Testing of Communicating Systems (IWTCS’98) , 1998