Travelled to:1 × Italy
1 × South Africa
1 × Switzerland
Collaborated with:A.Mili ∅ N.Diallo L.L.Jilani O.Mraihi A.Louhichi
Talks about:invari (3) relat (3) function (2) correct (2) loop (2) use (2) analysi (1) termin (1) comput (1) while (1)
Person: Wided Ghardallou
DBLP: Ghardallou:Wided
Contributed to:
201520122010Wrote 3 papers:
- ICSE-v2-2015-DialloGM #correctness
- Correctness and Relative Correctness (ND, WG, AM), pp. 591–594.
- ICSE-2012-Ghardallou #analysis #invariant #termination #using
- Using invariant relations in the termination analysis of while loops (WG), pp. 1519–1522.
- ICSE-2010-JilaniMLGM #invariant #using
- Using invariant functions and invariant relations to compute loop functions (LLJ, OM, AL, WG, AM), pp. 317–318.