A Finite First-Order Theory of Classes. - Florent Kirchner (TYPES, 2006)

PVS#: Streamlined Tacticals for PVS. - Florent Kirchner; César A. Muñoz (STRATEGIES@IJCAR, 2006)

Rule-Based Operational Semantics for an Imperative Language. - Florent Kirchner; François-Régis Sinot (RULE@FLoC, 2006)

Systèmes de preuve interopérables. (Interoperable proof systems). - Florent Kirchner (2007)

System Support for Forensic Inference. - Ashish Gehani; Florent Kirchner; Natarajan Shankar (IFIP Int. Conf. Digital Forensics, 2009)

Constraint Based Strategies. - Claude Kirchner; Florent Kirchner; Hélène Kirchner (WFLP, 2009)

The proof monad. - Florent Kirchner; César A. Muñoz (J. Log. Algebraic Methods Program., 2010)

Secure the Clones - Static Enforcement of Policies for Secure Object Copying. - Thomas P. Jensen; Florent Kirchner; David Pichardie (ESOP, 2011)

Benchmarking Static Analyzers. - Pascal Cuoq; Florent Kirchner; Boris Yakobowski (COMPARE, 2012)

Frama-C - A Software Analysis Perspective. - Pascal Cuoq; Florent Kirchner; Nikolai Kosmatov; Virgile Prevosto; Julien Signoles; Boris Yakobowski (SEFM, 2012)

Secure the Clones - Thomas P. Jensen; Florent Kirchner; David Pichardie (Log. Methods Comput. Sci., 2012)

Verification of Numerical Programs: From Real Numbers to Floating Point Numbers. - Alwyn Goodloe; César A. Muñoz; Florent Kirchner; Loïc Correnson (NASA Formal Methods, 2013)

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)

Frama-C: A software analysis perspective. - Florent Kirchner; Nikolai Kosmatov; Virgile Prevosto; Julien Signoles; Boris Yakobowski (Formal Aspects Comput., 2015)

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)

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)

Towards Secure and Trusted-by-Design Smart Contracts. - Zaynah Dargaye; Önder Gürcan; Florent Kirchner; Sara Tucci Piergiovanni (CoRR, 2024)