5. PSTV 1985: Toulouse-Moissac, France

Michel Diaz (Ed.): Protocol Specification, Testing and Verification V, Proceedings of the IFIP WG6.1 Fifth International Conference on Protocol Specification, Testing and Verification, Toulouse-Moissac, France, June 10-13, 1985. North-Holland 1985, ISBN 0-444-87881-5 BibTeX

@proceedings{DBLP:conf/pstv/1985,
  editor    = {Michel Diaz},
  title     = {Protocol Specification, Testing and Verification V, Proceedings
               of the IFIP WG6.1 Fifth International Conference on Protocol
               Specification, Testing and Verification, Toulouse-Moissac, France,
               June 10-13, 1985},
  booktitle = {PSTV},
  publisher = {North-Holland},
  year      = {1985},
  isbn      = {0-444-87881-5},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}

Specification

Chris A. Vissers, Luigi Logrippo: The importance of the service concept in the design of data communications protocols. 3-17 BibTeX
Bernd Baumgarten, Peter Ochsenschläger, Rainer Prinoth: Building blocks for distributed system design. 19-38 BibTeX
Otto Haas: Formal protocol specification based on attribute grammars. 39-48 BibTeX
E. Timothy Morgan, Rami R. Razouk: Computer-aided analysis of concurrent systems. 49-58 BibTeX
Jonathan Billington, Michael C. Wilbur-Ham, M. Y. Bearman: Automated protocol verification. 59-70 BibTeX
Jean-Claude Fernandez, Jean-Luc Richier, Jacques Voiron: Verification of protocol specificaitons using the CESAR system. 71-90 BibTeX
Günter Karjoth: An interactive system for the analysis of communicating processes. 91-102 BibTeX
Elie Najm, Stanislaw Budkowski, Thierry Gilot, Leon Lumbroso: General presentation of SCAN. A distributed systems modelling and validation tool. 103-118 BibTeX
Pierre Azéma, Giorgos Papapanagiotakis: Protocol analysis by using predicate nets. 119-130 BibTeX
Gregor von Bochmann, Rachida Dssouli, Wanderley Lopes de Souza, Behçet Sarikaya, Hasan Ural: Use of Prolog for building protocol design tools. 131-147 BibTeX
N. Choquet, Laurent Fribourg, A. Mauboussin: Runnable protocol specifications using the logic interpreter SLOG. 149-168 BibTeX

Language

Ed Brinksma: A tutorial on LOTOS. 171-194 BibTeX
Antonella Di Stefano, Michele Malgeri, Orazio Mirabella: A specification of a PROWAY protocol with an Algebraic language. 195-213 BibTeX
Guy Leduc: Assessing the service provided by a connection-less protocol. 215-234 BibTeX
Cécile Roisin: Protocol description with the OCCAM language. 235-246 BibTeX
Richard Castanet, A. Dupeux, Pascal Guitton: ADA, a well suited language for specification and implementation of protocols. 247-258 BibTeX
Hans A. Hansson: Automatic implementation of formal descriptions of communication protocols. 259-270 BibTeX
Richard J. Linn Jr.: The features and facilities of ESTELLE: a formal description technique based upon an extended finite state machine model. 271-296 BibTeX
Jean-Pierre Courtiat, Aloysio Pedroza, Jean-Michel Ayache: A simulation environment for protocol specifications described in ESTELLE. 297-312 BibTeX

Simulation

Claude Jard, Jean-François Monin, Roland Groz: Experience in implementing ESTELLE-X.250 (a CCITT subset of ESTELLE) in VEDA. 315-331 BibTeX
W. Fischer, Klaus Sauer, W. Denzel: A simulation technique for communications protocols based on a formal specification by SDL. 333-347 BibTeX
Jan R. Engelbrecht, Pieter S. Kritzinger, Harry Rudin: Predicting protocol performance from a meta-implementation. 349-362 BibTeX
Alain Dupuis, Gérard Hébuterne: On the use of quantitative evaluation to assess and study distributed algorithms properties. 363-373 BibTeX
C. Murray Woodside, J. R. Montealegre: On packet buffering and protocol performance. 375-386 BibTeX
Chau Chun Hung: CCS used as a proof-assistant tool. 387-398 BibTeX

Comparison of FDT

R. C. Venkatraman, Thomas F. Piatkowski: A formal comparison of formal protocol specification techniques. 401-420 BibTeX
Ari Ahtiainen, S. Alfonzetti, V. Chari, Mats Daniels, Michel Diaz, Alberto Faro, Hans A. Hansson, Guy Juanole, Ulla Karjalainen, Gesualdo Le Moli, Juhani Malka, Sergio Palazzo, Orlando Pereda: An approach for evaluating formal description techniques. 421-438 BibTeX

Testing

D. Rayner: Towards standardized OSI conformance tests. 441-460 BibTeX
Heinz Jürgen Burkhardt, Hans Eckert, Alfred Giessler: Testing of protocol implementations. A systematic approach to derivation of test sequences form global protocol specifications. 461-481 BibTeX
Rachida Dssouli, Gregor von Bochmann: Error detection with multiple observers. 483-494 BibTeX
R. Molva, Michel Diaz, Jean-Michel Ayache: Observer: a run-time checking tool for local area networks. 495-506 BibTeX
Brigitte Lonc: GENEPIX: a portable version under UNIX of the OSI protocol tester GENEPI. 507-518 BibTeX
H. X. Zeng, D. Rayner: The impact of the Ferry concept on protocol testing. 519-531 BibTeX
Omar Rafiq, Richard Castanet, Chakib Chraibi, J. P. Goursaud, J. Haddad, X. Perdu: Towards an environment for testing OSI protocols. 533-544 BibTeX