Florent Kirchner
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
4
Venues
4
Active years
2011–2012
Best venue rank
A
Where they publish
Papers
4 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2012 | CADE | Benchmarking Static Analyzers. | Pascal Cuoq, Florent Kirchner, Boris Yakobowski |
| 2012 | SAS | Inference of Polynomial Invariants for Imperative Programs: A Farewell to Grbner Bases. | David Cachera, Thomas P. Jensen, Arnaud Jobin, Florent Kirchner |
| 2012 | SEFM | Frama-C - A Software Analysis Perspective. | Pascal Cuoq, Florent Kirchner, Nikolai Kosmatov, Virgile Prevosto, Julien Signoles, Boris Yakobowski |
| 2011 | ESOP | Secure the Clones - Static Enforcement of Policies for Secure Object Copying. | Thomas P. Jensen, Florent Kirchner, David Pichardie |