12. PSTV 1992: Lake Buena Vista, Florida, USA

@proceedings{DBLP:conf/pstv/1992,
  editor    = {Richard J. Linn Jr. and
               M. {\"U}mit Uyar},
  title     = {Protocol Specification, Testing and Verification XII, Proceedings
               of the IFIP TC6/WG6.1 Twelth International Symposium on Protocol
               Specification, Testing and Verification, Lake Buena Vista, Florida,
               USA, 22-25 June 1992},
  booktitle = {PSTV},
  publisher = {North-Holland},
  series    = {IFIP Transactions},
  volume    = {C-8},
  year      = {1992},
  isbn      = {0-444-89874-3},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}

Keynote Speech

• A. G. Fraser: Formal Methods Applied to Software Production. 3-9 BibTeX

Session 1A: Testing Theory

• Raymond E. Miller, Sanjoy Paul: Generating Conformance Test Sequences for Combined Control and Data Flow of Communication Protocols. 13-27 BibTeX
• Chang-Jia Wang, Ming T. Liu: A Test Suite Generation Method for Extended Finite State Machines Using Axiomatic Semantics Approach. 29-43 BibTeX

Session 1B: Testability

• Wang Yi, Kim Guldstrand Larsen: Testing Probabilistic and Nondeterministic Processes. 47-61 BibTeX
• S. P. van de Burgt, Jan Kroon, A. M. Peeters: Testability of Formal Specifications. 63-77 BibTeX

Session 1C: Specification

• Juan Quemada, Arturo Azcorra: Structuring Protocols Using Exceptions in a LOTOS Extension. 81-96 BibTeX
• Gilbert M. Lundy, R. C. McArthur: Formal Model of a High Speed Transport Procotol. 97-111 BibTeX

Session 1D: Specification

• R. C. Sekar, Yow-Jian Lin, Sanjai Narain: On Modelling and Reasoning About Hybrid Systems. 115-129 BibTeX
• Jan Tretmans, Louis Verhaard: A Queue Model Relating Synchronous and Asynchronous Communication. 131-145 BibTeX

Invited Paper

• Harry Rudin: Protocol Development Success Stories: Part 1. 149-160 BibTeX

Session 2A: Implementation

• Claus Dendorfer, Rainer Weber: From Service Specification to Protocol Entity Impelmentation - An Exercise in Formal Protocol Development. 163-177 BibTeX
• Angel Fernández, Carlos Miguel, Leon Vidaller, Juan Quemada: Development of Satellite Communication Networks Based on LOTOS. 179-192 BibTeX

Session 2B: Conformance Testing

• Roelof Jan Velthuys, Jürgen M. Schneider, Georg Zörntlein: A Test Derivation Method Based on Exploiting Structure Information. 195-209 BibTeX
• Erik Kwast: Automatic Test Generation for Protocol Data Aspects. 211-226 BibTeX

Session 2C: Testing Theory

• Alexandre Petrenko, Nina Yevtushenko: Test Suite Generation from a FSM with a Given Type of Implementation Errors. 229-243 BibTeX
• Woojik Chun, Paul D. Amer: Improvements on UIO Sequence Generation and Partial UIO Sequences. 245-260 BibTeX

Session 2D: Conformance Testing

• Ufuk Celikkan, Rance Cleaveland: Computing Diagnostic Test for Incorrect Processes. 263-277 BibTeX
• Udo Bär, Jürgen M. Schneider: Automated Validation of TTCN Test Suites. 279-295 BibTeX

Invited Paper

• Jean Philippe Favreau, Dieter Hogrefe, Jan Kroon: Formal Methods in Conformance Testing: Status and Expectations. 299-316 BibTeX

Session 3A: Conformance Testing

• Jan Ellsberger, Finn Kristoffersen: Testability in the Context of SDL. 319-333 BibTeX
• Thomas Walter, Jan Ellsberger, Finn Kristoffersen, Paul van den Merkhof: A Common Semantics Representation for SDL and TTCN. 335-346 BibTeX

Session 3B: Verification

• Gerard J. Holzmann, Patrice Godefroid, Didier Pirottin: Coverage Preserving Reduction Strategies for Reachability Analysis. 349-363 BibTeX
• Mohamed G. Gouda: The Two-Dimensional Window Protocol. 365-379 BibTeX

Session 3C: Conversion and Routing

• Kenneth L. Calvert: Module Composition and Refinement with Applications to Protocol Conversion. 383-397 BibTeX
• Cengiz Alaettinoglu, A. Udaya Shankar: Stepwise Assertional Design of Distance-Vector Routing Algorithms. 399-413 BibTeX