BibSLEIGH
BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
EDIT!
CC-BY
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
Travelled to:
1 × Austria
1 × Denmark
1 × Romania
1 × Spain
1 × Taiwan
1 × United Kingdom
Collaborated with:
M.Rueher L.Arditi M.Bekkouche F.Delobel N.L.Vinh S.Devulder T.Gueguen O.Ponsini C.Fédèle C.Michel
Talks about:
constraint (3) verif (3) base (2) counterexampl (1) relationship (1) processor (1) framework (1) strategi (1) approach (1) softwar (1)

Person: Hélène Collavizza

DBLP DBLP: Collavizza:H=eacute=l=egrave=ne

Contributed to:

SAC 20152015
SAC 20112011
ICSM 20102010
TACAS 20062006
JICSLP 19981998
ECOOP 19951995

Wrote 6 papers:

SAC-2015-BekkoucheCR #approach #constraints #fault #locality #named
LocFaults: a new flow-driven and constraint-based error localization approach (MB, HC, MR), pp. 1773–1780.
SAC-2011-CollavizzaVRDG #constraints #generative
A dynamic constraint-based BMC strategy for generating counterexamples (HC, NLV, MR, SD, TG), pp. 1633–1638.
ICSM-2010-PonsiniCFMR #automation #invariant #verification
Automatic verification of loop invariants (OP, HC, CF, CM, MR), pp. 1–5.
TACAS-2006-CollavizzaR #constraints #programming #verification
Exploration of the Capabilities of Constraint Programming for Software Verification (HC, MR), pp. 182–196.
JICSLP-1998-CollavizzaDR #consistency
Relationships between Partial Consistencies over Continuous Domains (HC, FD, MR), pp. 345–346.
ECOOP-1995-ArditiC #framework #object-oriented #verification
An Object-Oriented Framework for the Formal Verification of Processors (LA, HC), pp. 215–234.
Bibliography of Software Language Engineering in Generated Hypertext (BibSLEIGH) is created and maintained by Dr. Vadim Zaytsev.
Hosted as a part of SLEBOK on GitHub.