Olivier Ponsini

Interpretation-based Approximations with a Floating-point Constraint Solver

C. Michel, M. Rueher, Olivier Ponsini, 2011 .

Mutable Lists and Call-by-reference in Equational Logic

Olivier Ponsini, Carine Fédèle, 2007 .

Mutable Lists and Call-by-Reference with SOS Sub C

Olivier Ponsini, 2006 .

Refining Abstract Interpretation Based Value Analysis with Constraint Programming Techniques

Olivier Ponsini, Michel Rueher, Claude Michel, 2012, CP.

Verification of an industrial SystemC/TLM model using LOTOS and CADP

Olivier Ponsini, Hubert Garavel, Wendelin Serwe, 2009, 2009 7th IEEE/ACM International Conference on Formal Methods and Models for Co-Design.

A Comparison of Two SystemC/TLM Semantics for Formal Verification

Olivier Ponsini, Claude Helmstetter, Olivier Ponsini, 2008, 2008 6th ACM/IEEE International Conference on Formal Methods and Models for Co-Design.

A Schedulerless Semantics of TLM Models Written in SystemC Via Translation into LOTOS

Olivier Ponsini, Wendelin Serwe, Olivier Ponsini, 2008, FM.

Rewriting of imperative programs into logical equations

Olivier Ponsini, Carine Fédèle, Emmanuel Kounalis, 2005, Sci. Comput. Program..

Towards verification of Sub C programs with side effects

Olivier Ponsini, Carine Fédèle, Olivier Ponsini, 2006 .