2008 |
49 | EE | Hélène Collavizza,
Michel Rueher,
Pascal Van Hentenryck:
CPBPV: A Constraint-Programming Framework for Bounded Program Verification.
CP 2008: 327-341 |
48 | EE | Alexandre Goldsztejn,
Yahia Lebbah,
Claude Michel,
Michel Rueher:
Revisiting the Upper Bounding Process in a Safe Branch and Bound Algorithm.
CP 2008: 598-602 |
47 | EE | Michaël Soulignac,
Patrick Taillibert,
Michel Rueher:
Adapting the wavefront expansion in presence of strong currents.
ICRA 2008: 1352-1358 |
46 | EE | Alexandre Goldsztejn,
Claude Michel,
Michel Rueher:
An efficient algorithm for a sharp approximation of universally quantified inequalities.
SAC 2008: 134-139 |
45 | EE | Alexandre Goldsztejn,
Claude Michel,
Michel Rueher:
An Efficient Algorithm for a Sharp Approximation of Universally Quantified Inequalities
CoRR abs/0807.2269: (2008) |
44 | EE | Alexandre Goldsztejn,
Yahia Lebbah,
Claude Michel,
Michel Rueher:
Revisiting the upper bounding process in a safe Branch and Bound algorithm
CoRR abs/0807.2382: (2008) |
43 | EE | Hélène Collavizza,
Michel Rueher,
Pascal Van Hentenryck:
CPBVP: A Constraint-Programming Framework for Bounded Program Verification
CoRR abs/0807.2383: (2008) |
42 | EE | Hélène Collavizza,
Michel Rueher,
Pascal Van Hentenryck:
Comparison between CPBPV, ESC/Java, CBMC, Blast, EUREKA and Why for Bounded Program Verification
CoRR abs/0808.1508: (2008) |
2007 |
41 | EE | Hélène Collavizza,
Michel Rueher:
Exploring Different Constraint-Based Modelings for Program Verification.
CP 2007: 49-63 |
40 | EE | Yahia Lebbah,
Claude Michel,
Michel Rueher:
Using constraint techniques for a safe and fast implementation of optimality-based reduction.
SAC 2007: 326-331 |
2006 |
39 | EE | Martine Ceberio,
Vladik Kreinovich,
Michel Rueher:
Editorial: track reliable computations and their applications.
SAC 2006: 1633-1634 |
38 | EE | Hélène Collavizza,
Michel Rueher:
Exploration of the Capabilities of Constraint Programming for Software Verification.
TACAS 2006: 182-196 |
2005 |
37 | EE | Heikel Batnini,
Claude Michel,
Michel Rueher:
Mind the Gaps: A New Splitting Strategy for Consistency Techniques.
CP 2005: 77-91 |
36 | EE | Martine Ceberio,
Vladik Kreinovich,
Michel Rueher:
Editorial: track reliable computations and their applications.
SAC 2005: 1429-1430 |
35 | EE | Yahia Lebbah,
Claude Michel,
Michel Rueher:
A Rigorous Global Filtering Algorithm for Quadratic Constraints*.
Constraints 10(1): 47-65 (2005) |
34 | EE | Martine Ceberio,
Vladik Kreinovich,
Michel Rueher:
Reliable Computations and Their Applications (RCA) Track.
Reliable Computing 11(6): 499-503 (2005) |
2004 |
33 | | Jean-Charles Régin,
Michel Rueher:
Integration of AI and OR Techniques in Constraint Programming for Combinatorial Optimization Problems, First International Conference, CPAIOR 2004, Nice, France, April 20-22, 2004, Proceedings
Springer 2004 |
2003 |
32 | EE | Yahia Lebbah,
Claude Michel,
Michel Rueher:
Efficient Pruning Technique Based on Linear Relaxations.
COCOS 2003: 1-14 |
31 | EE | Heikel Batnini,
Michel Rueher:
Semantic Decomposition for Solving Distance Constraints.
CP 2003: 964-965 |
2002 |
30 | | Michel Rueher:
Programmation en logique avec contraintes, JFPLC 2002, 27-30 Mai 2002, Université de Nice Sophia-Antipolis, France
JFPLC 2002 |
29 | EE | Yahia Lebbah,
Michel Rueher,
Claude Michel:
A Global Filtering Algorithm for Handling Systems of Quadratic Equations and Inequations.
CP 2002: 109-123 |
28 | EE | Bernard Botella,
Arnaud Gotlieb,
Claude Michel,
Michel Rueher,
Patrick Taillibert:
Utilisation des contraintes pour la génération automatique de cas de test structurels.
Technique et Science Informatiques 21(9): 1163-1187 (2002) |
2001 |
27 | EE | Claude Michel,
Michel Rueher,
Yahia Lebbah:
Solving Constraints over Floating-Point Numbers.
CP 2001: 524-538 |
2000 |
26 | EE | Christophe Jermann,
Gilles Trombettoni,
Bertrand Neveu,
Michel Rueher:
A Constraint Programming Approach for Solving Rigid Geometric Systems.
CP 2000: 233-248 |
25 | EE | Jean-Charles Régin,
Michel Rueher:
A Global Constraint Combining a Sum Constraint and Difference Constraints.
CP 2000: 384-395 |
24 | EE | Arnaud Gotlieb,
Bernard Botella,
Michel Rueher:
A CLP Framework for Computing Structural Test Data.
Computational Logic 2000: 399-413 |
1999 |
23 | | Hélène Collavizza,
François Delobel,
Michel Rueher:
Extending Consistent Domains of Numeric CSP.
IJCAI 1999: 406-413 |
22 | EE | Hélène Collavizza,
François Delobel,
Michel Rueher:
Comparing Partial Consistencies.
Reliable Computing 5(3): 213-228 (1999) |
1998 |
21 | EE | Hélène Collavizza,
François Delobel,
Michel Rueher:
A Note on Partial Consistencies over Continuous Domains.
CP 1998: 147-161 |
20 | | Hélène Collavizza,
François Delobel,
Michel Rueher:
Relationships between Partial Consistencies over Continuous Domains.
IJCSLP 1998: 345-346 |
19 | EE | Arnaud Gotlieb,
Bernard Botella,
Michel Rueher:
Automatic Test Data Generation Using Constraint Solving Techniques.
ISSTA 1998: 53-62 |
18 | | Olivier Lhomme,
Arnaud Gotlieb,
Michel Rueher:
Dynamic Optimization of Interval Narrowing Algorithms.
J. Log. Program. 37(1-3): 165-183 (1998) |
1997 |
17 | EE | Michel Rueher,
Christine Solnon:
Concurrent Cooperating Solvers over Reals.
Reliable Computing 3(3): 325-333 (1997) |
1996 |
16 | | Olivier Lhomme,
Arnaud Gotlieb,
Michel Rueher,
Patrick Taillibert:
Boosting the Interval Narrowing Algorithm.
JICSLP 1996: 378-392 |
1994 |
15 | | Michel Rueher:
An Architecture for Cooperating Constraint Solvers on Reals
Constraint Programming 1994: 231-250 |
14 | | Philippe Marti,
Michel Rueher:
Solving Constraints over the Reals - A Multi-Solver Approach.
ICTAI 1994: 304-310 |
13 | | Christine Solnon,
Michel Rueher:
Inférence de contraintes ensemblistes à partir de programmes Prolog - Application à la deduction de relations d'héritage.
JFPLC 1994: 239- |
12 | | Christine Solnon,
Michel Rueher:
Propagation of Inter-argument Dependencies in "Tuple-distributive" Type Inference Systems.
LOPSTR 1994: 199-214 |
1993 |
11 | | Didier Ladret,
Michel Rueher:
Contribution of Logic Programming to Support Telecommunications Protocol Tests.
ICLP 1993: 845-846 |
10 | | Christine Solnon,
Michel Rueher:
Extracting Inheritance Hierarchies from Prolog Programs: A System Based on the Inference of Type Relations.
LPAR 1993: 309-320 |
9 | | Michel Rueher:
A First Exploration of PrologIII's Capabilities.
Softw., Pract. Exper. 23(2): 177-200 (1993) |
1992 |
8 | | Christine Solnon,
Michel Rueher:
Du prototype Prolog vers un modèle objet: une approche basée sur l'inférence des relations inter-types.
JFPL 1992: 284- |
7 | | Christine Solnon,
Michel Rueher:
Inference of Inheritance Relationships from Prolog Programs: a System Developed with PrologIII.
PLILP 1992: 489-490 |
1991 |
6 | | Christine Solnon,
Michel Rueher:
Using a Prolog Prototype for Designing an Object Oriented Scheme.
LOPSTR 1991: 300-317 |
5 | | Michel Rueher:
Revisiting Capabilities of Graphic for Logic Programming.
LPE 1991: 25-32 |
1990 |
4 | | Michel Rueher:
Formalizing operations and relationships on objects to support dynamic refinement of process models instances.
ISPW 1990: 185-190 |
1988 |
3 | | Michel Rueher,
Didier Ladret,
Bruno Legeard:
Capturing software processes through the generated objects.
ISPW 1988: 148-152 |
1986 |
2 | | Michel Rueher,
M. C. Thomas,
A. Gubert,
Didier Ladret:
Une représentation graphique pour Prolog.
SPLT 1986: 373-386 |
1984 |
1 | | Michel Rueher:
La programmation logique: un outil pour l'aide à la formulation du raisonnement.
SPLT 1984 |