Lénaick Tanguy

Publication Activity (10 Years)

Years Active: 1999-2003
Publications (10 Years): 0

Publications

Roberto Baldoni, Jean-Michel Hélary, Michel Raynal, Lénaick Tanguy
Consensus in Byzantine asynchronous systems. J. Discrete Algorithms 1 (2) (2003)
César Viho, Sébastien Barbin, Lénaick Tanguy
Towards a Formal Framework for Interoperability Testing. FORTE (2001)
Roberto Baldoni, Jean-Michel Hélary, Michel Raynal, Lénaick Tanguy
Consensus in byzantine asynchronous systems. SIROCCO (2000)
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)
Claude Jard, Thierry Jéron, Lénaick Tanguy, César Viho
Remote testin can be as powerful as local testing. FORTE (1999)