Fraunhofer-Gesellschaft

Publica

Hier finden Sie wissenschaftliche Publikationen aus den Fraunhofer-Instituten.
1998Case study in protocol validation: Validating an ATM signalling protocol
Vassiliou-Gioles, T.; Schieferdecker, I.K.
Conference Paper
1998Eine Leistungsmethodik und ihre Anwendung auf ATM Protokolle
Schieferdecker, I.K.; Rennoch, A.; Li, M.; Stepien, B.
Journal Article
1998System Engineering and Performance Analysis
Wolisz, A.; Schieferdecker, I.K.; Smirnov, M.
Book Article
1998Test architectures for distributed systems - state of the art and beyond
Walter, T.; Schieferdecker, I.K.; Grabowski, J.
Conference Paper
1998Test suite migration experiences for B-ISUP and B-MTP
Desroches, C.; Li, M.; Pietsch, S.; Rennoch, A.; Schieferdecker, I.K.; Vassiliou-Gioles, T.
Conference Paper
1998Usage of timed MSC for test purpose definition
Schieferdecker, I.K.; Rennoch, A.
Conference Paper
1997An AAL5 performance test suite in PerfTTCN
Schieferdecker, I.K.; Li, M.; Rennoch, A.
Conference Paper
1997Conforming to expectations
Schieferdecker, I.K.; Wolf, A.
Journal Article
1997Formale Beschreibungstechniken für verteilte Systeme
: Wolisz, A.; Schieferdecker, I.K.; Rennoch, A.
Conference Proceedings
1997PerfTTCN, a TTCN language extension for performance testing
Schieferdecker, I.K.; Stepien, B.; Rennoch, A.
Conference Paper
1997Timed MSCs - an extension to MSC'96
Schieferdecker, I.K.; Rennoch, A.; Mertens, O.
Conference Paper
1996Abruptly terminated connections in TCP - a verification example
Schieferdecker, I.K.
Conference Paper
1996Extending conformance testing concepts to performance testing
Schieferdecker, I.K.
Conference Paper
1996Formal based conformance and performance testing
Schieferdecker, I.K.; Rennoch, A.
Conference Paper
1996Specifying and verifying the steam boiler control system with time extended LOTOS
Willig, A.; Schieferdecker, I.K.
Book Article
1995Customer requirements on teleservice management
Hall, J.; Schieferdecker, I.K.; Tschichholz, M.
Conference Paper
1995The LotoTis Approach
Schieferdecker, I.K.
Conference Paper
1995Performance modeling with structured actions
Schieferdecker, I.K.
Conference Paper
1995Performance-oriented formal specifications - the LotoTis approach
Schieferdecker, I.K.
Conference Paper
1995Performance-oriented specification of communication protocols and verification of deterministic bounds of their QoS characteristics
Schieferdecker, I.K.
Dissertation
1995True Concurrency in LOTOS
Schieferdecker, I.K.
Conference Paper
1994The timed interacting systems approach
Wolisz, A.; Schieferdecker, I.K.
Conference Paper
1993An integrated approach to the design of communication protocols
Wolisz, A.; Schieferdecker, I.K.; Walch, M.
Conference Paper