Hélène Collavizza

31 papers A* 1A 6C 1Misc 2Journal 9Unranked 10
YearRankTypeTitle / Venue / Authors
2024 J jnl
Constrained Kripke structure for identifying parameters of biological models.
Theor. Comput. Sci.
Jean-Paul Comet, Hélène Collavizza, Laetitia Gibart
2021 — conf
Greening R. Thomas' Framework with Environment Variables: A Divide and Conquer Approach.
CMSB
Laetitia Gibart, Hélène Collavizza, Jean-Paul Comet
2021 — conf
TotemBioNet Enrichment Methodology: Application to the Qualitative Regulatory Network of the Cell Metabolism.
BIOINFORMATICS
Laetitia Gibart, Gilles Bernot, Hélène Collavizza, Jean-Paul Comet
2020 — conf
What is a Cell Cycle Checkpoint? The TotemBioNet Answer.
CMSB
Déborah Boyenval, Gilles Bernot, Hélène Collavizza, Jean-Paul Comet
2016 C conf
Searching Critical Values for Floating-Point Programs.
ICTSS
Hélène Collavizza, 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
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
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 — ch.
Forward with Hoare.
Reflections on the Work of C. A. R. Hoare
Mike Gordon, Hélène Collavizza
2009 — book
Contribution à la vérication formelle et programmation par contraintes.
Hélène Collavizza
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
2007 A conf
Exploring Different Constraint-Based Modelings for Program Verification.
CP
Hélène Collavizza, Michel Rueher
2006 A conf
Exploration of the Capabilities of Constraint Programming for Software Verification.
TACAS
Hélène Collavizza, 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 — conf
Comparing Partial Consistencies.
SCAN
Hélène Collavizza, François Delobel, Michel Rueher
1998 — conf
Relationships between Partial Consistencies over Continuous Domains.
IJCSLP
Hélène Collavizza, François Delobel, Michel Rueher
1995 A conf
An Object-Oriented Framework for the Formal Verification of Processors.
ECOOP
Laurent Arditi, Hélène Collavizza
1995 — conf
Towards verifying VHDL descriptions of processors.
EURO-DAC
Laurent Arditi, Hélène Collavizza
1993 — conf
Combining Symbolic Evaluation and Object-Oriented Approach for Verifying Processor-Like Architectures at the RT-Level.
CHARME
Jacques Chazarain, Hélène Collavizza
1992 A conf
Mu-SPEED: A System for the Specification and Verification of Microprocessors.
STACS
Hélène Collavizza
1990 — conf
Functional semantics of microprocessors at the microprogram level and correspondence with the machine instruction level.
EURO-DAC
Hélène Collavizza