Michel Rueher
Présentation
Publications
Publications
|
|
Towards a constraint system for round-off error analysis of floating-point computation24th International Conference on Principles and Practice of Constraint Programming :Doctoral Program, Aug 2018, Lille, France |
|
|
Searching Critical Values for Floating-Point Programs28th IFIP International Conference on Testing Software and Systems (ICTSS), Oct 2016, Graz, Austria. pp.209-217, ⟨10.1007/978-3-319-47443-4_13⟩ |
|
|
Searching input values hitting suspicious Intervals in programs with floating-point operations28th International Conference on Software and Systems (ICTSS-2016)., Oct 2016, Graz, Austria. pp 209 --217 |
|
|
Un algorithme incrémental dirigé par les flots et basé sur les contraintes pour l'aide à la localisation d'erreursJFPC 2015 : Onzièmes Journées Francophones de Programmation par Contraintes, Laboratoire Bordelais de Recherche en Informatique (Labri), Jun 2015, Bordeaux, France |
|
|
LocFaults: A new flow-driven and constraint-based error localization approachSAC’15, SVT track, ACM, Apr 2015, Salamanca,, Spain. ⟨10.1145/2695664.2695822⟩ |
|
|
Une approche CSP pour l'aide à la localisation d'erreursDixièmes Journées Francophones de Programmation par Contraintes (JFPC 14), Jun 2014, Angers, France |
|
|
Un nouvel algorithme de consistance locale sur les nombres flottantsHuitièmes Journées Francophones de Programmation par Contraintes - JFPC 2012, May 2012, Toulouse, France |
|
|
Résolution de contraintes sur les nombres à virgule flottante par une approximation sur les nombres réelsJFPC 2010 - Sixièmes Journées Francophones de Programmation par Contraintes, Jun 2010, Caen, France. pp.51-60 |
|
|
Stratégies Dynamiques pour la Génération de Contre-exemplesJFPC 2010 - Sixièmes Journées Francophones de Programmation par Contraintes, Jun 2010, Caen, France. pp.207-216 |
|
|
CPBVP: A Constraint-Programming Framework for Bounded Program VerificationThe 14th International Conference on Principles and Practice of Constraint Programming, Sep 2008, Sydney, Australia. pp.327-341 |
|
|
CPBPV: A Constraint-Programming Framework For Bounded Program Verification14th International Conference on Principles and Practice of Constraint Programming, Sep 2008, Sydney, Australia. pp.327-341, ⟨10.1007/978-3-540-85958-1_22⟩ |
|
|
An Efficient Algorithm for a Sharp Approximation of Universally Quantified InequalitiesJFPC 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 |
|
|
Revisiting the upper bounding process in a safe Branch and Bound algorithm14th International Conference on Principles and Practice of Constraint Programming, Sep 2008, Sydney, Australia. pp.598-602 |
|
|
An Efficient Algorithm for a Sharp Approximation of Universally Quantified InequalitiesACM symposium on Applied computing, Mar 2008, Fortaleza, Ceara, Brazil. pp.134-139 |
|
|
Constraint Programming and Safe Global OptimizationSCAN 2008, 3th GAMM - IMACS International Symposium on Scientific Computing, Computer Arithmetic and Verified Numerical Computations, Sep 2008, El Paso, TX, United States |
Capabilities of Constraint Programming in Rigorous Global Optimization2008 International Symposium on Nonlinear Theory and its Applications, Sep 2008, Hungary |
|
|
|
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 |
Modal intervals revisited : a mean-value extension to generalized intervalsIn International Workshop on Quantification in Constraint Programming (International Conference on Principles and Practice of Constraint Programming, CP-2005), Oct 2005, Barcelona, Spain |
|
|
|
Une Stratégie de Résolution Orientée par la Topologie des CSPs NumériquesPremières Journées Francophones de Programmation par Contraintes, CRIL - CNRS FRE 2499, Jun 2005, Lens, pp.211-218 |
A Branch-and-bound Algorithm to Rigorously Enclose the Round-Off ErrorsPrinciples and Practice of Constraint Programming, pp.637-653, 2020, ⟨10.1007/978-3-030-58475-7_37⟩ |
|
|
Sub-domain Selection Strategies For Floating Point Constraint Systems2018 |
|
|
Efficient Constraint-Based Dynamic Strategies For Generating Counterexamples2010 |
|
|
The Flasher Manager Benchmarks2012 |
|
|
Constraint-Based BMC: A Backjumping Strategy2011 |
|
|
Boosting domain filtering over floating-point numbers with safe linear approximations2011 |
|
|
A Dynamic Constraint-Based BMC Strategy For Generating Counterexamples2010 |
|
|
Automatic Verification of Loop Invariants2010 |
|
|
Comparison between CPBPV, ESC/Java, CBMC, Blast, EUREKA and Why for Bounded Program Verification2008 |
|
|
Refining Abstract Interpretation-based Approximations with Constraint Solvers[Research Report] Laboratoire I3S / UNS. 2011 |