Michel Rueher

Proceedings of the Software Verification - 12th International Conference, 2020

A Branch-and-bound Algorithm to Rigorously Enclose the Round-Off Errors.

[BibT_eX]

[DOI]

Rémy Garcia

Proceedings of the Principles and Practice of Constraint Programming, 2020

2019

Dedicated Search Strategies For Finding Critical Counterexamples In Programs With Floating Point Computations.

[BibT_eX]

[DOI]

Proceedings of the IEEE International Conference On Artificial Intelligence Testing, 2019

2017

Introduction to the fast track issue for CP 2016.

[BibT_eX]

[DOI]

Willem-Jan van Hoeve

Constraints An Int. J., 2017

Search Strategies for Floating Point Constraint Systems.

[BibT_eX]

[DOI]

Proceedings of the Principles and Practice of Constraint Programming, 2017

What's Hot in Constraint Programming.

[BibT_eX]

[DOI]

Laurent D. Michel

Proceedings of the Thirty-First AAAI Conference on Artificial Intelligence, 2017

2016

Verifying floating-point programs with constraint programming and abstract interpretation techniques.

[BibT_eX]

[DOI]

Olivier Ponsini

Autom. Softw. Eng., 2016

Searching Critical Values for Floating-Point Programs.

[BibT_eX]

[DOI]

Proceedings of the Testing Software and Systems, 2016

2015

Searching input values hitting suspicious Intervals in programs with floating-point operations.

[BibT_eX]

[DOI]

CoRR, 2015

Un algorithme incrémental dirigé par les flots et basé sur les contraintes pour l'aide à la localisation d'erreurs.

[BibT_eX]

[DOI]

Mohammed Bekkouche

CoRR, 2015

LocFaults: a new flow-driven and constraint-based error localization approach.

[BibT_eX]

[DOI]

Mohammed Bekkouche

Proceedings of the 30th Annual ACM Symposium on Applied Computing, 2015

2014

Constraint-based BMC: a backjumping strategy.

[BibT_eX]

[DOI]

Int. J. Softw. Tools Technol. Transf., 2014

Une approche CSP pour l'aide à la localisation d'erreurs.

[BibT_eX]

[DOI]

Mohammed Bekkouche

CoRR, 2014

Generating test cases inside suspicious intervals for floating-point number programs.

[BibT_eX]

[DOI]

Proceedings of the 6th International Workshop on Constraints in Software Testing, 2014

2012

Improved filtering for weighted circuit constraints.

[BibT_eX]

[DOI]

Pascal Benchimol

Willem Jan van Hoeve

Louis-Martin Rousseau

Constraints An Int. J., 2012

Combining Constraint Programming and Abstract Interpretation for Value Analysis of Floating-point Programs.

[BibT_eX]

[DOI]

Olivier Ponsini

Proceedings of the Fifth IEEE International Conference on Software Testing, 2012

Refining Abstract Interpretation Based Value Analysis with Constraint Programming Techniques.

[BibT_eX]

[DOI]

Olivier Ponsini

Proceedings of the Principles and Practice of Constraint Programming, 2012

Boosting Local Consistency Algorithms over Floating-Point Numbers.

[BibT_eX]

[DOI]

Mohammed Saïd Belaid

Proceedings of the Principles and Practice of Constraint Programming, 2012

2011

Capabilities of Constraint Programming in Safe Global Optimization.

[BibT_eX]

[DOI]

Reliab. Comput., 2011

A dynamic constraint-based BMC strategy for generating counterexamples.

[BibT_eX]

[DOI]

Proceedings of the 2011 ACM Symposium on Applied Computing (SAC), TaiChung, Taiwan, March 21, 2011

2010

Handling software upgradeability problems with MILP solvers

[BibT_eX]

[DOI]

Proceedings of the Proceedings First International Workshop on Logics for Component Configuration, 2010

CPBPV: a constraint-programming framework for bounded program verification.

[BibT_eX]

[DOI]

Pascal Van Hentenryck

Constraints An Int. J., 2010

Automatic verification of loop invariants.

[BibT_eX]

[DOI]

Proceedings of the 26th IEEE International Conference on Software Maintenance (ICSM 2010), 2010

The Weighted Spanning Tree Constraint Revisited.

[BibT_eX]

[DOI]

Louis-Martin Rousseau

Willem Jan van Hoeve

Proceedings of the Integration of AI and OR Techniques in Constraint Programming for Combinatorial Optimization Problems, 2010

Improving the Held and Karp Approach with Constraint Programming.

[BibT_eX]

[DOI]

Pascal Benchimol

Louis-Martin Rousseau

