Travelled to:1 × Switzerland
1 × USA
Collaborated with:∅ S.Khoo A.Roychoudhury D.Lo
Talks about:distribut (3) system (3) specif (3) mine (3) concurr (2) sequenc (1) messag (1) level (1) infer (1) graph (1)
Person: Sandeep Kumar
DBLP: Kumar:Sandeep
Contributed to:
20122011Wrote 4 papers:
- ICSE-2012-KumarKRL #distributed #specification
- Inferring class level specifications for distributed systems (SK, SCK, AR, DL), pp. 914–924.
- ICSE-2011-Kumar #concurrent #distributed #mining #specification
- Specification mining in concurrent and distributed systems (SK), pp. 1086–1089.
- ICSE-2011-Kumar11a #concurrent #distributed #mining #specification
- Specification mining in concurrent and distributed systems (SK), pp. 1161–1163.
- ICSE-2011-KumarKRL #graph #mining #sequence
- Mining message sequence graphs (SK, SCK, AR, DL), pp. 91–100.