Search All Publications

Articles in Conference Proceedings

• Ekkart Rudolph, Ina Schieferdecker, Jens Grabowski
  HyperMSC - a Graphical Representation of TTCN, Proceedings of the 2nd Workshop of the SDL Forum Society on SDL and MSC (SAM'2000), 2000
• Jens Grabowski
  TTCN-3 -- A new Test Specification Language for Black-Box Testing of Distributed Systems, Proceedings of the 17th International Conference and Exposition on Testing Computer Software (TCS 2000), 2000
• Ekkart Rudolph, Ina Schieferdecker, Jens Grabowski
  Development of an MSC/UML Test Format, Formale Beschreibungstechniken für verteilte Systeme, 2000
• Jens Grabowski, Dieter Hogrefe
  TTCN SDL- and MSC-based specification and automated test case generation for INAP, Proceedings of the 8th International Conference on Telecommunication Systems (ICTS'2000) - Modeling and Analysis, 2000
• 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
• 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
• 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