Michel Rueher - RankMe

86 papers A* 4A 19B 6C 3Misc 6Journal 27Unranked 20

Year	Rank	Type	Title / Venue / Authors
2020	A	`conf`	A Branch-and-bound Algorithm to Rigorously Enclose the Round-Off Errors. CP Rémy Garcia, Claude Michel, Michel Rueher
2020	J	`jnl`	An efficient constraint based framework forhandling floating point SMT problems. CoRR Heytem Zitoun, Claude Michel, Laurent Michel, Michel Rueher
2020	J	`jnl`	Bringing freedom in variable choice when searching counter-examples in floating point programs. CoRR Heytem Zitoun, Claude Michel, Laurent Michel, Michel Rueher
2020	—	`conf`	Rigorous Enclosure of Round-Off Errors in Floating-Point Computations. VSTTE Rémy Garcia, Claude Michel, Michel Rueher
2019	—	`conf`	Dedicated Search Strategies For Finding Critical Counterexamples In Programs With Floating Point Computations. AITest Claude Michel, Michel Rueher
2017	J	`jnl`	Introduction to the fast track issue for CP 2016. Constraints An Int. J. Willem-Jan van Hoeve, Michel Rueher
2017	A	`conf`	Search Strategies for Floating Point Constraint Systems. CP Heytem Zitoun, Claude Michel, Michel Rueher, Laurent Michel
2017	A*	`conf`	What's Hot in Constraint Programming. AAAI Laurent D. Michel, Michel Rueher
2016	A	`ed.`	Principles and Practice of Constraint Programming - 22nd International Conference, CP 2016, Toulouse, France, September 5-9, 2016, Proceedings CP Michel Rueher
2016	C	`conf`	Searching Critical Values for Floating-Point Programs. ICTSS Hélène Collavizza, Claude Michel, Michel Rueher
2016	J	`jnl`	Verifying floating-point programs with constraint programming and abstract interpretation techniques. Autom. Softw. Eng. Olivier Ponsini, Claude Michel, Michel Rueher
2015	Misc	`conf`	LocFaults: a new flow-driven and constraint-based error localization approach. SAC Mohammed Bekkouche, Hélène Collavizza, Michel Rueher
2015	J	`jnl`	Searching input values hitting suspicious Intervals in programs with floating-point operations. CoRR Hélène Collavizza, Claude Michel, Michel Rueher
2015	J	`jnl`	Un algorithme incrémental dirigé par les flots et basé sur les contraintes pour l'aide à la localisation d'erreurs. CoRR Mohammed Bekkouche, Hélène Collavizza, Michel Rueher
2014	J	`jnl`	Constraint-based BMC: a backjumping strategy. Int. J. Softw. Tools Technol. Transf. Hélène Collavizza, Nguyen Le Vinh, Olivier Ponsini, Michel Rueher, Antoine Rollet
2014	—	`conf`	Generating test cases inside suspicious intervals for floating-point number programs. CSTVA Hélène Collavizza, Claude Michel, Olivier Ponsini, Michel Rueher
2014	J	`jnl`	Une approche CSP pour l'aide à la localisation d'erreurs. CoRR Mohammed Bekkouche, Hélène Collavizza, Michel Rueher
2012	A	`conf`	Boosting Local Consistency Algorithms over Floating-Point Numbers. CP Mohammed Saïd Belaid, Claude Michel, Michel Rueher
2012	A	`conf`	Combining Constraint Programming and Abstract Interpretation for Value Analysis of Floating-point Programs. ICST Olivier Ponsini, Claude Michel, Michel Rueher
2012	J	`jnl`	Improved filtering for weighted circuit constraints. Constraints An Int. J. Pascal Benchimol, Willem Jan van Hoeve, Jean-Charles Régin, Louis-Martin Rousseau, Michel Rueher
2012	A	`conf`	Refining Abstract Interpretation Based Value Analysis with Constraint Programming Techniques. CP Olivier Ponsini, Claude Michel, Michel Rueher
2011	Misc	`conf`	A dynamic constraint-based BMC strategy for generating counterexamples. SAC Hélène Collavizza, Nguyen Le Vinh, Michel Rueher, Samuel Devulder, Thierry Gueguen
2011	J	`jnl`	Capabilities of Constraint Programming in Safe Global Optimization. Reliab. Comput. Alexandre Goldsztejn, Yahia Lebbah, Claude Michel, Michel Rueher
2010	A	`conf`	A Safe and Flexible CP-Based Approach for Velocity Tuning Problems. CP Michaël Soulignac, Michel Rueher, Patrick Taillibert
2010	—	`conf`	Automatic verification of loop invariants. ICSM Olivier Ponsini, Hélène Collavizza, Carine Fédèle, Claude Michel, Michel Rueher
2010	J	`jnl`	CPBPV: a constraint-programming framework for bounded program verification. Constraints An Int. J. Hélène Collavizza, Michel Rueher, Pascal Van Hentenryck
2010	—	`conf`	Handling software upgradeability problems with MILP solvers LoCoCo Claude Michel, Michel Rueher
2010	B	`conf`	Improving the Held and Karp Approach with Constraint Programming. CPAIOR Pascal Benchimol, Jean-Charles Régin, Louis-Martin Rousseau, Michel Rueher, Willem Jan van Hoeve
2010	B	`conf`	The Weighted Spanning Tree Constraint Revisited. CPAIOR Jean-Charles Régin, Louis-Martin Rousseau, Michel Rueher, Willem Jan van Hoeve
2009	J	`jnl`	Efficient handling of universally quantified inequalities. Constraints An Int. J. Alexandre Goldsztejn, Claude Michel, Michel Rueher
2009	A*	`conf`	Time-minimal path planning in dynamic current fields. ICRA Michaël Soulignac, Patrick Taillibert, Michel Rueher
2008	A*	`conf`	Adapting the wavefront expansion in presence of strong currents. ICRA Michaël Soulignac, Patrick Taillibert, Michel Rueher
2008	J	`jnl`	An Efficient Algorithm for a Sharp Approximation of Universally Quantified Inequalities CoRR Alexandre Goldsztejn, Claude Michel, Michel Rueher
2008	Misc	`conf`	An efficient algorithm for a sharp approximation of universally quantified inequalities. SAC Alexandre Goldsztejn, Claude Michel, Michel Rueher
2008	A	`conf`	CPBPV: A Constraint-Programming Framework for Bounded Program Verification. CP Hélène Collavizza, Michel Rueher, Pascal Van Hentenryck
2008	J	`jnl`	CPBVP: A Constraint-Programming Framework for Bounded Program Verification CoRR Hélène Collavizza, Michel Rueher, Pascal Van Hentenryck
2008	J	`jnl`	Comparison between CPBPV, ESC/Java, CBMC, Blast, EUREKA and Why for Bounded Program Verification CoRR Hélène Collavizza, Michel Rueher, Pascal Van Hentenryck
2008	A	`conf`	Revisiting the Upper Bounding Process in a Safe Branch and Bound Algorithm. CP Alexandre Goldsztejn, Yahia Lebbah, Claude Michel, Michel Rueher
2008	J	`jnl`	Revisiting the upper bounding process in a safe Branch and Bound algorithm CoRR Alexandre Goldsztejn, Yahia Lebbah, Claude Michel, Michel Rueher
2007	A	`conf`	Exploring Different Constraint-Based Modelings for Program Verification. CP Hélène Collavizza, Michel Rueher
2007	Misc	`conf`	Using constraint techniques for a safe and fast implementation of optimality-based reduction. SAC Yahia Lebbah, Claude Michel, Michel Rueher
2006	Misc	`conf`	Editorial: track reliable computations and their applications. SAC Martine Ceberio, Vladik Kreinovich, Michel Rueher
2006	A	`conf`	Exploration of the Capabilities of Constraint Programming for Software Verification. TACAS Hélène Collavizza, Michel Rueher
2005	J	`jnl`	A Rigorous Global Filtering Algorithm for Quadratic Constraints*. Constraints An Int. J. Yahia Lebbah, Claude Michel, Michel Rueher
2005	Misc	`conf`	Editorial: track reliable computations and their applications. SAC Martine Ceberio, Vladik Kreinovich, Michel Rueher
2005	J	`jnl`	Efficient and Safe Global Constraints for Handling Numerical Constraint Systems. SIAM J. Numer. Anal. Yahia Lebbah, Claude Michel, Michel Rueher, David Daney, Jean-Pierre Merlet
2005	J	`jnl`	Inequality-sum: a global constraint capturing the objective function. RAIRO Oper. Res. Jean-Charles Régin, Michel Rueher
2005	A	`conf`	Mind the Gaps: A New Splitting Strategy for Consistency Techniques. CP Heikel Batnini, Claude Michel, Michel Rueher
2005	J	`jnl`	Reliable Computations and Their Applications (RCA) Track. Reliab. Comput. Martine Ceberio, Vladik Kreinovich, Michel Rueher
2004	B	`ed.`	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 CPAIOR Jean-Charles Régin, Michel Rueher
2003	—	`conf`	Efficient Pruning Technique Based on Linear Relaxations. COCOS Yahia Lebbah, Claude Michel, Michel Rueher
2003	A	`conf`	Semantic Decomposition for Solving Distance Constraints. CP Heikel Batnini, Michel Rueher
2002	A	`conf`	A Global Filtering Algorithm for Handling Systems of Quadratic Equations and Inequations. CP Yahia Lebbah, Michel Rueher, Claude Michel
2002	—	`ed.`	Programmation en logique avec contraintes, JFPLC 2002, 27-30 Mai 2002, Université de Nice Sophia-Antipolis, France JFPLC Michel Rueher
2002	J	`jnl`	Utilisation des contraintes pour la génération automatique de cas de test structurels. Tech. Sci. Informatiques Bernard Botella, Arnaud Gotlieb, Claude Michel, Michel Rueher, Patrick Taillibert
2001	A	`conf`	Solving Constraints over Floating-Point Numbers. CP Claude Michel, Michel Rueher, Yahia Lebbah
2000	—	`conf`	A CLP Framework for Computing Structural Test Data. Computational Logic Arnaud Gotlieb, Bernard Botella, Michel Rueher
2000	A	`conf`	A Constraint Programming Approach for Solving Rigid Geometric Systems. CP Christophe Jermann, Gilles Trombettoni, Bertrand Neveu, Michel Rueher
2000	A	`conf`	A Global Constraint Combining a Sum Constraint and Difference Constraints. CP Jean-Charles Régin, Michel Rueher
1999	J	`jnl`	Comparing Partial Consistencies. Reliab. Comput. Hélène Collavizza, François Delobel, Michel Rueher
1999	A*	`conf`	Extending Consistent Domains of Numeric CSP. IJCAI Hélène Collavizza, François Delobel, Michel Rueher
1998	A	`conf`	A Note on Partial Consistencies over Continuous Domains. CP Hélène Collavizza, François Delobel, Michel Rueher
1998	A	`conf`	Automatic Test Data Generation Using Constraint Solving Techniques. ISSTA Arnaud Gotlieb, Bernard Botella, Michel Rueher
1998	—	`conf`	Comparing Partial Consistencies. SCAN Hélène Collavizza, François Delobel, Michel Rueher
1998	J	`jnl`	Dynamic Optimization of Interval Narrowing Algorithms. J. Log. Program. Olivier Lhomme, Arnaud Gotlieb, Michel Rueher
1998	—	`conf`	Relationships between Partial Consistencies over Continuous Domains. IJCSLP Hélène Collavizza, François Delobel, Michel Rueher
1997	J	`jnl`	Concurrent Cooperating Solvers over Reals. Reliab. Comput. Michel Rueher, Christine Solnon
1996	—	`conf`	Boosting the Interval Narrowing Algorithm. JICSLP Olivier Lhomme, Arnaud Gotlieb, Michel Rueher, Patrick Taillibert
1995	J	`jnl`	A Distributed Cooperating Constraints Solving System. Int. J. Artif. Intell. Tools Philippe Marti, Michel Rueher
1994	—	`conf`	A Cooperative Scheme for Solving Constraints over the Reals. PASCO Philippe Marti, Michel Rueher
1994	—	`conf`	An Architecture for Cooperating Constraint Solvers on Reals Constraint Programming Michel Rueher
1994	—	`conf`	Inférence de contraintes ensemblistes à partir de programmes Prolog - Application à la deduction de relations d'héritage. JFPLC Christine Solnon, Michel Rueher
1994	C	`conf`	Propagation of Inter-argument Dependencies in "Tuple-distributive" Type Inference Systems. LOPSTR Christine Solnon, Michel Rueher
1994	B	`conf`	Solving Constraints over the Reals - A Multi-Solver Approach. ICTAI Philippe Marti, Michel Rueher
1993	J	`jnl`	A First Exploration of PrologIII's Capabilities. Softw. Pract. Exp. Michel Rueher
1993	B	`conf`	Contribution of Logic Programming to Support Telecommunications Protocol Tests. ICLP Didier Ladret, Michel Rueher
1993	B	`conf`	Extracting Inheritance Hierarchies from Prolog Programs: A System Based on the Inference of Type Relations. LPAR Christine Solnon, Michel Rueher
1992	—	`conf`	Du prototype Prolog vers un modèle objet: une approche basée sur l'inférence des relations inter-types. JFPL Christine Solnon, Michel Rueher
1992	—	`conf`	Inference of Inheritance Relationships from Prolog Programs: a System Developed with PrologIII. PLILP Christine Solnon, Michel Rueher
1991	—	`conf`	Revisiting Capabilities of Graphic for Logic Programming. LPE Michel Rueher
1991	C	`conf`	Using a Prolog Prototype for Designing an Object Oriented Scheme. LOPSTR Christine Solnon, Michel Rueher
1991	J	`jnl`	VLP: a visual logic programming language. J. Vis. Lang. Comput. Didier Ladret, Michel Rueher
1990	—	`conf`	Formalizing operations and relationships on objects to support dynamic refinement of process models instances. ISPW Michel Rueher
1988	—	`conf`	Capturing software processes through the generated objects. ISPW Michel Rueher, Didier Ladret, Bruno Legeard
1986	—	`conf`	Une représentation graphique pour Prolog. SPLT Michel Rueher, M. C. Thomas, A. Gubert, Didier Ladret
1984	—	`conf`	La programmation logique: un outil pour l'aide à la formulation du raisonnement. SPLT Michel Rueher