Functional semantics of microprocessors at the microprogram level and correspondence with the machine instruction level. - Hélène Collavizza (EURO-DAC, 1990)

Mu-SPEED: A System for the Specification and Verification of Microprocessors. - Hélène Collavizza (STACS, 1992)

Combining Symbolic Evaluation and Object-Oriented Approach for Verifying Processor-Like Architectures at the RT-Level. - Jacques Chazarain; Hélène Collavizza (CHARME, 1993)

An Object-Oriented Framework for the Formal Verification of Processors. - Laurent Arditi; Hélène Collavizza (ECOOP, 1995)

Towards verifying VHDL descriptions of processors. - Laurent Arditi; Hélène Collavizza (EURO-DAC, 1995)

A Note on Partial Consistencies over Continuous Domains. - Hélène Collavizza; François Delobel; Michel Rueher (CP, 1998)

Relationships between Partial Consistencies over Continuous Domains. - Hélène Collavizza; François Delobel; Michel Rueher (IJCSLP, 1998)

Extending Consistent Domains of Numeric CSP. - Hélène Collavizza; François Delobel; Michel Rueher (IJCAI, 1999)

Comparing Partial Consistencies. - Hélène Collavizza; François Delobel; Michel Rueher (Reliab. Comput., 1999)

Exploration of the Capabilities of Constraint Programming for Software Verification. - Hélène Collavizza; Michel Rueher (TACAS, 2006)

Exploring Different Constraint-Based Modelings for Program Verification. - Hélène Collavizza; Michel Rueher (CP, 2007)

CPBVP: A Constraint-Programming Framework for Bounded Program Verification - Hélène Collavizza; Michel Rueher; Pascal Van Hentenryck (CoRR, 2008)

Comparison between CPBPV, ESC/Java, CBMC, Blast, EUREKA and Why for Bounded Program Verification - Hélène Collavizza; Michel Rueher; Pascal Van Hentenryck (CoRR, 2008)

Contribution à la vérication formelle et programmation par contraintes. - Hélène Collavizza (2009)

Forward with Hoare. - Mike Gordon; Hélène Collavizza (Reflections on the Work of C. A. R. Hoare, 2010)

Automatic verification of loop invariants. - Olivier Ponsini; Hélène Collavizza; Carine Fédèle; Claude Michel; Michel Rueher (ICSM, 2010)

CPBPV: a constraint-programming framework for bounded program verification. - Hélène Collavizza; Michel Rueher; Pascal Van Hentenryck (Constraints An Int. J., 2010)

A dynamic constraint-based BMC strategy for generating counterexamples. - Hélène Collavizza; Nguyen Le Vinh; Michel Rueher; Samuel Devulder; Thierry Gueguen (SAC, 2011)

Generating test cases inside suspicious intervals for floating-point number programs. - Hélène Collavizza; Claude Michel; Olivier Ponsini; Michel Rueher (CSTVA, 2014)

Une approche CSP pour l'aide à la localisation d'erreurs. - Mohammed Bekkouche; Hélène Collavizza; Michel Rueher (CoRR, 2014)

Constraint-based BMC: a backjumping strategy. - Hélène Collavizza; Nguyen Le Vinh; Olivier Ponsini; Michel Rueher; Antoine Rollet (Int. J. Softw. Tools Technol. Transf., 2014)

LocFaults: a new flow-driven and constraint-based error localization approach. - Mohammed Bekkouche; Hélène Collavizza; Michel Rueher (SAC, 2015)

Un algorithme incrémental dirigé par les flots et basé sur les contraintes pour l'aide à la localisation d'erreurs. - Mohammed Bekkouche; Hélène Collavizza; Michel Rueher (CoRR, 2015)

Searching input values hitting suspicious Intervals in programs with floating-point operations. - Hélène Collavizza; Claude Michel; Michel Rueher (CoRR, 2015)

Searching Critical Values for Floating-Point Programs. - Hélène Collavizza; Claude Michel; Michel Rueher (ICTSS, 2016)

What is a Cell Cycle Checkpoint? The TotemBioNet Answer. - Déborah Boyenval; Gilles Bernot; Hélène Collavizza; Jean-Paul Comet (CMSB, 2020)

TotemBioNet Enrichment Methodology: Application to the Qualitative Regulatory Network of the Cell Metabolism. - Laetitia Gibart; Gilles Bernot; Hélène Collavizza; Jean-Paul Comet (BIOINFORMATICS, 2021)

Greening R. Thomas' Framework with Environment Variables: A Divide and Conquer Approach. - Laetitia Gibart; Hélène Collavizza; Jean-Paul Comet (CMSB, 2021)

Constrained Kripke structure for identifying parameters of biological models. - Jean-Paul Comet; Hélène Collavizza; Laetitia Gibart (Theor. Comput. Sci., 2024)