| 2015 | SAC | LocFaults: a new flow-driven and constraint-based error localization approach. | Mohammed Bekkouche, Hlne Collavizza, Michel Rueher |
| 2014 | ICSE | Generating test cases inside suspicious intervals for floating-point number programs. | Hlne Collavizza, Claude Michel, Olivier Ponsini, Michel Rueher |
| 2011 | SAC | A dynamic constraint-based BMC strategy for generating counterexamples. | Hlne Collavizza, Nguyen Le Vinh, Michel Rueher, Samuel Devulder, Thierry Gueguen |
| 2008 | CP | CPBPV: A Constraint-Programming Framework for Bounded Program Verification. | Hlne Collavizza, Michel Rueher, Pascal Van Hentenryck |
| 2007 | CP | Exploring Different Constraint-Based Modelings for Program Verification. | Hlne Collavizza, Michel Rueher |
| 2006 | TACAS | Exploration of the Capabilities of Constraint Programming for Software Verification. | Hlne Collavizza, Michel Rueher |
| 1999 | IJCAI | Extending Consistent Domains of Numeric CSP. | Hlne Collavizza, Franois Delobel, Michel Rueher |
| 1998 | CP | A Note on Partial Consistencies over Continuous Domains. | Hlne Collavizza, Franois Delobel, Michel Rueher |
| 1998 | ICLP | Relationships between Partial Consistencies over Continuous Domains. | Hlne Collavizza, Franois Delobel, Michel Rueher |
| 1995 | ECOOP | An Object-Oriented Framework for the Formal Verification of Processors. | Laurent Arditi, Hlne Collavizza |
| 1992 | STACS | Mu-SPEED: A System for the Specification and Verification of Microprocessors. | Hlne Collavizza |