- 9
- 6
- 4
- 3
- 3
- 3
- 3
- 2
- 2
- 2
- 1
Michel Rueher
38
Documents
Presentation
Publications
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 16
- 14
- 8
- 6
- 5
- 5
- 4
- 4
- 3
- 3
- 3
- 3
- 2
- 2
- 2
- 2
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 3
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 2
- 3
- 2
- 1
- 4
- 4
- 6
- 1
- 8
- 2
- 3
- 1
- 7
- 3
- 2
- 2
- 2
- 1
|
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
Conference papers
hal-01956046v1
|
|
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⟩
Conference papers
hal-01643710v1
|
|
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
Conference papers
hal-01224009v2
|
|
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
Conference papers
hal-01152341v1
|
|
LocFaults: A new flow-driven and constraint-based error localization approachSAC’15, SVT track, ACM, Apr 2015, Salamanca,, Spain. ⟨10.1145/2695664.2695822⟩
Conference papers
hal-01094227v1
|
|
Une approche CSP pour l'aide à la localisation d'erreursDixièmes Journées Francophones de Programmation par Contraintes (JFPC 14), Jun 2014, Angers, France
Conference papers
hal-00957255v2
|
|
Un nouvel algorithme de consistance locale sur les nombres flottantsHuitièmes Journées Francophones de Programmation par Contraintes - JFPC 2012, May 2012, Toulouse, France
Conference papers
hal-00829579v1
|
|
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
Conference papers
inria-00520370v1
|
|
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
Conference papers
inria-00520281v1
|
|
An Efficient Algorithm for a Sharp Approximation of Universally Quantified InequalitiesACM symposium on Applied computing, Mar 2008, Fortaleza, Ceara, Brazil. pp.134-139
Conference papers
hal-00297250v1
|
|
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
Conference papers
hal-00297086v1
|
|
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
Conference papers
hal-00297007v1
|
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⟩
Conference papers
hal-01099509v1
|
|
|
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
Conference papers
hal-00510305v1
|
Capabilities of Constraint Programming in Rigorous Global Optimization2008 International Symposium on Nonlinear Theory and its Applications, Sep 2008, Hungary
Conference papers
hal-00481388v1
|
|
|
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
Conference papers
inria-00293749v1
|
|
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
Conference papers
inria-00151231v1
|
|
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
Conference papers
inria-00000087v1
|
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
Conference papers
hal-00990048v1
|
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⟩
Book sections
hal-02962315v1
|
|
Sub-domain Selection Strategies For Floating Point Constraint Systems2018
Other publications
hal-01956094v1
|
|
Efficient Constraint-Based Dynamic Strategies For Generating Counterexamples2010
Other publications
hal-00495816v2
|
|
The Flasher Manager Benchmarks2012
Preprints, Working Papers, ...
hal-00720921v1
|
|
Boosting domain filtering over floating-point numbers with safe linear approximations2011
Preprints, Working Papers, ...
hal-00653659v1
|
|
Constraint-Based BMC: A Backjumping Strategy2011
Preprints, Working Papers, ...
hal-00635417v4
|
|
A Dynamic Constraint-Based BMC Strategy For Generating Counterexamples2010
Preprints, Working Papers, ...
hal-00531081v1
|
|
Automatic Verification of Loop Invariants2010
Preprints, Working Papers, ...
hal-00495675v1
|
|
Comparison between CPBPV, ESC/Java, CBMC, Blast, EUREKA and Why for Bounded Program Verification2008
Preprints, Working Papers, ...
hal-00274546v1
|
|
Refining Abstract Interpretation-based Approximations with Constraint Solvers[Research Report] Laboratoire I3S / UNS. 2011
Reports
hal-00623274v1
|