Travelled to:1 × USA
1 × United Kingdom
Collaborated with:D.Sahoo J.Jain E.A.Emerson D.L.Dill
Talks about:reachabl (1) thread (1) symbol (1) partit (1) multi (1) model (1) check (1)
Person: Subramanian K. Iyer
DBLP: Iyer:Subramanian_K=
Contributed to:
2005
2005Wrote 2 papers:
- DAC-2005-SahooJIDE #concurrent #multi #reachability #thread
- Multi-threaded reachability (DS, JJ, SKI, DLD, EAE), pp. 467–470.
- FM-2005-IyerSEJ #clustering #model checking #on the
- On Partitioning and Symbolic Model Checking (SKI, DS, EAE, JJ), pp. 497–511.