Mots-clés

Projets Européen

Nombre de documents

34


Article dans une revue9 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>

Communication dans un congrès17 documents

  • 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. 28th IFIP WG 6.1 International Conference, ICTSS 2016, Graz, Austria, October 17-19, 2016, Proceedings. Series: Lecture Notes in Computer Science, Vol. 9976 ., 9976, pp 209 --217, 2016, LNCS. <http://ictss2016.ist.tugraz.at>. <hal-01224009v2>
  • Mohammed Bekkouche, Hélène Collavizza, Michel Rueher. LocFaults: A new flow-driven and constraint-based error localization approach . ACM. SAC’15, SVT track, Apr 2015, Salamanca,, Spain. <10.1145/2695664.2695822>. <hal-01094227>
  • 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, Jun 2015, Bordeaux, France. 2015, <http://jfpc2015.labri.fr/>. <hal-01152341>
  • 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. 2012, Actes des Huitièmes Journées Francophones de Programmation par Contraintes. <hal-00829579>
  • 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, 2010. <inria-00520370>
  • 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, 2010. <inria-00520281>
  • Hélène Collavizza, Michel Rueher, Pascal Van Hentenryck. CPBVP: A Constraint-Programming Framework for Bounded Program Verification. P.J. Stuckey. The 14th International Conference on Principles and Practice of Constraint Programming, Sep 2008, Sydney, Australia. Springer Verlag, LNCS (5202), pp.327-341, 2008. <hal-00297007>
  • 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. Proc. of 14th International Conference on Principles and Practice of Constraint Programming, 5202, pp.327-341, 2008, Lecture Notes in Computer Science. <10.1007/978-3-540-85958-1_22>. <hal-01099509>
  • 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, Claude Michel, Michel Rueher. An Efficient Algorithm for a Sharp Approximation of Universally Quantified Inequalities. Gilles Trombettoni. JFPC 2008- Quatrièmes Journées Francophones de Programmation par Contraintes, Jun 2008, Nantes, France. pp.373, 2008. <inria-00293749>
  • 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. ACM, pp.134-139, 2008. <hal-00297250>
  • Alexandre Goldsztejn, Yahia Lebbah, Claude Michel, Michel Rueher. Revisiting the upper bounding process in a safe Branch and Bound algorithm. P.J. Stuckey. 14th International Conference on Principles and Practice of Constraint Programming, Sep 2008, Sydney, Australia. LNCS (5202), pp.598-602, 2008. <hal-00297086>
  • 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>
  • 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. 2007, JFPC07. <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. 2005. <hal-00990048>
  • Heikel Batnini, Michel Rueher, Claude Michel. Une Stratégie de Résolution Orientée par la Topologie des CSPs Numériques. Christine Solnon. Premières Journées Francophones de Programmation par Contraintes, Jun 2005, Lens, Université d'Artois, pp.211-218, 2005, Premières Journées Francophones de Programmation par Contraintes. <inria-00000087>

Autre publication1 document

  • Nguyen Le Vinh, Hélène Collavizza, Michel Rueher, Samuel Devulder, Thierry Gueguen. Efficient Constraint-Based Dynamic Strategies For Generating Counterexamples. Rapport de Recherche. 2010. <hal-00495816v2>

Pré-publication, Document de travail6 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. 10 pages. 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>

Rapport1 document

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