Travelled to:
1 × Norway
1 × USA
Collaborated with:
A.Sharma C.David S.Wang A.Hobor W.Chin
Talks about:
guarante (1) granular (1) certifi (1) verifi (1) reason (1) infin (1) immut (1) pimm (1)
Person: Andreea Costea
DBLP: Costea:Andreea
Contributed to:
Wrote 2 papers:
- FM-2015-SharmaWCHC #infinity #reasoning
- Certified Reasoning with Infinity (AS, SW, AC, AH, WNC), pp. 496–513.
- PEPM-2014-CosteaSD #named #verification
- HIPimm: verifying granular immutability guarantees (AC, AS, CD), pp. 189–194.