Keywords

Number of documents

37


Journal articles9 documents

  • Olivier Ponsini, Claude Michel, Michel Rueher. Verifying floating-point programs with constraint programming and abstract interpretation techniques. Automated Software Engineering, Springer Verlag, 2016, ⟨10.1007/s10515-014-0154-2⟩. ⟨hal-00860681v2⟩
  • Pascal Benchimol, Willem-Jan Van Hoeve, Jean-Charles Régin, Louis-Martin Rousseau, Michel Rueher. Improved filtering for weighted circuit constraints. Constraints, Springer Verlag, 2012, 17 (3), pp.205--233. ⟨10.1007/s10601-012-9119-x⟩. ⟨hal-01344070⟩
  • Hélène Collavizza, Nguyen Le Vinh, Olivier Ponsini, Michel Rueher, Antoine Rollet. Constraint-Based BMC: A Backjumping Strategy. International Journal on Software Tools for Technology Transfer, Springer Verlag, 2012, pp.1-19. ⟨10.1007/s10009-012-0258-6⟩. ⟨hal-00874059⟩
  • Alexandre Goldsztejn, Yahia Lebbah, Claude Michel, Michel Rueher. Capabilities of Constraint Programming in Safe Global Optimization. Reliable Computing electronic edition, 2011, 15 (1), pp.47-59. ⟨hal-00835183⟩
  • Hélène Collavizza, Michel Rueher, Pascal Van Hentenryck. CPBPV: a constraint-programming framework for bounded program verification. Constraints, Springer Verlag, 2010, 15 (2), pp.238-264. ⟨10.1007/s10601-009-9089-9⟩. ⟨hal-00510303⟩
  • Alexandre Goldsztejn, Michel Rueher, Michel Claude. Efficient Handling of Universally Quantified Inequalities. Constraints, Springer Verlag, 2009, 14 (1), pp.117-135. ⟨hal-00431129⟩
  • Yahia Lebbah, Claude Michel, Michel Rueher. An efficient and safe framework for solving optimization problems. Journal of Computational and Applied Mathematics, Elsevier, 2007, 199, pp.372-377,. ⟨10.1016/j.cam.2005.08.037⟩. ⟨hal-00510304⟩
  • Yahia Lebbah, Claude Michel, Michel Rueher, David Daney, Jean-Pierre Merlet. Efficient and Safe Global Constraints for Handling Numerical Constraint Systems. SIAM Journal on Numerical Analysis, Society for Industrial and Applied Mathematics, 2005, 42 (5), pp. 2076-2097. ⟨10.1137/S0036142903436174⟩. ⟨hal-00907765⟩
  • Olivier Lhomme, Arnaud Gotlieb, Michel Rueher. Dynamic optimization of interval narrowing algorithms. Journal of Logic Programming, Elsevier, 1998, 37 (1-3), pp.165-183. ⟨10.1016/S0743-1066(98)10007-9⟩. ⟨inria-00540302⟩

