Travelled to:1 × Finland
1 × United Kingdom
Collaborated with:T.Noll
Talks about:structur (1) hyperedg (1) abstract (1) pointer (1) manipul (1) complex (1) verifi (1) thread (1) replac (1) dynam (1)
Person: Stefan Rieger
DBLP: Rieger:Stefan
Contributed to:
2008
2008Wrote 2 papers:
- FM-2008-NollR #pointer #thread #verification
- Verifying Dynamic Pointer-Manipulating Threads (TN, SR), pp. 84–99.
- ICGT-2008-RiegerN #data type
- Abstracting Complex Data Structures by Hyperedge Replacement (SR, TN), pp. 69–83.