2003 |
5 | EE | 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 |