Conference papers19 documents

  • Rémy Garcia, Claude Michel, Marie Pelleau, Michel Rueher. Towards a constraint system for round-off error analysis of floating-point computation. 24th International Conference on Principles and Practice of Constraint Programming :Doctoral Program, Aug 2018, Lille, France. ⟨hal-01956046⟩
  • Hélène Collavizza, Claude Michel, Michel Rueher. Searching input values hitting suspicious Intervals in programs with floating-point operations. 28th International Conference on Software and Systems (ICTSS-2016)., Oct 2016, Graz, Austria. pp 209 --217. ⟨hal-01224009v2⟩
  • Hélène Collavizza, Claude Michel, Michel Rueher. Searching Critical Values for Floating-Point Programs. 28th IFIP International Conference on Testing Software and Systems (ICTSS), Oct 2016, Graz, Austria. pp.209-217, ⟨10.1007/978-3-319-47443-4_13⟩. ⟨hal-01643710⟩
  • Mohammed Bekkouche, Hélène Collavizza, Michel Rueher. Un algorithme incrémental dirigé par les flots et basé sur les contraintes pour l'aide à la localisation d'erreurs. JFPC 2015 : Onzièmes Journées Francophones de Programmation par Contraintes, Laboratoire Bordelais de Recherche en Informatique (Labri), Jun 2015, Bordeaux, France. ⟨hal-01152341⟩
  • Mohammed Bekkouche, Hélène Collavizza, Michel Rueher. LocFaults: A new flow-driven and constraint-based error localization approach . SAC’15, SVT track, ACM, Apr 2015, Salamanca,, Spain. ⟨10.1145/2695664.2695822⟩. ⟨hal-01094227⟩
  • Mohammed Bekkouche, Hélène Collavizza, Michel Rueher. Une approche CSP pour l'aide à la localisation d'erreurs. Dixièmes Journées Francophones de Programmation par Contraintes (JFPC 14), Jun 2014, Angers, France. ⟨hal-00957255v2⟩
  • Mohammed Said Belaid, Claude Michel, Michel Rueher. Un nouvel algorithme de consistance locale sur les nombres flottants. Huitièmes Journées Francophones de Programmation par Contraintes - JFPC 2012, May 2012, Toulouse, France. ⟨hal-00829579⟩
  • Nguyen Le Vinh, Hélène Collavizza, Michel Rueher, Samuel Devulder, Thierry Gueguen. Stratégies Dynamiques pour la Génération de Contre-exemples. JFPC 2010 - Sixièmes Journées Francophones de Programmation par Contraintes, Jun 2010, Caen, France. pp.207-216. ⟨inria-00520281⟩
  • Mohammed Said Belaid, Claude Michel, Michel Rueher. Résolution de contraintes sur les nombres à virgule flottante par une approximation sur les nombres réels. JFPC 2010 - Sixièmes Journées Francophones de Programmation par Contraintes, Jun 2010, Caen, France. pp.51-60. ⟨inria-00520370⟩
  • Hélène Collavizza, Michel Rueher, Pascal Van Hentenryck. CPBPV: A Constraint-Programming Framework For Bounded Program Verification. 14th International Conference on Principles and Practice of Constraint Programming, Sep 2008, Sydney, Australia. pp.327-341, ⟨10.1007/978-3-540-85958-1_22⟩. ⟨hal-01099509⟩
  • Alexandre Goldsztejn, Yahia Lebbah, Claude Michel, Michel Rueher. Revisiting the upper bounding process in a safe Branch and Bound algorithm. 14th International Conference on Principles and Practice of Constraint Programming, Sep 2008, Sydney, Australia. pp.598-602. ⟨hal-00297086⟩
  • Hélène Collavizza, Michel Rueher, Pascal Van Hentenryck. CPBVP: A Constraint-Programming Framework for Bounded Program Verification. The 14th International Conference on Principles and Practice of Constraint Programming, Sep 2008, Sydney, Australia. pp.327-341. ⟨hal-00297007⟩
  • Alexandre Goldsztejn, Claude Michel, Michel Rueher. An Efficient Algorithm for a Sharp Approximation of Universally Quantified Inequalities. ACM symposium on Applied computing, Mar 2008, Fortaleza, Ceara, Brazil. pp.134-139. ⟨hal-00297250⟩
  • Michel Rueher, Alexandre Goldsztejn, Yahia Lebbah, Claude Michel. Capabilities of Constraint Programming in Rigorous Global Optimization. 2008 International Symposium on Nonlinear Theory and its Applications, Sep 2008, Hungary. ⟨hal-00481388⟩
  • Alexandre Goldsztejn, Yahia Lebbah, Claude Michel, Michel Rueher. Constraint Programming and Safe Global Optimization. SCAN 2008, 3th GAMM - IMACS International Symposium on Scientific Computing, Computer Arithmetic and Verified Numerical Computations, Sep 2008, El Paso, TX, United States. ⟨hal-00510305⟩
  • Alexandre Goldsztejn, Claude Michel, Michel Rueher. An Efficient Algorithm for a Sharp Approximation of Universally Quantified Inequalities. JFPC 2008- Quatrièmes Journées Francophones de Programmation par Contraintes, LINA - Université de Nantes - Ecole des Mines de Nantes, Jun 2008, Nantes, France. pp.373. ⟨inria-00293749⟩
  • Yahia Lebbah, Claude Michel, Michel Rueher. Utilisation des techniques de programmation par contraintes pour une implémentation rigoureuse et efficace de la réduction basée sur l'optimalité. Troisièmes Journées Francophones de Programmationpar Contraintes (JFPC07), Jun 2007, Rocquencourt / France, France. ⟨inria-00151231⟩
  • Alexandre Goldsztejn, David Daney, Michel Rueher, Patrick Taillibert. Modal intervals revisited : a mean-value extension to generalized intervals. In International Workshop on Quantification in Constraint Programming (International Conference on Principles and Practice of Constraint Programming, CP-2005), Oct 2005, Barcelona, Spain. ⟨hal-00990048⟩
  • Heikel Batnini, Michel Rueher, Claude Michel. Une Stratégie de Résolution Orientée par la Topologie des CSPs Numériques. Premières Journées Francophones de Programmation par Contraintes, CRIL - CNRS FRE 2499, Jun 2005, Lens, pp.211-218. ⟨inria-00000087⟩

Other publications2 documents

  • Heytem Zitoun, Claude Michel, Michel Rueher, Laurent Michel. Sub-domain Selection Strategies For Floating Point Constraint Systems. 2018. ⟨hal-01956094⟩
  • Nguyen Le Vinh, Hélène Collavizza, Michel Rueher, Samuel Devulder, Thierry Gueguen. Efficient Constraint-Based Dynamic Strategies For Generating Counterexamples. 2010. ⟨hal-00495816v2⟩

Preprints, Working Papers, ...6 documents

  • Hélène Collavizza, Nguyen Le Vinh, Olivier Ponsini, Michel Rueher, Antoine Rollet. The Flasher Manager Benchmarks. 2012. ⟨hal-00720921⟩
  • Mohammed Said Belaid, Claude Michel, Michel Rueher. Boosting domain filtering over floating-point numbers with safe linear approximations. 2011. ⟨hal-00653659⟩
  • Hélène Collavizza, Le Vinh Nguyen, Olivier Ponsini, Michel Rueher, Antoine Rollet. Constraint-Based BMC: A Backjumping Strategy. 2011. ⟨hal-00635417v4⟩
  • Hélène Collavizza, Nguyen Le Vinh, Michel Rueher, Samuel Devulder, Thierry Gueguen. A Dynamic Constraint-Based BMC Strategy For Generating Counterexamples. 2010. ⟨hal-00531081⟩
  • Olivier Ponsini, Hélène Collavizza, Carine Fédèle, Claude Michel, Michel Rueher. Automatic Verification of Loop Invariants. 2010. ⟨hal-00495675⟩
  • Hélène Collavizza, Michel Rueher, Pascal Van Hentenryck. Comparison between CPBPV, ESC/Java, CBMC, Blast, EUREKA and Why for Bounded Program Verification. 2008. ⟨hal-00274546⟩

Reports1 document

  • Olivier Ponsini, Claude Michel, Michel Rueher. Refining Abstract Interpretation-based Approximations with Constraint Solvers. [Research Report] Laboratoire I3S / UNS. 2011. ⟨hal-00623274⟩