Hélène Collavizza

Publication Activity (10 Years)

Years Active: 1990-2024
Publications (10 Years): 8

Top Topics

Sparse Matrices

Top Venues

Publications

Jean-Paul Comet, Hélène Collavizza, Laetitia Gibart
Constrained Kripke structure for identifying parameters of biological models. Theor. Comput. Sci. 996 (2024)
Laetitia Gibart, Hélène Collavizza, Jean-Paul Comet
Greening R. Thomas' Framework with Environment Variables: A Divide and Conquer Approach. CMSB (2021)
Laetitia Gibart, Gilles Bernot, Hélène Collavizza, Jean-Paul Comet
TotemBioNet Enrichment Methodology: Application to the Qualitative Regulatory Network of the Cell Metabolism. BIOINFORMATICS (2021)
Déborah Boyenval, Gilles Bernot, Hélène Collavizza, Jean-Paul Comet
What is a Cell Cycle Checkpoint? The TotemBioNet Answer. CMSB (2020)
Hélène Collavizza, Claude Michel, Michel Rueher
Searching Critical Values for Floating-Point Programs. ICTSS (2016)
Mohammed Bekkouche, Hélène Collavizza, Michel Rueher
LocFaults: a new flow-driven and constraint-based error localization approach. SAC (2015)
Hélène Collavizza, Claude Michel, Michel Rueher
Searching input values hitting suspicious Intervals in programs with floating-point operations. CoRR (2015)
Mohammed Bekkouche, Hélène Collavizza, Michel Rueher
Un algorithme incrémental dirigé par les flots et basé sur les contraintes pour l'aide à la localisation d'erreurs. CoRR (2015)
Mohammed Bekkouche, Hélène Collavizza, Michel Rueher
Une approche CSP pour l'aide à la localisation d'erreurs. CoRR (2014)
Hélène Collavizza, Nguyen Le Vinh, Olivier Ponsini, Michel Rueher, Antoine Rollet
Constraint-based BMC: a backjumping strategy. Int. J. Softw. Tools Technol. Transf. 16 (1) (2014)
Hélène Collavizza, Claude Michel, Olivier Ponsini, Michel Rueher
Generating test cases inside suspicious intervals for floating-point number programs. CSTVA (2014)
Hélène Collavizza, Nguyen Le Vinh, Michel Rueher, Samuel Devulder, Thierry Gueguen
A dynamic constraint-based BMC strategy for generating counterexamples. SAC (2011)
Olivier Ponsini, Hélène Collavizza, Carine Fédèle, Claude Michel, Michel Rueher
Automatic verification of loop invariants. ICSM (2010)
Hélène Collavizza, Michel Rueher, Pascal Van Hentenryck
CPBPV: a constraint-programming framework for bounded program verification. Constraints An Int. J. 15 (2) (2010)
Hélène Collavizza, Michel Rueher, Pascal Van Hentenryck
CPBVP: A Constraint-Programming Framework for Bounded Program Verification CoRR (2008)
Hélène Collavizza, Michel Rueher, Pascal Van Hentenryck
CPBPV: A Constraint-Programming Framework for Bounded Program Verification. CP (2008)
Hélène Collavizza, Michel Rueher, Pascal Van Hentenryck
Comparison between CPBPV, ESC/Java, CBMC, Blast, EUREKA and Why for Bounded Program Verification CoRR (2008)
Hélène Collavizza, Michel Rueher
Exploring Different Constraint-Based Modelings for Program Verification. CP (2007)
Hélène Collavizza, Michel Rueher
Exploration of the Capabilities of Constraint Programming for Software Verification. TACAS (2006)
Hélène Collavizza, François Delobel, Michel Rueher
Extending Consistent Domains of Numeric CSP. IJCAI (1999)
Hélène Collavizza, François Delobel, Michel Rueher
Comparing Partial Consistencies. Reliab. Comput. 5 (3) (1999)
Hélène Collavizza, François Delobel, Michel Rueher
Comparing Partial Consistencies. SCAN (1998)
Hélène Collavizza, François Delobel, Michel Rueher
A Note on Partial Consistencies over Continuous Domains. CP (1998)
Hélène Collavizza, François Delobel, Michel Rueher
Relationships between Partial Consistencies over Continuous Domains. IJCSLP (1998)
Laurent Arditi, Hélène Collavizza
Towards verifying VHDL descriptions of processors. EURO-DAC (1995)
Laurent Arditi, Hélène Collavizza
An Object-Oriented Framework for the Formal Verification of Processors. ECOOP (1995)
Jacques Chazarain, Hélène Collavizza
Combining Symbolic Evaluation and Object-Oriented Approach for Verifying Processor-Like Architectures at the RT-Level. CHARME (1993)
Hélène Collavizza
Mu-SPEED: A System for the Specification and Verification of Microprocessors. STACS (1992)
Hélène Collavizza
Functional semantics of microprocessors at the microprogram level and correspondence with the machine instruction level. EURO-DAC (1990)