Travelled to:1 × Brazil
1 × Canada
1 × Korea
1 × Romania
Collaborated with:M.Rueher O.Ponsini A.Goldsztejn Y.Lebbah H.Collavizza C.Fédèle
Talks about:constraint (2) program (2) interpret (1) implement (1) algorithm (1) techniqu (1) quantifi (1) approxim (1) abstract (1) univers (1)
Person: Claude Michel
DBLP: Michel:Claude
Contributed to:
2012
2010
20082007Wrote 4 papers:
- ICST-2012-PonsiniMR #abstract interpretation #analysis #constraints #float #programming #source code
- Combining Constraint Programming and Abstract Interpretation for Value Analysis of Floating-point Programs (OP, CM, MR), pp. 775–776.
- ICSM-2010-PonsiniCFMR #automation #invariant #verification
- Automatic verification of loop invariants (OP, HC, CF, CM, MR), pp. 1–5.
- SAC-2008-GoldsztejnMR #algorithm #approximate #performance #quantifier
- An efficient algorithm for a sharp approximation of universally quantified inequalities (AG, CM, MR), pp. 134–139.
- SAC-2007-LebbahMR #constraints #implementation #performance #reduction #using
- Using constraint techniques for a safe and fast implementation of optimality-based reduction (YL, CM, MR), pp. 326–331.