dblp.uni-trier.dewww.uni-trier.de

Lénaick Tanguy

List of publications from the DBLP Bibliography Server - FAQ
Coauthor Index - Ask others: ACM DL/Guide - CiteSeer - CSB - Google - MSN - Yahoo

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

Coauthor Index

1Roberto Baldoni [2] [5]
2Sébastien Barbin [4]
3Jean-Michel Hélary [2] [5]
4Claude Jard [1] [3]
5Thierry Jéron [1]
6Michel Raynal [2] [5]
7César Viho [1] [3] [4]

Copyright © Sun May 17 03:24:02 2009 by Michael Ley (ley@uni-trier.de)