INVITED TALK: 8:30 - 9:30

• Formal Methods for Message Sequence Charts
  Dr. Doron Peled
  Bell Laboratories, USA

• Guided Synthesis of Control Programs Using UPPAAL
  Thomas Hune*, Kim G. Larsen** and Paul Pettersson**
  * Aarhus University, DENMARK
  ** Aalborg University, DENMARK
  
• Experimenting Acceleration Methods for the Validation of Infinite State Systems
  Jean-Paul Bodeveix and Mamoun Filali
  IRIT Universite Paul Sabatier, FRANCE
  

• NMSPA: A Non-Markovian Model for Stochastic Processes
  Natalia Lopéz and Manuel Núñez
  Universidad Complutense de Madrid, SPAIN
  
• A Denotational Model for Probabilistic and Nondeterministic Processes
  Diego Cazorla, Fernando Cuartero, Valentín Valero and Fernando L. Pelayo
  Universidad de Castilla-La Mancha, SPAIN
  
• Specification and Formal Analysis of a PLAN Algorithm in Maude
  Bow-Yaw Wang*, Jose Meseguer**, and Carl A. Gunter*
  * University of Pennsylvania, USA
  ** SRI International, USA
  

• A New Approach to Deterministic Execution Testing for Concurrent Programs
  In Sang Chung*, Byeong Man Kim**, and Hyeon Soo Kim**
  * Hansung University, SOUTH KOREA
  ** Kumoh National University of Technology, SOUTH KOREA
  
• Synthesizing coordination procedures for distributed testing of distributed systems
  Lénaick Tanguy, César Viho and Claude Jard
  IRISA - Universite Rennes I, FRANCE
  
• Test Framework for Component-Based Systems (Short)
  Marc Born, Ina Schieferdecker, and Mang Li
  GMD FOKUS, GERMANY
  
• Diagnosing Crosstalk Faults in A Class of Dilated Blocking Optical Multistage Interconnection Networks (Short)
  I-Shyan Hwang and San-Nan Lee
  Yuan-Ze University, TAIWAN, ROC
  

• Model checking versus theorem proving for verifying distributed protocols
  Dr. Jean-Pierre Jouannaud
  University of Paris, FRANCE

• Verifying Distributed Systems with Model Checking and Static Analysis
  M.M. Gallardo and P. Merino
  University of Malaga, SPAIN
  
• Path-based Model Checking
  Wen Chien Liu and Chyan Goei Chung
  National Chiao Tung University, Taiwan, ROC
  

• Mechanical Verification of a Non-Blocking Atomic Commitment Protocol
  Dmitri Chkliaev*, Peter van der Stok*, and Jozef Hooman**
  * Eindhoven University of Technology, The NETHERLANDS
  ** University of Nijmegen, The NETHERLANDS
  
• Specifying and Verifying IP with Linear Logic
  David Sinclair*, James Power**, and Paul Gibson**, David Gray*, and Geoff Hamilton*
  * Dublin City University, IRELAND
  ** National University of Ireland, IRELAND
  
• Games-Based Model Checking of Protocols: counting doesn't count
  Tim Kempster, Colin Stirling and Peter Thanisch
  University of Edinburgh, Scotland, UK
  
• Compositional Verification of a Third Generation Mobile Communication Protocol
  Sari Leppanen* and Matti Luukkainen**
  * Nokia Research Center, FINLAND
  ** University of Helsinki, FINLAND
  
• An Approach for the Design and Simulation of Information Retrieval Protocols
  Ping-Wen Chen, Yasuro Kawata, Hossam I. Gharib, and Shi-Kuo Chang
  University of Pittsburgh, USA
  

For latest update to this page, please check http://www.cs.ccu.edu.tw/~pahsiung/icdcs2k-dsvv/program.html.

Last Updated: February 4, 2000.