Search All Publications

Articles in Conference Proceedings

• Holger Pals, Zhen Ru Dai, Jens Grabowski, Helmut Neukirchen
  UML-Based Modeling of Roaming with Bluetooth Devices, Proceedings of the First Hangzhou-Lübeck Workshop on Software Engineering, University of Hangzhou, China, 2003
• Zhen Ru Dai, Jens Grabowski, Helmut Neukirchen, Holger Pals
  UML-Based Testing of Roaming with Bluetooth Devices, Proceedings of the First Hangzhou-Lübeck Workshop on Software Engineering, University of Hangzhou, China, 2003
• Matthias Kuntz, Markus Siegle, Edith Werner
  CASPA: A performance evaluation tool based on stochastic process algebra and symbolic data structures, Performance TOOLS 2003, 2003
• Ina Schieferdecker, Zhen Ru Dai, Jens Grabowski, Axel Rennoch
  The UML 2.0 Testing Profile and its Relation to TTCN-3, Proceedings of the 15th IFIP International Conference on Testing of Communicating Systems, Springer, 2003
• Zhen Ru Dai, Jens Grabowski, Helmut Neukirchen
  TimedTTCN-3 Based Graphical Real-Time Test Specification, Proceedings of the 15th IFIP International Conference on Testing of Communicating Systems (TestCom2003), Springer, 2003
• Ina Schieferdecker, Jens Grabowski
  The Graphical Format of TTCN-3 in the context of MSC and UML, Proceedings of the Third International Workshop on SDL and MSC (SAM 2002), Springer-Verlag Berlin Heidelberg, 2002
• Zhen Ru Dai, Jens Grabowski, Helmut Neukirchen
  TimedTTCN-3 -- A Real-Time Extension for TTCN-3, The IFIP 14th International Conference on Testing of Communicating Systems, Kluwer Academic Publishers, 2002
• Peter Graubmann, Ekkart Rudolph, Jens Grabowski
  Component Interface Description Using HyperMSCs and Connectors, IEEE Symposium on Human-Centric Computing Languages and Environments (HCC'01), 2001
• 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