Olivier Ponsini
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
6
Venues
5
Active years
2008–2014
Best venue rank
A*
Where they publish
Papers
6 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2014 | ICSE | Generating test cases inside suspicious intervals for floating-point number programs. | Hlne Collavizza, Claude Michel, Olivier Ponsini, Michel Rueher |
| 2012 | CP | Refining Abstract Interpretation Based Value Analysis with Constraint Programming Techniques. | Olivier Ponsini, Claude Michel, Michel Rueher |
| 2012 | ICST | Combining Constraint Programming and Abstract Interpretation for Value Analysis of Floating-point Programs. | Olivier Ponsini, Claude Michel, Michel Rueher |
| 2009 | MEMOCODE | Verification of an industrial SystemC/TLM model using LOTOS and CADP. | Hubert Garavel, Claude Helmstetter, Olivier Ponsini, Wendelin Serwe |
| 2008 | FM | A Schedulerless Semantics of TLM Models Written in SystemC Via Translation into LOTOS. | Olivier Ponsini, Wendelin Serwe |
| 2008 | MEMOCODE | A Comparison of Two SystemC/TLM Semantics for Formal Verification. | Claude Helmstetter, Olivier Ponsini |