Philippe Herrmann

Publications

301

Citations

H-Index

1998

Active since

Affiliations

Laboratoire d'Intégration des Systèmes et des Technologies(Current)

Commissariat à l'Énergie Atomique et aux Énergies Alternatives

Philippe Herrmann is an author at Laboratoire d'Intégration des Systèmes et des Technologies specializing in engineering, computer science, and formal methods.

Top concepts

EngineeringComputer ScienceFormal MethodsProgram AnalysisSoftware AnalysisFormal VerificationVerificationSoftware TestingComputer EngineeringSoftware Engineering

Publications per year

1998–2011

Publications

De‐aliased, high‐resolution radon transforms

Philippe Herrmann, Todd Mojesky, M. Magesan et al. · 2000 · 112 citations

Applied Geophysics, Engineering, Seismic Wave +22

Structural Testing of Executables

Sébastien Bardin, Philippe Herrmann · 2008 · 55 citations

Software Maintenance, Engineering, Structured Language +18

Refinement-based CFG reconstruction from unstructured programs

Sébastien Bardin, Philippe Herrmann, Franck Védrine · Verification, Model Checking and Abstract Interpretation · 2011 · 48 citations

Refinement Technique, Engineering, Program Analysis +9

OSMOSE: automatic structural testing of executables

Sébastien Bardin, Philippe Herrmann · Software Testing Verification and Reliability · 2010 · 44 citations

Software Maintenance, Engineering, Verification +23

Timed automata and recognizability

Philippe Herrmann · Information Processing Letters · 1998 · 21 citations

Logical Automaton, Engineering, Automated Reasoning +7

Rows per page

1–5 of 6