Travelled to:1 × Canada
1 × Greece
1 × The Netherlands
2 × USA
2 × United Kingdom
Collaborated with:Y.Zhang M.Narasimha R.Cleaveland Y.Lei R.P.Jetley P.A.Abdulla A.Nylén D.Yankelevich G.Cécé A.Finkel
Talks about:probabilist (2) communic (2) abstract (2) channel (2) analysi (2) unfold (2) driven (2) lossi (2) error (2) postmortem (1)
Person: S. Purushothaman Iyer
DBLP: Iyer:S=_Purushothaman
Contributed to:
20072006
2005
2000
1999
1995
1994
1997Wrote 8 papers:
- ICPC-2007-ZhangI #analysis #fault
- Error Report Driven Post-Mortem Analysis (YZ, SPI), pp. 208–220.
- ICPC-2006-JetleyZI #analysis #slicing #using
- Using Abstraction-driven Slicing for Postmortem Analysis of Software (RPJ, YZ, SPI), pp. 107–116.
- FM-2005-LeiI #approach #communication #protocol
- An Approach to Unfolding Asynchronous Communication Protocols (YL, SPI), pp. 334–349.
- CAV-2000-AbdullaIN #bound #petri net
- Unfoldings of Unbounded Petri Nets (PAA, SPI, AN), pp. 495–507.
- FoSSaCS-1999-NarasimhaCI #calculus #logic #probability #μ-calculus
- Probabilistic Temporal Logics via the Modal μ-Calculus (MN, RC, SPI), pp. 288–305.
- SAS-1995-CleavelandIY #abstraction #model checking
- Optimality in Abstractions of Model Checking (RC, SPI, DY), pp. 51–63.
- FSE-1994-CeceFI #communication #fault
- Duplication, Insertion and Lossiness Errors in Unreliable Communication Channels (GC, AF, SPI), pp. 35–43.
- TAPSOFT-1997-IyerN #probability
- Probabilistic Lossy Channel Systems (SPI, MN), pp. 667–681.