Philippe Herrmann
United Parcel Service (United States)(US)
Publications by Year
Research Areas
Seismic Imaging and Inversion Techniques, Seismic Waves and Analysis, Software Testing and Debugging Techniques, Formal Methods in Verification, Medical Imaging Techniques and Applications
Most-Cited Works
- → De‐aliased, high‐resolution radon transforms(2000)112 cited
- → Structural Testing of Executables(2008)55 cited
- → Refinement-based CFG reconstruction from unstructured programs(2011)48 cited
- → OSMOSE: automatic structural testing of executables(2010)44 cited
- → An Alternative to SAT-Based Approaches for Bit-Vectors(2010)22 cited
- → Timed automata and recognizability(1998)21 cited
- → Pruning the Search Space in Path-Based Test Generation(2009)21 cited
- → Data-based diffraction kernels for surface waves from convolution and correlation processes through active seismic interferometry(2018)10 cited
- → Binary-Level Testing of Embedded Programs(2013)9 cited