Valéry Tschaen

According to our database, Valéry Tschaen authored at least 3 papers between 2003 and 2004.

Collaborative distances:

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

2004

From Safety Verification to Safety Testing.

Vlad Rusu, Hervé Marchand, Valéry Tschaen, Thierry Jéron, Bertrand Jeannet

Proceedings of the Testing of Communicating Systems, 16th IFIP International Conerence, 2004

Test Generation Algorithms Based on Preorder Relations.

Valéry Tschaen

Proceedings of the Model-Based Testing of Reactive Systems, 2004

2003

Ensuring the conformance of reactive discrete-event systems using supervisory control.

Thieny Eron, Hervé Marchand, Vlad Rusu, Valéry Tschaen

Proceedings of the 42nd IEEE Conference on Decision and Control, 2003