Florent Kirchner

Publication Activity (10 Years)

Years Active: 2006-2024
Publications (10 Years): 3

Top Venues

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

CoRR

Formal Aspects Comput.

Commun. ACM

École Polytechnique, Palaiseau, France (PHD)

Education History

École Polytechnique, Palaiseau, France

PHD

Publications

Zaynah Dargaye, Önder Gürcan, Florent Kirchner, Sara Tucci Piergiovanni
Towards Secure and Trusted-by-Design Smart Contracts. CoRR (2024)
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
The dogged pursuit of bug-free C programs: the Frama-C software analysis platform. Commun. ACM 64 (8) (2021)
André Maroneze, Valentin Perrelle, Florent Kirchner
Advances in Usability of Formal Methods for Code Verification with Frama-C. Electron. Commun. Eur. Assoc. Softw. Sci. Technol. 77 (2019)
Florent Kirchner, Nikolai Kosmatov, Virgile Prevosto, Julien Signoles, Boris Yakobowski
Frama-C: A software analysis perspective. Formal Aspects Comput. 27 (3) (2015)
David Cachera, Thomas P. Jensen, Arnaud Jobin, Florent Kirchner
Inference of polynomial invariants for imperative programs: A farewell to Gröbner bases. Sci. Comput. Program. 93 (2014)
Alwyn Goodloe, César A. Muñoz, Florent Kirchner, Loïc Correnson
Verification of Numerical Programs: From Real Numbers to Floating Point Numbers. NASA Formal Methods (2013)
Pascal Cuoq, Florent Kirchner, Nikolai Kosmatov, Virgile Prevosto, Julien Signoles, Boris Yakobowski
Frama-C - A Software Analysis Perspective. SEFM (2012)
Thomas P. Jensen, Florent Kirchner, David Pichardie
Secure the Clones Log. Methods Comput. Sci. 8 (2) (2012)
Pascal Cuoq, Florent Kirchner, Boris Yakobowski
Benchmarking Static Analyzers. COMPARE (2012)
David Cachera, Thomas P. Jensen, Arnaud Jobin, Florent Kirchner
Inference of Polynomial Invariants for Imperative Programs: A Farewell to Gröbner Bases. SAS (2012)
Thomas P. Jensen, Florent Kirchner, David Pichardie
Secure the Clones - Static Enforcement of Policies for Secure Object Copying. ESOP (2011)
Florent Kirchner, César A. Muñoz
The proof monad. J. Log. Algebraic Methods Program. 79 (3-5) (2010)
Claude Kirchner, Florent Kirchner, Hélène Kirchner
Constraint Based Strategies. WFLP (2009)
Ashish Gehani, Florent Kirchner, Natarajan Shankar
System Support for Forensic Inference. IFIP Int. Conf. Digital Forensics (2009)
Florent Kirchner, François-Régis Sinot
Rule-Based Operational Semantics for an Imperative Language. Electron. Notes Theor. Comput. Sci. 174 (1) (2007)
Florent Kirchner, César A. Muñoz
PVS#: Streamlined Tacticals for PVS. Electron. Notes Theor. Comput. Sci. 174 (11) (2007)
Florent Kirchner
A Finite First-Order Theory of Classes. TYPES (2006)

Florent Kirchner.css-eqlu8i{font-size:small;padding-left:4px;}

Publication Activity (10 Years)

Top Topics

Top Venues

Florent Kirchner