Search All Publications

Articles in Conference Proceedings

• Matthias Kuntz, Markus Siegle, Edith Werner
  Symbolic Performance and Dependability Evaluation with the Tool CASPA, Applying Formal Methods: Testing, Performance, and M/E-Commerce: FORTE 2004 Workshops, Springer, 2004
• Edith Werner
  Performance Evaluation using Multi-Terminal Binary Decision Diagrams, MMB & PGTS 2004, VDE Verlag, Berlin, 2004
• Paul Baker, Zhen Ru Dai, Jens Grabowski, Oystein Haugen, Eric Samuelsson, Ina Schieferdecker, Clay E. Williams
  The UML 2.0 Testing Profile, 8th Conference on Quality Engineering in Software Technology 2004 (CONQUEST 2004), ASQF e.V., Erlangen, 2004
• Matthias Kuntz, Markus Siegle, Edith Werner
  CASPA: A Tool for Symbolic Performance and Dependability Evaluation, Applying Formal Methods: Testing, Performance, and M/E-Commerce, 2004
• Helmut Neukirchen, Zhen Ru Dai, Jens Grabowski
  Communication Patterns for Expressing Real-Time Requirements Using MSC and their Application to Testing, Proceedings of the 16th IFIP International Conference on Testing of Communicating Systems (TestCom2004), Springer, 2004
• Zhen Ru Dai, Jens Grabowski, Helmut Neukirchen, Holger Pals
  From Design to Test with UML -- Applied to a Roaming Algorithm for Bluetooth Devices, Proceedings of the 16th IFIP International Conference on Testing of Communicating Systems (TestCom2004), Springer, 2004
• 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