Publications :: Search

Show author

On this page you see the details of the selected author.

Author information
First name:	Hélène
Last name:	Collavizza
DBLP:	76/2872
Rating:	(not rated yet)
Bookmark:

Below you find the publications which have been written by this author.

Show item 1 to 14 of 14  

Select a publication
Show	Title	Venue	Rating	Date
	Hélène Collavizza, Michel Rueher, Pascal Van Hentenryck. CPBPV: A Constraint-Programming Framework for Bounded Program Verification.	Principles and Practice of Constraint Programming, 14th International Conference, CP 2008, Sydney, Australia, September 14-18, 2008. Proceedings 2008	(0)	2008
	Hélène Collavizza, Michel Rueher, Pascal Van Hentenryck. CPBVP: A Constraint-Programming Framework for Bounded Program Verification	CoRR 2008, Volume 0	(0)	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, Volume 0	(0)	2008
	Hélène Collavizza, Michel Rueher. Exploring Different Constraint-Based Modelings for Program Verification.	Principles and Practice of Constraint Programming - CP 2007, 13th International Conference, CP 2007, Providence, RI, USA, September 23-27, 2007, Proceedings 2007	(0)	2007
	Hélène Collavizza, Michel Rueher. Exploration of the Capabilities of Constraint Programming for Software Verification.	Tools and Algorithms for the Construction and Analysis of Systems, 12th International Conference, TACAS 2006 Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2006, Vienna, Austria, March 25 - April 2, 2006, Proceedi 2006	(0)	2006
	Hélène Collavizza, François Delobel, Michel Rueher. Extending Consistent Domains of Numeric CSP.	Proceedings of the Sixteenth International Joint Conference on Artificial Intelligence, IJCAI 99, Stockholm, Sweden, July 31 - August 6, 1999. 2 Volumes, 1450 pages 1999	(0)	1999
	Hélène Collavizza, François Delobel, Michel Rueher. Comparing Partial Consistencies.	Reliable Computing 1999, Volume 5	(0)	1999
	Hélène Collavizza, François Delobel, Michel Rueher. A Note on Partial Consistencies over Continuous Domains.	Principles and Practice of Constraint Programming - CP98, 4th International Conference, Pisa, Italy, October 26-30, 1998, Proceedings 1998	(0)	1998
	Hélène Collavizza, François Delobel, Michel Rueher. Relationships between Partial Consistencies over Continuous Domains.	IJCSLP 1998	(0)	1998
	Laurent Arditi, Hélène Collavizza. An Object-Oriented Framework for the Formal Verification of Processors.	ECOOP'95 - Object-Oriented Programming, 9th European Conference, Åarhus, Denmark, August 7-11, 1995, Proceedings 1995	(0)	1995
	Laurent Arditi, Hélène Collavizza. Towards verifying VHDL descriptions of processors.	Proceedings EURO-DAC'95, European Design Automation Conference with EURO-VHDL, Brighton, England, UK, September 18-22, 1995 1995	(0)	1995
	Jacques Chazarain, Hélène Collavizza. Combining Symbolic Evaluation and Object-Oriented Approach for Verifying Processor-Like Architectures at the RT-Level.	Correct Hardware Design and Verification Methods, IFIP WG 10.5 Advanced Research Working Conference, CHARME '93, Arles, France, May 24-26, 1993, Proceedings 1993	(0)	1993
	Hélène Collavizza. Mu-SPEED: A System for the Specification and Verification of Microprocessors.	STACS 92, 9th Annual Symposium on Theoretical Aspects of Computer Science, Cachan, France, February 13-15, 1992, Proceedings 1992	(0)	1992
	Hélène Collavizza. Functional semantics of microprocessors at the microprogram level and correspondence with the machine instruction level.	European Design Automation Conference, EURO-DAC 1990, Glasgow, Scotland, UK, March 12-15, 1990 1990	(0)	1990

Your query returned 14 matches in the database.