Philippe Herrmann
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
5
Venues
4
Active years
2008–2011
Best venue rank
A*
Where they publish
Papers
5 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2011 | CAV | The BINCOA Framework for Binary Code Analysis. | Sbastien Bardin, Philippe Herrmann, Jrme Leroux, Olivier Ly, Renaud Tabary, Aymeric Vincent |
| 2011 | VMCAI | Refinement-Based CFG Reconstruction from Unstructured Programs. | Sbastien Bardin, Philippe Herrmann, Franck Vdrine |
| 2010 | TACAS | An Alternative to SAT-Based Approaches for Bit-Vectors. | Sbastien Bardin, Philippe Herrmann, Florian Perroud |
| 2009 | ICST | Pruning the Search Space in Path-Based Test Generation. | Sbastien Bardin, Philippe Herrmann |
| 2008 | ICST | Structural Testing of Executables. | Sbastien Bardin, Philippe Herrmann |