Stéphane Hong Tuan Ha

According to our database, Stéphane Hong Tuan Ha authored at least 5 papers between 2004 and 2010.

Collaborative distances:

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

2010

Aspects of availability: Enforcing timed properties to prevent denial of service.

Pascal Fradet, Stéphane Hong Tuan Ha

Sci. Comput. Program., 2010

2009

Automating Structural Testing of C Programs: Experience with PathCrawler.

Bernard Botella, Mickaël Delahaye, Stéphane Hong Tuan Ha, Nikolai Kosmatov, Patricia Mouy, Muriel Roger, Nicky Williams

Proceedings of the 4th International Workshop on Automation of Software Test, 2009

2007

Aspects of availability.

Pascal Fradet, Stéphane Hong Tuan Ha

Proceedings of the Generative Programming and Component Engineering, 2007

2006

Systèmes de gestion de ressources et aspects de disponibilité.

Pascal Fradet, Stéphane Hong Tuan Ha

Obj. Logiciel Base données Réseaux, 2006

2004

Network Fusion.

Pascal Fradet, Stéphane Hong Tuan Ha

Proceedings of the Programming Languages and Systems: Second Asian Symposium, 2004