- 2024 (2) Apply 2024 filter
- 2023 (7) Apply 2023 filter
- 2022 (10) Apply 2022 filter
- 2021 (8) Apply 2021 filter
- 2020 (11) Apply 2020 filter
- 2019 (17) Apply 2019 filter
- 2018 (12) Apply 2018 filter
- 2017 (25) Apply 2017 filter
- 2016 (17) Apply 2016 filter
- 2015 (24) Apply 2015 filter
- 2014 (13) Apply 2014 filter
- 2013 (17) Apply 2013 filter
- 2012 (6) Apply 2012 filter
- 2011 (16) Apply 2011 filter
- 2010 (23) Apply 2010 filter
- 2009 (22) Apply 2009 filter
- 2008 (19) Apply 2008 filter
- 2007 (14) Apply 2007 filter
- 2006 (13) Apply 2006 filter
- 2005 (7) Apply 2005 filter
- 2004 (16) Apply 2004 filter
- 2003 (10) Apply 2003 filter
- 2002 (13) Apply 2002 filter
- 2001 (10) Apply 2001 filter
- 2000 (17) Apply 2000 filter
- 1999 (14) Apply 1999 filter
- 1998 (8) Apply 1998 filter
- 1997 (9) Apply 1997 filter
- 1996 (5) Apply 1996 filter
- 1995 (7) Apply 1995 filter
- 1994 (6) Apply 1994 filter
- 1993 (8) Apply 1993 filter
- 1991 (2) Apply 1991 filter
- 1990 (1) Apply 1990 filter
- 1989 (1) Apply 1989 filter
Search All Publications
Articles in Conference Proceedings
-
Stefan Heymer, Jens GrabowskiChemistry in Action: Discovering the Behaviour of a Network from Local Observations, Proceedings of the Workshop on Formal Methods in Telecommunication, 1999
-
Stefan Heymer, Jens GrabowskiTowards the Generation of Distributed Test Cases Using Petri Nets, Proceedings of the Neuntes GI/ITG Fachgespräch über Formale Beschreibungstechniken für verteilte Systeme, 1999
-
Jens Grabowski, Thomas WalterTowards an Integrated Test Methodology for Advanced Communication Systems, Proceedings of the 16th International Conference and Exposition on Testing Computer Software, 1999
-
Ekkart Rudolph, Jens Grabowski, Peter GraubmannTowards a Harmonization of UML-Sequence Diagrams and MSC, The next Millenium, 1999
-
Jens Grabowski, Beat Koch, Michael Schmitt, Dieter HogrefeSDL and MSC Based Test Generation for Distributed Test Architectures, The next Millenium, 1999
-
Beat Koch, Jens Grabowski, Dieter Hogrefe, Michael SchmittAutolink - A Tool for Automatic Test Generation from SDL Specifications, Proceedings of the Second IEEE Workshop on Industrial Strength Formal Specification Techniques, 1998
-
Rudolf Scheurer, Jens Grabowski, Dieter HogrefeRevised Comparison of an Automatically Generated and a Manually Specified Test Suite for the B-ISDN Protocol SSCOP, Formale Beschreibungstechniken für verteilte Systeme, 1998
-
Jens Grabowski, Stefan HeymerFormal Methods and Conformance Testing - or - What are we testing anyway?, Formale Beschreibungstechniken für verteilte Systeme, 1998
-
Thomas Walter, Ina Schieferdecker, Jens GrabowskiTest Architectures for Distributed Systems - State of the Art and Beyond, Proceedings of the IFIP TC6 11th International Workshop on Testing of Communicating Systems (IWTCS’98) , 1998
-
Michael Schmitt, Anders Ek, Jens Grabowski, Dieter Hogrefe, Beat KochAutolink - Putting SDL-based test generation into practice, Proceedings of the IFIP TC6 11th International Workshop on Testing of Communicating Systems (IWTCS’98) , 1998
Pages
2024 © Software Engineering For Distributed Systems Group