Hélène Collavizza

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

Collaborative distances:

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

On csauthors.net:

Bibliography

2024
Constrained Kripke structure for identifying parameters of biological models.
Theor. Comput. Sci., 2024

2021
Greening R. Thomas' Framework with Environment Variables: A Divide and Conquer Approach.
Proceedings of the Computational Methods in Systems Biology, 2021

TotemBioNet Enrichment Methodology: Application to the Qualitative Regulatory Network of the Cell Metabolism.
Proceedings of the 14th International Joint Conference on Biomedical Engineering Systems and Technologies, 2021

2020
What is a Cell Cycle Checkpoint? The TotemBioNet Answer.
Proceedings of the Computational Methods in Systems Biology, 2020

2016
Searching Critical Values for Floating-Point Programs.
Proceedings of the Testing Software and Systems, 2016

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

Un algorithme incrémental dirigé par les flots et basé sur les contraintes pour l'aide à la localisation d'erreurs.
CoRR, 2015

LocFaults: a new flow-driven and constraint-based error localization approach.
Proceedings of the 30th Annual ACM Symposium on Applied Computing, 2015

2014
Constraint-based BMC: a backjumping strategy.
Int. J. Softw. Tools Technol. Transf., 2014

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

Generating test cases inside suspicious intervals for floating-point number programs.
Proceedings of the 6th International Workshop on Constraints in Software Testing, 2014

2011
A dynamic constraint-based BMC strategy for generating counterexamples.
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.
Constraints An Int. J., 2010

Automatic verification of loop invariants.
Proceedings of the 26th IEEE International Conference on Software Maintenance (ICSM 2010), 2010

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

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

2008
Comparison between CPBPV, ESC/Java, CBMC, Blast, EUREKA and Why for Bounded Program Verification
CoRR, 2008

CPBVP: A Constraint-Programming Framework for Bounded Program Verification
CoRR, 2008

2007
Exploring Different Constraint-Based Modelings for Program Verification.
Proceedings of the Principles and Practice of Constraint Programming, 2007

2006
Exploration of the Capabilities of Constraint Programming for Software Verification.
Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2006

1999
Comparing Partial Consistencies.
Reliab. Comput., 1999

Extending Consistent Domains of Numeric CSP.
Proceedings of the Sixteenth International Joint Conference on Artificial Intelligence, 1999

1998
Relationships between Partial Consistencies over Continuous Domains.
Proceedings of the 1998 Joint International Conference and Symposium on Logic Programming, 1998

A Note on Partial Consistencies over Continuous Domains.
Proceedings of the Principles and Practice of Constraint Programming, 1998

1995
Towards verifying VHDL descriptions of processors.
Proceedings of the Proceedings EURO-DAC'95, 1995

An Object-Oriented Framework for the Formal Verification of Processors.
Proceedings of the ECOOP'95, 1995

1993
Combining Symbolic Evaluation and Object-Oriented Approach for Verifying Processor-Like Architectures at the RT-Level.
Proceedings of the Correct Hardware Design and Verification Methods, 1993

1992
Mu-SPEED: A System for the Specification and Verification of Microprocessors.
Proceedings of the STACS 92, 1992

1990
Functional semantics of microprocessors at the microprogram level and correspondence with the machine instruction level.
Proceedings of the European Design Automation Conference, 1990


  Loading...