Willem Jan van Hoeve

Proceedings of the Integration of AI and OR Techniques in Constraint Programming for Combinatorial Optimization Problems, 2010

A Safe and Flexible CP-Based Approach for Velocity Tuning Problems.

[BibT_eX]

[DOI]

Michaël Soulignac

Patrick Taillibert

Proceedings of the Principles and Practice of Constraint Programming - CP 2010, 2010

2009

Efficient handling of universally quantified inequalities.

[BibT_eX]

[DOI]

Alexandre Goldsztejn

Constraints An Int. J., 2009

Time-minimal path planning in dynamic current fields.

[BibT_eX]

[DOI]

Michaël Soulignac

Patrick Taillibert

Proceedings of the 2009 IEEE International Conference on Robotics and Automation, 2009

2008

Comparison between CPBPV, ESC/Java, CBMC, Blast, EUREKA and Why for Bounded Program Verification

[BibT_eX]

[DOI]

Pascal Van Hentenryck

CoRR, 2008

CPBVP: A Constraint-Programming Framework for Bounded Program Verification

[BibT_eX]

[DOI]

Pascal Van Hentenryck

CoRR, 2008

An efficient algorithm for a sharp approximation of universally quantified inequalities.

[BibT_eX]

[DOI]

Alexandre Goldsztejn

Proceedings of the 2008 ACM Symposium on Applied Computing (SAC), 2008

Adapting the wavefront expansion in presence of strong currents.

[BibT_eX]

[DOI]

Michaël Soulignac

Patrick Taillibert

Proceedings of the 2008 IEEE International Conference on Robotics and Automation, 2008

Revisiting the Upper Bounding Process in a Safe Branch and Bound Algorithm.

[BibT_eX]

[DOI]

Proceedings of the Principles and Practice of Constraint Programming, 2008

2007

Using constraint techniques for a safe and fast implementation of optimality-based reduction.

[BibT_eX]

[DOI]

Proceedings of the 2007 ACM Symposium on Applied Computing (SAC), 2007

Exploring Different Constraint-Based Modelings for Program Verification.

[BibT_eX]

[DOI]

Proceedings of the Principles and Practice of Constraint Programming, 2007

2006

Exploration of the Capabilities of Constraint Programming for Software Verification.

[BibT_eX]

[DOI]

Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2006

2005

Efficient and Safe Global Constraints for Handling Numerical Constraint Systems.

[BibT_eX]

[DOI]

SIAM J. Numer. Anal., 2005

Reliable Computations and Their Applications (RCA) Track.

[BibT_eX]

[DOI]

Martine Ceberio

Vladik Kreinovich

Reliab. Comput., 2005

Inequality-sum: a global constraint capturing the objective function.

[BibT_eX]

[DOI]

RAIRO Oper. Res., 2005

A Rigorous Global Filtering Algorithm for Quadratic Constraints*.

[BibT_eX]

[DOI]

Constraints An Int. J., 2005

Editorial: track reliable computations and their applications.

[BibT_eX]

[DOI]

Martine Ceberio

Vladik Kreinovich

Proceedings of the 2005 ACM Symposium on Applied Computing (SAC), 2005

Mind the Gaps: A New Splitting Strategy for Consistency Techniques.

[BibT_eX]

[DOI]

Heikel Batnini

Proceedings of the Principles and Practice of Constraint Programming, 2005

2003

Semantic Decomposition for Solving Distance Constraints.

[BibT_eX]

[DOI]

Heikel Batnini

Proceedings of the Principles and Practice of Constraint Programming, 2003

Efficient Pruning Technique Based on Linear Relaxations.

[BibT_eX]

[DOI]

Proceedings of the Global Optimization and Constraint Satisfaction, 2003

2002

Utilisation des contraintes pour la génération automatique de cas de test structurels.

[BibT_eX]

[DOI]

Tech. Sci. Informatiques, 2002

A Global Filtering Algorithm for Handling Systems of Quadratic Equations and Inequations.

[BibT_eX]

[DOI]

Proceedings of the Principles and Practice of Constraint Programming, 2002

2001

Solving Constraints over Floating-Point Numbers.

[BibT_eX]

[DOI]

Proceedings of the Principles and Practice of Constraint Programming, 2001

2000

A Global Constraint Combining a Sum Constraint and Difference Constraints.

[BibT_eX]

[DOI]

Proceedings of the Principles and Practice of Constraint Programming, 2000

A Constraint Programming Approach for Solving Rigid Geometric Systems.

[BibT_eX]

[DOI]

Proceedings of the Principles and Practice of Constraint Programming, 2000

A CLP Framework for Computing Structural Test Data.

