Florent Kirchner

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