BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
Travelled to:
1 × France
1 × Italy
1 × Korea
1 × Spain
Collaborated with:
E.Upton X.Allamigeon W.Godard
Talks about:
interpret (2) abstract (2) analysi (2) static (2) properti (1) descript (1) behavior (1) program (1) manipul (1) correct (1)

Person: Charles Hymans

DBLP DBLP: Hymans:Charles

Contributed to:

SAS 20062006
VMCAI 20052005
SAS 20042004
SAS 20022002

Wrote 4 papers:

SAS-2006-AllamigeonGH #c #embedded #source code #static analysis #string
Static Analysis of String Manipulations in Critical Embedded C Programs (XA, WG, CH), pp. 35–51.
VMCAI-2005-Hymans #abstract interpretation #fault #verification
Verification of an Error Correcting Code by Abstract Interpretation (CH), pp. 330–345.
SAS-2004-HymansU #data flow #dependence #graph #static analysis
Static Analysis of Gated Data Dependence Graphs (CH, EU), pp. 197–211.
SAS-2002-Hymans #abstract interpretation #behaviour #safety
Checking Safety Properties of Behavioral VHDL Descriptions by Abstract Interpretation (CH), pp. 444–460.

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.