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