Travelled to:
1 × Austria
1 × France
Collaborated with:
M.Strecker R.Matthes M.Pantel
Talks about:
algorithm (2) construct (1) pointer (1) manipul (1) illustr (1) correct (1) verifi (1) schorr (1) verif (1) graph (1)
Person: Mathieu Giorgino
DBLP: Giorgino:Mathieu
Contributed to:
Wrote 2 papers:
- FM-2012-GiorginoS #algorithm #correctness #pointer
- Correctness of Pointer Manipulating Algorithms Illustrated by a Verified BDD Construction (MG, MS), pp. 202–216.
- LOPSTR-2010-GiorginoSMP #algorithm #graph #verification
- Verification of the Schorr-Waite Algorithm — From Trees to Graphs (MG, MS, RM, MP), pp. 67–83.