- 2023 (1) Apply 2023 filter
- 2022 (2) Apply 2022 filter
- 2021 (2) Apply 2021 filter
- 2020 (6) Apply 2020 filter
- 2019 (6) Apply 2019 filter
- 2018 (6) Apply 2018 filter
- 2017 (9) Apply 2017 filter
- 2016 (10) Apply 2016 filter
- 2015 (13) Apply 2015 filter
- 2014 (4) Apply 2014 filter
- 2013 (4) Apply 2013 filter
- 2012 (1) Apply 2012 filter
- 2011 (6) Apply 2011 filter
- 2010 (5) Apply 2010 filter
- 2009 (7) Apply 2009 filter
- 2008 (5) Apply 2008 filter
- 2007 (5) Apply 2007 filter
- 2006 (4) Apply 2006 filter
- 2004 (7) Apply 2004 filter
- 2003 (5) Apply 2003 filter
- 2002 (2) Apply 2002 filter
- 2001 (5) Apply 2001 filter
- 2000 (8) Apply 2000 filter
- 1999 (6) Apply 1999 filter
- 1998 (6) Apply 1998 filter
- 1997 (7) Apply 1997 filter
- 1996 (2) Apply 1996 filter
- 1995 (6) Apply 1995 filter
- 1994 (2) Apply 1994 filter
- 1993 (3) Apply 1993 filter
- 1991 (1) Apply 1991 filter
- 1989 (1) Apply 1989 filter
Search All Publications
Articles in Conference Proceedings
-
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
-
Holger Pals, Zhen Ru Dai, Jens Grabowski, Helmut NeukirchenUML-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 PalsUML-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 WernerCASPA: 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 RennochThe 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 NeukirchenTimedTTCN-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 GrabowskiThe 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 NeukirchenTimedTTCN-3 -- A Real-Time Extension for TTCN-3, The IFIP 14th International Conference on Testing of Communicating Systems, Kluwer Academic Publishers, 2002
Pages
2024 © Software Engineering For Distributed Systems Group