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: Hymans:Charles
Contributed to:
2006
200520042002Wrote 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.