Roelof Jan Velthuys

According to our database, Roelof Jan Velthuys authored at least 7 papers between 1988 and 1992.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of five.

1992

An Integrated Environment for Developing Communication Protocols.

Jürgen M. Schneider, Lothar F. Mackert, Georg Zörntlein, Roelof Jan Velthuys, Udo Bär

Comput. Networks ISDN Syst., 1992

A Test Derivation Method Based on Exploiting Structure Information.

Roelof Jan Velthuys, Jürgen M. Schneider, Georg Zörntlein

Proceedings of the Protocol Specification, 1992

1991

Relating Events for Conformance Testing - a Pragmatic Approach.

Roelof Jan Velthuys, Georg Zörntlein

Proceedings of the Protocol Test Systems, IV, 1991

Structuring Mechanisms for the Formal Description Technique CRS.

Roelof Jan Velthuys, Lothar F. Mackert, Jürgen M. Schneider, Georg Zörntlein

Proceedings of the Protocol Specification, 1991

Formal Description of X.25 Applying a Rule-based Approach.

Jürgen M. Schneider, Udo Bär, Jean Monnery, Thibault Mangold, Roelof Jan Velthuys, Georg Zörntlein

Proceedings of the Kommunikation in Verteilten Systemen, 1991

1989

Executable Communicating Rule Systems.

Jürgen M. Schneider, Iris B. Neumeier-Mackert, Lothar F. Mackert, Roelof Jan Velthuys

Proceedings of the Formal Description Techniques, 1989

1988

A Generalized Conformance Test Tool for Communication Protocols.

Lothar F. Mackert, Ralf Meyer, Ulrich Scheere, Jürgen M. Schneider, Roelof Jan Velthuys, Jörg Burmeister, Jan de Meer, Ilona Schröer

Proceedings of the 8th International Conference on Distributed Computing Systems, 1988