Remote testin can be as powerful as local testing. - Claude Jard; Thierry Jéron; Lénaick Tanguy; César Viho (FORTE, 1999)

Synthesizing Coordination Procedures for Distributed Testing of Distributed Systems. - Lénaick Tanguy; César Viho; Claude Jard (ICDCS Workshop on Distributed System Validation and Verification, 2000)

Towards a Formal Framework for Interoperability Testing. - César Viho; Sébastien Barbin; Lénaick Tanguy (FORTE, 2001)

Consensus in Byzantine asynchronous systems. - Roberto Baldoni; Jean-Michel Hélary; Michel Raynal; Lénaick Tanguy (J. Discrete Algorithms, 2003)