Olivier Ponsini

12 papers A 2B 1C 2Journal 3Unranked 3
YearRankTypeTitle / Venue / Authors
2016 J jnl
Verifying floating-point programs with constraint programming and abstract interpretation techniques.
Autom. Softw. Eng.
Olivier Ponsini, Claude Michel, Michel Rueher
2014 J jnl
Constraint-based BMC: a backjumping strategy.
Int. J. Softw. Tools Technol. Transf.
Hélène Collavizza, Nguyen Le Vinh, Olivier Ponsini, Michel Rueher, Antoine Rollet
2014 — conf
Generating test cases inside suspicious intervals for floating-point number programs.
CSTVA
Hélène Collavizza, Claude Michel, Olivier Ponsini, Michel Rueher
2012 A conf
Combining Constraint Programming and Abstract Interpretation for Value Analysis of Floating-point Programs.
ICST
Olivier Ponsini, Claude Michel, Michel Rueher
2012 A conf
Refining Abstract Interpretation Based Value Analysis with Constraint Programming Techniques.
CP
Olivier Ponsini, Claude Michel, Michel Rueher
2010 — conf
Automatic verification of loop invariants.
ICSM
Olivier Ponsini, Hélène Collavizza, Carine Fédèle, Claude Michel, Michel Rueher
2009 C conf
Verification of an industrial SystemC/TLM model using LOTOS and CADP.
MEMOCODE
Hubert Garavel, Claude Helmstetter, Olivier Ponsini, Wendelin Serwe
2008 C conf
A Comparison of Two SystemC/TLM Semantics for Formal Verification.
MEMOCODE
Claude Helmstetter, Olivier Ponsini
2008 B conf
A Schedulerless Semantics of TLM Models Written in SystemC Via Translation into LOTOS.
FM
Olivier Ponsini, Wendelin Serwe
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 J jnl
Rewriting of imperative programs into logical equations.
Sci. Comput. Program.
Olivier Ponsini, Carine Fédèle, Emmanuel Kounalis
2002 — conf
Réécriture de programmes C--en équations logiques.
JFPLC
Olivier Ponsini