Réécriture de programmes C–en équations logiques. - Olivier Ponsini (JFPLC, 2002)

Rewriting of imperative programs into logical equations. - Olivier Ponsini; Carine Fédèle; Emmanuel Kounalis (Sci. Comput. Program., 2005)

Des programmes impératifs vers la logique équationnelle pour la vérification. (From imperative programs to equational logic for correctness verification). - Olivier Ponsini (2005)

A Schedulerless Semantics of TLM Models Written in SystemC Via Translation into LOTOS. - Olivier Ponsini; Wendelin Serwe (FM, 2008)

A Comparison of Two SystemC/TLM Semantics for Formal Verification. - Claude Helmstetter; Olivier Ponsini (MEMOCODE, 2008)

Verification of an industrial SystemC/TLM model using LOTOS and CADP. - Hubert Garavel; Claude Helmstetter; Olivier Ponsini; Wendelin Serwe (MEMOCODE, 2009)

Automatic verification of loop invariants. - Olivier Ponsini; Hélène Collavizza; Carine Fédèle; Claude Michel; Michel Rueher (ICSM, 2010)

Refining Abstract Interpretation Based Value Analysis with Constraint Programming Techniques. - Olivier Ponsini; Claude Michel; Michel Rueher (CP, 2012)

Combining Constraint Programming and Abstract Interpretation for Value Analysis of Floating-point Programs. - Olivier Ponsini; Claude Michel; Michel Rueher (ICST, 2012)

Generating test cases inside suspicious intervals for floating-point number programs. - Hélène Collavizza; Claude Michel; Olivier Ponsini; Michel Rueher (CSTVA, 2014)

Constraint-based BMC: a backjumping strategy. - Hélène Collavizza; Nguyen Le Vinh; Olivier Ponsini; Michel Rueher; Antoine Rollet (Int. J. Softw. Tools Technol. Transf., 2014)

Verifying floating-point programs with constraint programming and abstract interpretation techniques. - Olivier Ponsini; Claude Michel; Michel Rueher (Autom. Softw. Eng., 2016)