BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
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 DBLP: Iyer:S=_Purushothaman

Contributed to:

ICPC 20072007
ICPC 20062006
FM 20052005
CAV 20002000
FoSSaCS 19991999
SAS 19951995
FSE 19941994

Wrote 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.

Bibliography of Software Language Engineering in Generated Hypertext (BibSLEIGH) is created and maintained by Dr. Vadim Zaytsev.
Hosted as a part of SLEBOK on GitHub.