Florent Kirchner

Publications

471

Citations

H-Index

2002

Active since

Affiliations

Commissariat à l'Énergie Atomique et aux Énergies Alternatives(Current)

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

Florent Kirchner is an author at Commissariat à l'Énergie Atomique et aux Énergies Alternatives specializing in computer science, formal methods, and engineering.

Top concepts

EngineeringFormal MethodsComputer ScienceProgram AnalysisSoftware AnalysisAutomated ReasoningFormal VerificationVerificationSystem SoftwareSoftware Testing

Publications per year

2002–2021

Publications

Frama-C: A software analysis perspective

Florent Kirchner, Nikolaï Kosmatov, Virgile Prévosto et al. · Formal Aspects of Computing · 2015 · 379 citations · Full text

The dogged pursuit of bug-free C programs

Patrick Baudin, François Bobot, David Bühler et al. · Communications of the ACM · 2021 · 58 citations · Full text

Popular Platform, Program Checking, Engineering +20

Inference of polynomial invariants for imperative programs: A farewell to Gröbner bases

David Cachera, Thomas Wiben Jensen, Arnaud Jobin et al. · Science of Computer Programming · 2014 · 14 citations

Programming Language Theory, Polynomial Invariants, Engineering +12

The proof monad

Florent Kirchner, César Muñoz · The Journal of Logic and Algebraic Programming · 2010 · 10 citations

Algebraic Logic, Engineering, Automated Reasoning +5

Air Traffic Conflict Resolution and Recovery

Alfons Geser, César Muñoz, Gilles Dowek et al. · Defense Technical Information Center (DTIC) · 2002 · 10 citations

Rows per page

1–5 of 5