Olivier Ponsini

According to our database, Olivier Ponsini authored at least 12 papers between 2002 and 2016.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2016

Verifying floating-point programs with constraint programming and abstract interpretation techniques.

Olivier Ponsini, Claude Michel, Michel Rueher

Autom. Softw. Eng., 2016

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

Generating test cases inside suspicious intervals for floating-point number programs.

Hélène Collavizza, Claude Michel, Olivier Ponsini, Michel Rueher

Proceedings of the 6th International Workshop on Constraints in Software Testing, 2014

2012

Combining Constraint Programming and Abstract Interpretation for Value Analysis of Floating-point Programs.

Olivier Ponsini, Claude Michel, Michel Rueher

Proceedings of the Fifth IEEE International Conference on Software Testing, 2012

Refining Abstract Interpretation Based Value Analysis with Constraint Programming Techniques.

Olivier Ponsini, Claude Michel, Michel Rueher

Proceedings of the Principles and Practice of Constraint Programming, 2012

2010

Automatic verification of loop invariants.

Olivier Ponsini, Hélène Collavizza, Carine Fédèle, Claude Michel, Michel Rueher

Proceedings of the 26th IEEE International Conference on Software Maintenance (ICSM 2010), 2010

2009

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

Hubert Garavel, Claude Helmstetter, Olivier Ponsini, Wendelin Serwe

Proceedings of the 7th ACM/IEEE International Conference on Formal Methods and Models for Codesign (MEMOCODE 2009), 2009

2008

A Comparison of Two SystemC/TLM Semantics for Formal Verification.

Claude Helmstetter, Olivier Ponsini

Proceedings of the 6th ACM & IEEE International Conference on Formal Methods and Models for Co-Design (MEMOCODE 2008), 2008

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

Olivier Ponsini, Wendelin Serwe

Proceedings of the FM 2008: Formal Methods, 2008

2005

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

Olivier Ponsini

PhD thesis, 2005

Rewriting of imperative programs into logical equations.

Olivier Ponsini, Carine Fédèle, Emmanuel Kounalis

Sci. Comput. Program., 2005

2002

Réécriture de programmes C--en équations logiques.

Olivier Ponsini

Proceedings of the Programmation en logique avec contraintes, 2002