Travelled to:1 × Italy
1 × Spain
1 × USA
Collaborated with:D.L.Dill S.Park T.Ball B.Cook S.K.Rajamani
Talks about:abstract (3) approxim (2) predic (2) transit (1) success (1) softwar (1) experi (1) relat (1) refin (1)
Person: Satyaki Das
DBLP: Das:Satyaki
Contributed to:
2004
2001
1999Wrote 3 papers:
- TACAS-2004-BallCDR #abstraction #approximate
- Refining Approximations in Software Predicate Abstraction (TB, BC, SD, SKR), pp. 388–403.
- LICS-2001-DasD #approximate
- Successive Approximation of Abstract Transition Relations (SD, DLD), pp. 51–58.
- CAV-1999-DasDP #abstraction #experience
- Experience with Predicate Abstraction (SD, DLD, SP), pp. 160–171.