Jean-Pierre Ansart

According to our database, Jean-Pierre Ansart authored at least 9 papers between 1976 and 1984.

Collaborative distances:

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

1984

Some operational tools in a OSI protocols study environment.

Jean-Pierre Ansart, Omar Rafiq, Richard Castanet, Pascal Guitton

Comput. Commun. Rev., 1984

Issues and Tools for Protocol Specification.

Jean-Pierre Ansart

Proceedings of the Distributed Systems: Methods and Tools for Specification, 1984

1983

Description, simulation and implementation of communication protocols using PDIL.

Jean-Pierre Ansart, V. Chari, M. Neyer, Omar Rafiq, D. Simon

Proceedings of the symposium on Communications Architectures & Protocols, 1983

VADILOC - A Protocol Validator and Its Applications.

Omar Rafiq, Jean-Pierre Ansart

Proceedings of the Protocol Specification, Testing, and Verification, III, Proceedings of the IFIP WG 6.1 Third International Workshop on Protocol Specification, Testing and Verification, organized by IBM Research, Rüschlikon, Switzerland, 31 May, 1983

From Formal Description to Automated Implementation using PDIL (Protocol Description and Implementation Language).

Jean-Pierre Ansart, V. Chari, D. Simon

Proceedings of the Protocol Specification, Testing, and Verification, III, Proceedings of the IFIP WG 6.1 Third International Workshop on Protocol Specification, Testing and Verification, organized by IBM Research, Rüschlikon, Switzerland, 31 May, 1983

1982

PDIL-Protocol Description and Implementation Language.

Jean-Pierre Ansart, Omar Rafiq, V. Chari

Proceedings of the Protocol Specification, 1982

CERBERE, A Tool to Keep an Eye on High Level Protocols.

Jean-Pierre Ansart, J. Damidau

Proceedings of the Protocol Specification, 1982

GENEPI/A-A Protocol Independent System for Testing Protocol Implementation.

Jean-Pierre Ansart

Proceedings of the Protocol Specification, 1982

1976

Système interactif dans un environnement réseau - connexion d'une machine à mémoire virtuelle IBM 360-67 au réseau CYCLADES.

Jean-Pierre Ansart

PhD thesis, 1976