Search All Publications
Journal Articles
-
Zhen Ru Dai, Jens Grabowski, Helmut Neukirchen, Holger PalsModel-based Testing with UML Applied to a Roaming Algorithm for Bluetooth Devices, Zhejiang University Press, co-published with Springer, Zhejiang University Press, co-published with Springer, 2004
Articles in Conference Proceedings
-
Edith Werner, Helmut Neukirchen, Jens GrabowskiSelf-adaptive Functional Testing of Services Working in Continuously Changing Contexts, Proceedings of the 3rd Workshop on System Testing and Validation (SV04), 2004
-
Matthias Kuntz, Markus Siegle, Edith WernerSymbolic Performance and Dependability Evaluation with the Tool CASPA, Applying Formal Methods: Testing, Performance, and M/E-Commerce: FORTE 2004 Workshops, Springer, 2004
-
Edith WernerPerformance 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. WilliamsThe 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 WernerCASPA: A Tool for Symbolic Performance and Dependability Evaluation, Applying Formal Methods: Testing, Performance, and M/E-Commerce, 2004
-
Helmut Neukirchen, Zhen Ru Dai, Jens GrabowskiCommunication 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 PalsFrom 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
Ph.D. Theses
-
Helmut NeukirchenLanguages, Tools and Patterns for the Specification of Distributed Real-Time Tests, 2004
Pages
2025 © Software Engineering For Distributed Systems Group