| 1992 |
| 7 | | Roelof Jan Velthuys,
Jürgen M. Schneider,
Georg Zörntlein:
A Test Derivation Method Based on Exploiting Structure Information.
PSTV 1992: 195-209 |
| 6 | | Jürgen M. Schneider,
Lothar F. Mackert,
Georg Zörntlein,
Roelof Jan Velthuys,
Udo Bär:
An Integrated Environment for Developing Communication Protocols.
Computer Networks and ISDN Systems 25(1): 43-61 (1992) |
| 1991 |
| 5 | | Jürgen M. Schneider,
Udo Bär,
Jean Monnery,
Thibault Mangold,
Roelof Jan Velthuys,
Georg Zörntlein:
Formal Description of X.25 Applying a Rule-based Approach.
Kommunikation in Verteilten Systemen 1991: 538-552 |
| 4 | | Roelof Jan Velthuys,
Lothar F. Mackert,
Jürgen M. Schneider,
Georg Zörntlein:
Structuring Mechanisms for the Formal Description Technique CRS.
PSTV 1991: 39-57 |
| 3 | | Roelof Jan Velthuys,
Georg Zörntlein:
Relating Events for Conformance Testing - a Pragmatic Approach.
Protocol Test Systems 1991: 231-253 |
| 1989 |
| 2 | | Jürgen M. Schneider,
Iris B. Neumeier-Mackert,
Lothar F. Mackert,
Roelof Jan Velthuys:
Executable Communicating Rule Systems.
FORTE 1989: 421-436 |
| 1988 |
| 1 | | Lothar F. Mackert,
Ralf Meyer,
Ulrich Scheere,
Jürgen M. Schneider,
Roelof Jan Velthuys,
Jörg Burmeister,
Jan de Meer,
Ilona Schröer:
A Generalized Conformance Test Tool for Communication Protocols.
ICDCS 1988: 180-188 |