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: Suri:Neeraj
Contributed to:
2015
2014
20112011
20072002
20022017Wrote 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.