Lénaick Tanguy

According to our database, Lénaick Tanguy authored at least 4 papers between 1999 and 2001.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of three.

2001

Towards a Formal Framework for Interoperability Testing.

César Viho, Sébastien Barbin, Lénaick Tanguy

Proceedings of the Formal Techniques for Networked and Distributed Systems, 2001

2000

Consensus in byzantine asynchronous systems.

Roberto Baldoni, Jean-Michel Hélary, Michel Raynal, Lénaick Tanguy

Proceedings of the SIROCCO 7, 2000

Synthesizing Coordination Procedures for Distributed Testing of Distributed Systems.

Lénaick Tanguy, César Viho, Claude Jard

Proceedings of the 2000 ICDCS Workshops, April 10, 2000, Taipei, Taiwan, ROC, 2000

1999

Remote testin can be as powerful as local testing.

Claude Jard, Thierry Jéron, Lénaick Tanguy, César Viho

Proceedings of the Formal Methods for Protocol Engineering and Distributed Systems, 1999