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

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

Language

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

Simulation

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

Comparison of FDT

R. C. Venkatraman, Thomas F. Piatkowski: A formal comparison of formal protocol specification techniques. 401-420
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

Testing

D. Rayner: Towards standardized OSI conformance tests. 441-460
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
Rachida Dssouli, Gregor von Bochmann: Error detection with multiple observers. 483-494
R. Molva, Michel Diaz, Jean-Michel Ayache: Observer: a run-time checking tool for local area networks. 495-506
Brigitte Lonc: GENEPIX: a portable version under UNIX of the OSI protocol tester GENEPI. 507-518
H. X. Zeng, D. Rayner: The impact of the Ferry concept on protocol testing. 519-531
Omar Rafiq, Richard Castanet, Chakib Chraibi, J. P. Goursaud, J. Haddad, X. Perdu: Towards an environment for testing OSI protocols. 533-544