Florent Kirchner

According to our database, Florent Kirchner authored at least 17 papers between 2006 and 2024.

Collaborative distances:

• Dijkstra number of three.
• Erdős number of four.

2024

Towards Secure and Trusted-by-Design Smart Contracts.

Zaynah Dargaye, Önder Gürcan, Florent Kirchner, Sara Tucci Piergiovanni

CoRR, 2024

2021

The dogged pursuit of bug-free C programs: the Frama-C software analysis platform.

Patrick Baudin, François Bobot, David Bühler, Loïc Correnson, Florent Kirchner, Nikolai Kosmatov, André Maroneze, Valentin Perrelle, Virgile Prevosto, Julien Signoles, Nicky Williams

Commun. ACM, 2021

2019

Advances in Usability of Formal Methods for Code Verification with Frama-C.

André Maroneze, Valentin Perrelle, Florent Kirchner

Electron. Commun. Eur. Assoc. Softw. Sci. Technol., 2019

2015

Frama-C: A software analysis perspective.

Florent Kirchner, Nikolai Kosmatov, Virgile Prevosto, Julien Signoles, Boris Yakobowski

Formal Aspects Comput., 2015

2014

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

David Cachera, Thomas P. Jensen, Arnaud Jobin, Florent Kirchner

Sci. Comput. Program., 2014

2013

Verification of Numerical Programs: From Real Numbers to Floating Point Numbers.

Alwyn Goodloe, César A. Muñoz, Florent Kirchner, Loïc Correnson

Proceedings of the NASA Formal Methods, 2013

2012

Secure the Clones

Thomas P. Jensen, Florent Kirchner, David Pichardie

Log. Methods Comput. Sci., 2012

Frama-C - A Software Analysis Perspective.

Pascal Cuoq, Florent Kirchner, Nikolai Kosmatov, Virgile Prevosto, Julien Signoles, Boris Yakobowski

Proceedings of the Software Engineering and Formal Methods - 10th International Conference, 2012

Benchmarking Static Analyzers.

Pascal Cuoq, Florent Kirchner, Boris Yakobowski

Proceedings of the 1st International Workshop on Comparative Empirical Evaluation of Reasoning Systems, 2012

2011

Secure the Clones - Static Enforcement of Policies for Secure Object Copying.

Thomas P. Jensen, Florent Kirchner, David Pichardie

Proceedings of the Programming Languages and Systems, 2011

2010

The proof monad.

Florent Kirchner, César A. Muñoz

J. Log. Algebraic Methods Program., 2010

2009

Constraint Based Strategies.

Claude Kirchner, Florent Kirchner, Hélène Kirchner

Proceedings of the Functional and Constraint Logic Programming, 2009

System Support for Forensic Inference.

Ashish Gehani, Florent Kirchner, Natarajan Shankar

Proceedings of the Advances in Digital Forensics V, 2009

2007

Systèmes de preuve interopérables. (Interoperable proof systems).

Florent Kirchner

PhD thesis, 2007

2006

Rule-Based Operational Semantics for an Imperative Language.

Florent Kirchner, François-Régis Sinot

Proceedings of the 7th International Workshop on Rule Based Programming, 2006

PVS#: Streamlined Tacticals for PVS.

Florent Kirchner, César A. Muñoz

Proceedings of the 6th International Workshop on Strategies in Automated Deduction, 2006

A Finite First-Order Theory of Classes.

Florent Kirchner

Proceedings of the Types for Proofs and Programs, International Workshop, 2006