 | 2003 |
|---|
| 5 |       | Roberto Baldoni,
Jean-Michel Hélary,
Michel Raynal,
Lénaick Tanguy:
Consensus in Byzantine asynchronous systems.
J. Discrete Algorithms 1(2): 185-210 (2003) |
| 2001 |
|---|
| 4 |  | César Viho,
Sébastien Barbin,
Lénaick Tanguy:
Towards a Formal Framework for Interoperability Testing.
FORTE 2001: 53-68 |
| 2000 |
|---|
| 3 | | Lénaick Tanguy,
César Viho,
Claude Jard:
Synthesizing Coordination Procedures for Distributed Testing of Distributed Systems.
ICDCS Workshop on Distributed System Validation and Verification 2000: E67-E74 |
| 2 | | Roberto Baldoni,
Jean-Michel Hélary,
Michel Raynal,
Lénaick Tanguy:
Consensus in byzantine asynchronous systems.
SIROCCO 2000: 1-15 |
| 1999 |
|---|
| 1 | | Claude Jard,
Thierry Jéron,
Lénaick Tanguy,
César Viho:
Remote testin can be as powerful as local testing.
FORTE 1999: 25-40 |
