Olivier Ponsini

Publication Activity (10 Years)

Years Active: 2002-2016
Publications (10 Years): 1

Top Venues

ICST

Autom. Softw. Eng.

CSTVA

Int. J. Softw. Tools Technol. Transf.

University of Nice Sophia Antipolis, France (PHD)

Education History

University of Nice Sophia Antipolis, France

PHD

Publications

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

Olivier Ponsini.css-eqlu8i{font-size:small;padding-left:4px;}

Publication Activity (10 Years)

Top Topics

Top Venues

Olivier Ponsini