Network Fusion. - Pascal Fradet; Stéphane Hong Tuan Ha (APLAS, 2004)

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)

Aspects of availability. - Pascal Fradet; Stéphane Hong Tuan Ha (GPCE, 2007)

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 (AST, 2009)

Aspects of availability: Enforcing timed properties to prevent denial of service. - Pascal Fradet; Stéphane Hong Tuan Ha (Sci. Comput. Program., 2010)