Hélène Collavizza

According to our database, Hélène Collavizza authored at least 29 papers between 1990 and 2024.

Collaborative distances:

• Dijkstra number of three.
• Erdős number of four.

2024

Constrained Kripke structure for identifying parameters of biological models.

Jean-Paul Comet, Hélène Collavizza, Laetitia Gibart

Theor. Comput. Sci., 2024

2021

Greening R. Thomas' Framework with Environment Variables: A Divide and Conquer Approach.

Laetitia Gibart, Hélène Collavizza, Jean-Paul Comet

Proceedings of the Computational Methods in Systems Biology, 2021

TotemBioNet Enrichment Methodology: Application to the Qualitative Regulatory Network of the Cell Metabolism.

Laetitia Gibart, Gilles Bernot, Hélène Collavizza, Jean-Paul Comet

Proceedings of the 14th International Joint Conference on Biomedical Engineering Systems and Technologies, 2021

2020

What is a Cell Cycle Checkpoint? The TotemBioNet Answer.

Déborah Boyenval, Gilles Bernot, Hélène Collavizza, Jean-Paul Comet

Proceedings of the Computational Methods in Systems Biology, 2020

2016

Searching Critical Values for Floating-Point Programs.

Hélène Collavizza, Claude Michel, Michel Rueher

Proceedings of the Testing Software and Systems, 2016

2015

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

Hélène Collavizza, Claude Michel, Michel Rueher

CoRR, 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

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

Mohammed Bekkouche, Hélène Collavizza, Michel Rueher

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

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

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

Mohammed Bekkouche, Hélène Collavizza, Michel Rueher

CoRR, 2014

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

Hélène Collavizza, Claude Michel, Olivier Ponsini, Michel Rueher

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

2011

A dynamic constraint-based BMC strategy for generating counterexamples.

Hélène Collavizza, Nguyen Le Vinh, Michel Rueher, Samuel Devulder, Thierry Gueguen

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

2010

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

Hélène Collavizza, Michel Rueher, Pascal Van Hentenryck

Constraints An Int. J., 2010

Automatic verification of loop invariants.

Olivier Ponsini, Hélène Collavizza, Carine Fédèle, Claude Michel, Michel Rueher

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

Forward with Hoare.

Mike Gordon, Hélène Collavizza

Proceedings of the Reflections on the Work of C. A. R. Hoare., 2010

2009

Contribution à la vérication formelle et programmation par contraintes.

Hélène Collavizza

, 2009

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

CPBVP: A Constraint-Programming Framework for Bounded Program Verification

Hélène Collavizza, Michel Rueher, Pascal Van Hentenryck

CoRR, 2008

2007

Exploring Different Constraint-Based Modelings for Program Verification.

Hélène Collavizza, Michel Rueher

Proceedings of the Principles and Practice of Constraint Programming, 2007

2006

Exploration of the Capabilities of Constraint Programming for Software Verification.

Hélène Collavizza, Michel Rueher

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

1999

Comparing Partial Consistencies.

Hélène Collavizza, François Delobel, Michel Rueher

Reliab. Comput., 1999

Extending Consistent Domains of Numeric CSP.

Hélène Collavizza, François Delobel, Michel Rueher

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

1998

Relationships between Partial Consistencies over Continuous Domains.

Hélène Collavizza, François Delobel, Michel Rueher

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

A Note on Partial Consistencies over Continuous Domains.

Hélène Collavizza, François Delobel, Michel Rueher

Proceedings of the Principles and Practice of Constraint Programming, 1998

1995

Towards verifying VHDL descriptions of processors.

Laurent Arditi, Hélène Collavizza

Proceedings of the Proceedings EURO-DAC'95, 1995

An Object-Oriented Framework for the Formal Verification of Processors.

Laurent Arditi, Hélène Collavizza

Proceedings of the ECOOP'95, 1995

1993

Combining Symbolic Evaluation and Object-Oriented Approach for Verifying Processor-Like Architectures at the RT-Level.

Jacques Chazarain, Hélène Collavizza

Proceedings of the Correct Hardware Design and Verification Methods, 1993

1992

Mu-SPEED: A System for the Specification and Verification of Microprocessors.

Hélène Collavizza

Proceedings of the STACS 92, 1992

1990

Functional semantics of microprocessors at the microprogram level and correspondence with the machine instruction level.

Hélène Collavizza

Proceedings of the European Design Automation Conference, 1990