Timed Automata and Recognizability. - Philippe Herrmann (Inf. Process. Lett., 1998)

Renaming is Necessary in Timed Regular Expressions. - Philippe Herrmann (FSTTCS, 1999)

Structural Testing of Executables. - Sébastien Bardin; Philippe Herrmann (ICST, 2008)

Pruning the Search Space in Path-Based Test Generation. - Sébastien Bardin; Philippe Herrmann (ICST, 2009)

An Alternative to SAT-Based Approaches for Bit-Vectors. - Sébastien Bardin; Philippe Herrmann; Florian Perroud (TACAS, 2010)

The BINCOA Framework for Binary Code Analysis. - Sébastien Bardin; Philippe Herrmann; Jérôme Leroux; Olivier Ly; Renaud Tabary; Aymeric Vincent (CAV, 2011)

Refinement-Based CFG Reconstruction from Unstructured Programs. - Sébastien Bardin; Philippe Herrmann; Franck Védrine (VMCAI, 2011)

OSMOSE: automatic structural testing of executables. - Sébastien Bardin; Philippe Herrmann (Softw. Test. Verification Reliab., 2011)

Binary-Level Testing of Embedded Programs. - Sébastien Bardin; Philippe Baufreton; Nicolas Cornuet; Philippe Herrmann; Sébastien Labbé 002 (QSIC, 2013)