Analysis of memory access concurrency in robust parallel algorithms, pp. 125-150
CHRYSSIS GEORGIOU, ALEXANDER RUSSELL, ALEXANDER SHVARTSMAN

A Distributed Algorithm For Unstable Global Predicate Evaluation With Approximately Synchronized Clocks, pp. 151-168
SHILPA BANSOD, JEAN MAYO

From The Feasability Analysis To Real-Time Test Generation, pp. 169-201
ISMAIL BERRADA, RICHARD CASTANET, PATRICK FELIX

A Method for Designing Multimedia Protocols using Both Parametric Model Checking and Functional Testing, pp. 203-230
TAKANORI MORI, AKIO NAKATA, TERUO HIGASHINO

Testing Real-Time Parameterized Systems, pp. 231-253
ARMELLE PRIGENT, OLIVIER ROUX