Franck Védrine

Statistics

Publications

Citations

H-Index

Active since

2007

Affiliations

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

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

École Nationale Supérieure de Techniques Avancées

Franck Védrine is an author at Laboratoire d'Intégration des Systèmes et des Technologies specializing in computing, computer science, and formal methods.

Publications per year

2007–2011

Publications

Refinement-based CFG reconstruction from unstructured programs

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

Computing, Computer Science, Compilers +9

SystemC Waiting-State Automata

Yu Zhang, Franck Védrine, Bruno Monsuez · Electronic workshops in computing · 2007 · 14 citations · Full text

Computing, Computer Science, Computer Systems +17

Computing WCET using symbolic execution

Bilel Benhamamouch, Bruno Monsuez, Franck Védrine · Electronic workshops in computing · 2008 · 13 citations · Full text

Computing, Computer Engineering, Computer Science +15

1–3 of 3