Philippe Herrmann

Publication Activity (10 Years)

Years Active: 1998-2013
Publications (10 Years): 0

Top Topics

Clustering Algorithm

Constraint Satisfaction Problems

Embedded Systems

Top Venues

Publications

Sébastien Bardin, Philippe Baufreton, Nicolas Cornuet, Philippe Herrmann, Sébastien Labbé
Binary-Level Testing of Embedded Programs. QSIC (2013)
Sébastien Bardin, Philippe Herrmann, Jérôme Leroux, Olivier Ly, Renaud Tabary, Aymeric Vincent
The BINCOA Framework for Binary Code Analysis. CAV (2011)
Sébastien Bardin, Philippe Herrmann, Franck Védrine
Refinement-Based CFG Reconstruction from Unstructured Programs. VMCAI (2011)
Sébastien Bardin, Philippe Herrmann
OSMOSE: automatic structural testing of executables. Softw. Test. Verification Reliab. 21 (1) (2011)
Sébastien Bardin, Philippe Herrmann, Florian Perroud
An Alternative to SAT-Based Approaches for Bit-Vectors. TACAS (2010)
Sébastien Bardin, Philippe Herrmann
Pruning the Search Space in Path-Based Test Generation. ICST (2009)
Sébastien Bardin, Philippe Herrmann
Structural Testing of Executables. ICST (2008)
Philippe Herrmann
Renaming is Necessary in Timed Regular Expressions. FSTTCS (1999)
Philippe Herrmann
Timed Automata and Recognizability. Inf. Process. Lett. 65 (6) (1998)