Jean-Pierre Ansart

Publication Activity (10 Years)

Years Active: 1982-1984
Publications (10 Years): 0

Joseph Fourier University, Grenoble, France (PHD)

Education History

Joseph Fourier University, Grenoble, France

PHD

Publications

Jean-Pierre Ansart, Omar Rafiq, Richard Castanet, Pascal Guitton
Some operational tools in a OSI protocols study environment. Comput. Commun. Rev. 14 (2) (1984)
Jean-Pierre Ansart
Issues and Tools for Protocol Specification. Advanced Course: Distributed Systems (1984)
Omar Rafiq, Jean-Pierre Ansart
VADILOC - A Protocol Validator and Its Applications. Protocol Specification, Testing, and Verification (1983)
Jean-Pierre Ansart, V. Chari, M. Neyer, Omar Rafiq, D. Simon
Description, simulation and implementation of communication protocols using PDIL. SIGCOMM (1983)
Jean-Pierre Ansart, V. Chari, D. Simon
From Formal Description to Automated Implementation using PDIL (Protocol Description and Implementation Language). Protocol Specification, Testing, and Verification (1983)
Jean-Pierre Ansart
GENEPI/A-A Protocol Independent System for Testing Protocol Implementation. PSTV (1982)
Jean-Pierre Ansart, Omar Rafiq, V. Chari
PDIL-Protocol Description and Implementation Language. PSTV (1982)
Jean-Pierre Ansart, J. Damidau
CERBERE, A Tool to Keep an Eye on High Level Protocols. PSTV (1982)