Hélène Collavizza

	2011
17		Hélène Collavizza, Nguyen Le Vinh, Michel Rueher, Samuel Devulder, Thierry Gueguen: A dynamic constraint-based BMC strategy for generating counterexamples. SAC 2011: 1633-1638
	2010
16		Olivier Ponsini, Hélène Collavizza, Carine Fédèle, Claude Michel, Michel Rueher: Automatic verification of loop invariants. ICSM 2010: 1-5
15		Hélène Collavizza, Michel Rueher, Pascal Van Hentenryck: CPBPV: a constraint-programming framework for bounded program verification. Constraints 15(2): 238-264 (2010)
	2008
14		Hélène Collavizza, Michel Rueher, Pascal Van Hentenryck: CPBPV: A Constraint-Programming Framework for Bounded Program Verification. CP 2008: 327-341
13		Hélène Collavizza, Michel Rueher, Pascal Van Hentenryck: CPBVP: A Constraint-Programming Framework for Bounded Program Verification CoRR abs/0807.2383: (2008)
12		Hélène Collavizza, Michel Rueher, Pascal Van Hentenryck: Comparison between CPBPV, ESC/Java, CBMC, Blast, EUREKA and Why for Bounded Program Verification CoRR abs/0808.1508: (2008)
	2007
11		Hélène Collavizza, Michel Rueher: Exploring Different Constraint-Based Modelings for Program Verification. CP 2007: 49-63
	2006
10		Hélène Collavizza, Michel Rueher: Exploration of the Capabilities of Constraint Programming for Software Verification. TACAS 2006: 182-196
	1999
9		Hélène Collavizza, François Delobel, Michel Rueher: Extending Consistent Domains of Numeric CSP. IJCAI 1999: 406-413
8		Hélène Collavizza, François Delobel, Michel Rueher: Comparing Partial Consistencies. Reliable Computing 5(3): 213-228 (1999)
	1998
7		Hélène Collavizza, François Delobel, Michel Rueher: A Note on Partial Consistencies over Continuous Domains. CP 1998: 147-161
6		Hélène Collavizza, François Delobel, Michel Rueher: Relationships between Partial Consistencies over Continuous Domains. IJCSLP 1998: 345-346
	1995
5		Laurent Arditi, Hélène Collavizza: An Object-Oriented Framework for the Formal Verification of Processors. ECOOP 1995: 215-234
4		Laurent Arditi, Hélène Collavizza: Towards verifying VHDL descriptions of processors. EURO-DAC 1995: 414-419
	1993
3		Jacques Chazarain, Hélène Collavizza: Combining Symbolic Evaluation and Object-Oriented Approach for Verifying Processor-Like Architectures at the RT-Level. CHARME 1993: 109-121
	1992
2		Hélène Collavizza: Mu-SPEED: A System for the Specification and Verification of Microprocessors. STACS 1992: 607-608
	1990
1		Hélène Collavizza: Functional semantics of microprocessors at the microprogram level and correspondence with the machine instruction level. EURO-DAC 1990: 52-56

Coauthor Index

1	Laurent Arditi	[4] [5]
2	Jacques Chazarain	[3]
3	François Delobel	[6] [7] [8] [9]
4	Samuel Devulder	[17]
5	Carine Fédèle	[16]
6	Thierry Gueguen	[17]
7	Pascal Van Hentenryck	[12] [13] [14] [15]
8	Claude Michel	[16]
9	Olivier Ponsini	[16]
10	Michel Rueher	[6] [7] [8] [9] [10] [11] [12] [13] [14] [15] [16] [17]
11	Nguyen Le Vinh	[17]

Colors in the list of coauthors

Last update Sun Feb 12 22:50:56 2012 CET by the DBLP Team — Data released under the ODC-BY 1.0 license — See also our legal information page