Olivier Ponsini

Statistics

Publications

Citations

H-Index

Active since

2008

Affiliations

Institut national de recherche en sciences et technologies du numérique(Current)

Centre Inria de l'Université Grenoble Alpes

Olivier Ponsini is an author at Institut national de recherche en sciences et technologies du numérique specializing in formal methods, verification, and computer engineering.

Publications per year

2008–2014

Publications

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

Hubert Garavel, Claude Helmstetter, Olivier Ponsini et al. · 2009 · 34 citations

Engineering, Computer Engineering, Computer Science +14

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

Hubert Garavel, Claude Helmstetter, Olivier Ponsini et al. · 2009 · 27 citations · Full text

Engineering, Computer Engineering, Computer Science +14

A Comparison of Two SystemC/TLM Semantics for Formal Verification

Claude Helmstetter, Olivier Ponsini · 2008 · 22 citations

Engineering, Computer Engineering, Computer Science +17

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

Olivier Ponsini, Claude Michel, Michel Rueher · Automated Software Engineering · 2014 · 12 citations · Full text

Computing, Computer Engineering, Computer Science +16

1–4 of 4