BibSLEIGH
BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
EDIT!
CC-BY
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
Travelled to:
1 × Germany
2 × Italy
3 × USA
Collaborated with:
S.Winter M.Hiller A.Jhumka P.Bokor O.Schwahn R.Natella D.Cotroneo F.K.Shaikh A.Khelil J.Kinder M.Serafini C.Sârbu B.Murphy V.Claesson N.Coppik S.W.0001 P.Metzler H.Saissi A.Lanzaro
Talks about:
softwar (3) error (3) reduct (2) propag (2) model (2) fault (2) no (2) transport (1) wireless (1) systemat (1)

Person: Neeraj Suri

DBLP DBLP: Suri:Neeraj

Contributed to:

ICSE 20152015
ISSTA 20142014
ASE 20112011
ICSE 20112011
PDP 20072007
ISSTA 20022002
LCTES/SCOPES 20022002
ASE 20172017

Wrote 9 papers:

ICSE-v1-2015-WinterSNSC #fault #injection #parallel
No PAIN, No Gain? The Utility of PArallel Fault INjections (SW, OS, RN, NS, DC), pp. 494–505.
ISSTA-2014-LanzaroNWCS #empirical #fault #injection #interface
An empirical study of injected versus actual interface errors (AL, RN, SW, DC, NS), pp. 397–408.
ASE-2011-BokorKSS #partial order #reduction
Supporting domain-specific state space reductions through local partial-order reduction (PB, JK, MS, NS), pp. 113–122.
ICSE-2011-WinterSSM #fault #modelling #robust
The impact of fault models on software robustness evaluations (SW, CS, NS, BM), pp. 51–60.
PDP-2007-ShaikhKS #modelling #network #on the #reliability
On Modeling the Reliability of Data Transport in Wireless Sensor Networks (FKS, AK, NS), pp. 395–402.
ISSTA-2002-HillerJS #fault #named
PROPANE: an environment for examining the propagation of errors in software (MH, AJ, NS), pp. 81–85.
LCTES-SCOPES-2002-JhumkaHCS #consistency #design #embedded #execution #on the
On systematic design of globally consistent executable assertions in embedded software (AJ, MH, VC, NS), pp. 75–84.
ASE-2017-CoppikSWS #fault #kernel #named #operating system
TrEKer: tracing error propagation in operating system kernels (NC, OS, SW0, NS), pp. 377–387.
ASE-2017-MetzlerSBS #concurrent #scheduling #source code #verification
Quick verification of concurrent programs by iteratively relaxed scheduling (PM, HS, PB, NS), pp. 776–781.

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.