Keynote Speech

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

Session 1A: Testing Theory

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

Session 1B: Testability

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

Session 1C: Specification

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

Session 1D: Specification

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

Invited Paper

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

Session 2A: Implementation

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

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
• 
  Erik Kwast: Automatic Test Generation for Protocol Data Aspects. 211-226

Session 2C: Testing Theory

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

Session 2D: Conformance Testing

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

Invited Paper

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

Session 3A: Conformance Testing

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

Session 3B: Verification

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

Session 3C: Conversion and Routing

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

last updated on Fri May 24 05:23:19 2013 by the dblp team
data released under the ODC-BY 1.0 license
see also our legal information page