Search All Publications

Articles in Conference Proceedings

• Zhen Ru Dai, Jens Grabowski, Helmut Neukirchen
  Real-Time Test Specification with TTCN-3 (extended abstract), Proceedings of the Eleventh GI/ITG Technical Meeting on Formal Description Techniques for Distributed Systems, 2001
• Dieter Hogrefe, Beat Koch, Helmut Neukirchen
  Some Implications of MSC, SDL and TTCN Time Extensions for Computer-aided Test Generation, Proceedings of the 10th SDL-Forum, 2001
• Dirk Thißen, Helmut Neukirchen
  Integrating Trading and Load Balancing for Efficient Management of Services in Distributed Systems, Proceedings of the 3rd IFIP/GI International Conference on Trends towards a Universal Service Market (USM 2000), 2000
• Jens Grabowski, Anthony Wiles, Colin Willcock, Dieter Hogrefe
  On the Design of the new Testing Language TTCN-3, 13th IFIP International Workshop on Testing Communicating Systems (Testcom 2000),, 2000
• Dirk Thißen, Helmut Neukirchen
  Managing Services in Distributed Systems by Integrating Trading and Load Balancing, Proceedings of the 5th IEEE Symposium on Computers and Communications (ISCC 2000), 2000
• Ekkart Rudolph, Ina Schieferdecker, Jens Grabowski
  Development of an MSC/UML Test Format, Formale Beschreibungstechniken für verteilte Systeme, 2000
• Michael Schmitt, Michael Ebner, Jens Grabowski
  Test Generation with Autolink and TestComposer, Proceedings of the 2nd Workshop of the SDL Forum Society on SDL and MSC (SAM'2000), 2000
• 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
• 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