Christophe Buffard : SANDS tools on the WWW and a specification compiler (ps)

Cécile Péraire : A Theory of Specification-Based Testing for Object-Oriented Software (ps)

Stéphane Barbey : Incremental Testing of Object-Oriented Software (ps)

Pascal Racloz : Synchronized nets: definition and examples (How to construct the coverability graph of such nets?) (ps)

Jarle Hulaas : Modular operational semantics for distributed CO-OPN objects (ps)

Mathieu Buffo : Contextual Coordination between Objects (ps)

Olivier Biberstein : Modeling of Cooperative Editors Using COOPN/2 (ps)

Nicolas Guelfi : Formal treatment of data structures in concurrency models (ps)

Jacques Flumet : Vie reelle et genie logiciel (ps)