[BibT_eX]

[DOI]

Arnaud Gotlieb

Bernard Botella

Proceedings of the Computational Logic, 2000

1999

Comparing Partial Consistencies.

[BibT_eX]

[DOI]

Reliab. Comput., 1999

Extending Consistent Domains of Numeric CSP.

[BibT_eX]

[DOI]

Proceedings of the Sixteenth International Joint Conference on Artificial Intelligence, 1999

1998

Dynamic Optimization of Interval Narrowing Algorithms.

[BibT_eX]

[DOI]

Olivier Lhomme

Arnaud Gotlieb

J. Log. Program., 1998

Automatic Test Data Generation Using Constraint Solving Techniques.

[BibT_eX]

[DOI]

Arnaud Gotlieb

Bernard Botella

Proceedings of ACM SIGSOFT International Symposium on Software Testing and Analysis, 1998

Relationships between Partial Consistencies over Continuous Domains.

[BibT_eX]

Proceedings of the 1998 Joint International Conference and Symposium on Logic Programming, 1998

A Note on Partial Consistencies over Continuous Domains.

[BibT_eX]

[DOI]

Proceedings of the Principles and Practice of Constraint Programming, 1998

1997

Concurrent Cooperating Solvers over Reals.

[BibT_eX]

[DOI]

Reliab. Comput., 1997

1996

Boosting the Interval Narrowing Algorithm.

[BibT_eX]

[DOI]

Proceedings of the Logic Programming, 1996

1995

A Distributed Cooperating Constraints Solving System.

[BibT_eX]

[DOI]

Philippe Marti

Int. J. Artif. Intell. Tools, 1995

1994

An Architecture for Cooperating Constraint Solvers on Reals

[BibT_eX]

[DOI]

Proceedings of the Constraint Programming: Basics and Trends, Châtillon Spring School, 1994

A Cooperative Scheme for Solving Constraints over the Reals.

[BibT_eX]

Philippe Marti

Proceedings of the First International Symposium on Parallel Symbolic Computation, 1994

Propagation of Inter-argument Dependencies in "Tuple-distributive" Type Inference Systems.

[BibT_eX]

[DOI]

Proceedings of the Logic Programming Synthesis and Transformation, 1994

Inférence de contraintes ensemblistes à partir de programmes Prolog - Application à la deduction de relations d'héritage.

[BibT_eX]

Proceedings of the JFPLC'94, 1994

Solving Constraints over the Reals - A Multi-Solver Approach.

[BibT_eX]

[DOI]

Philippe Marti

Proceedings of the Sixth International Conference on Tools with Artificial Intelligence, 1994

1993

A First Exploration of PrologIII's Capabilities.

[BibT_eX]

[DOI]

Softw. Pract. Exp., 1993

Extracting Inheritance Hierarchies from Prolog Programs: A System Based on the Inference of Type Relations.

[BibT_eX]

[DOI]

Proceedings of the Logic Programming and Automated Reasoning,4th International Conference, 1993

Contribution of Logic Programming to Support Telecommunications Protocol Tests.

[BibT_eX]

Didier Ladret

Proceedings of the Logic Programming, 1993

1992

Inference of Inheritance Relationships from Prolog Programs: a System Developed with PrologIII.

[BibT_eX]

[DOI]

Proceedings of the Programming Language Implementation and Logic Programming, 1992

Du prototype Prolog vers un modèle objet: une approche basée sur l'inférence des relations inter-types.

[BibT_eX]

Proceedings of the JFPL'92, 1992

1991

VLP: a visual logic programming language.

[BibT_eX]

[DOI]

Didier Ladret

J. Vis. Lang. Comput., 1991

Revisiting Capabilities of Graphic for Logic Programming.

[BibT_eX]

Proceedings of the ICLP 1991 Workshop on Logic Programming Environments, 1991

Using a Prolog Prototype for Designing an Object Oriented Scheme.

[BibT_eX]

[DOI]

Proceedings of the Logic Program Synthesis and Transformation, 1991

1990

Formalizing operations and relationships on objects to support dynamic refinement of process models instances.

[BibT_eX]

[DOI]

Proceedings of the Sixth International Software Process Workshop (ISPW '90), 1990

1988

Capturing software processes through the generated objects.

[BibT_eX]

[DOI]

Didier Ladret

Bruno Legeard

Proceedings of the Forth International Software Process Workshop, 1988

1986

Une représentation graphique pour Prolog.

[BibT_eX]

Proceedings of the SPLT'86, 1986

1984

La programmation logique: un outil pour l'aide à la formulation du raisonnement.

[BibT_eX]