The SCEAS System
Navigation Menu

Search the dblp DataBase


Neeraj Suri: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]

Publications of Author

  1. Dan Dobre, Neeraj Suri
    One-step Consensus with Zero-Degradation. [Citation Graph (0, 0)][DBLP]
    DSN, 2006, pp:137-146 [Conf]
  2. Andréas Johansson, Neeraj Suri
    Error Propagation Profiling of Operating Systems. [Citation Graph (0, 0)][DBLP]
    DSN, 2005, pp:86-95 [Conf]
  3. Martin Hiller, Arshad Jhumka, Neeraj Suri
    An Approach for Analysing the Propagation of Data Errors in Software. [Citation Graph (0, 0)][DBLP]
    DSN, 2001, pp:161-172 [Conf]
  4. Martin Hiller, Arshad Jhumka, Neeraj Suri
    On the Placement of Software Mechanisms for Detection of Data Errors. [Citation Graph (0, 0)][DBLP]
    DSN, 2002, pp:135-144 [Conf]
  5. Avi Mendelson, Neeraj Suri
    Designing High-Performance & Reliable Superscalar Architectures: The out of Order Reliable Superscalar (O3RS) Approach. [Citation Graph (0, 0)][DBLP]
    DSN, 2000, pp:473-481 [Conf]
  6. Chris J. Walter, Neeraj Suri, T. Monaghan
    Evaluating COTS Standards for Design of Dependable Systems. [Citation Graph (0, 0)][DBLP]
    DSN, 2000, pp:87-0 [Conf]
  7. Arshad Jhumka, Neeraj Suri
    Designing Efficient Fail-Safe Multitolerant Systems. [Citation Graph (0, 0)][DBLP]
    FORTE, 2005, pp:428-442 [Conf]
  8. Purnendu Sinha, Neeraj Suri
    Identification of Test Cases Using a Formal Approach. [Citation Graph (0, 0)][DBLP]
    FTCS, 1999, pp:314-321 [Conf]
  9. Neeraj Suri, M. M. Hugue, Chris J. Walter
    Reliability Modeling of Large Fault-Tolerant Systems. [Citation Graph (0, 0)][DBLP]
    FTCS, 1992, pp:212-220 [Conf]
  10. Neeraj Suri, Purnendu Sinha
    On the Use of Formal Techniques for Validation. [Citation Graph (0, 0)][DBLP]
    FTCS, 1998, pp:390-399 [Conf]
  11. Arshad Jhumka, Martin Hiller, Neeraj Suri
    Component-Based Synthesis of Dependable Embedded Software. [Citation Graph (0, 0)][DBLP]
    FTRTFT, 2002, pp:111-128 [Conf]
  12. Arshad Jhumka, Martin Hiller, Neeraj Suri
    An Approach to Specify and Test Component-Based Dependable Software. [Citation Graph (0, 0)][DBLP]
    HASE, 2002, pp:211-220 [Conf]
  13. Arshad Jhumka, Martin Hiller, Neeraj Suri
    An Approach for Designing and Assessing Detectors for Dependable Component-Based Systems. [Citation Graph (0, 0)][DBLP]
    HASE, 2004, pp:69-78 [Conf]
  14. Purnendu Sinha, Neeraj Suri
    On Simplifying Modular Specification and Verification of Distributed Protocols. [Citation Graph (0, 0)][DBLP]
    HASE, 2001, pp:173-181 [Conf]
  15. Purnendu Sinha, Neeraj Suri
    Modular Composition of Redundancy Management Protocols in Distributed Systems: An Outlook on Simplifying Protocol Level Formal Specification & Verification. [Citation Graph (0, 0)][DBLP]
    ICDCS, 2001, pp:255-263 [Conf]
  16. Neeraj Suri, S. Ghosh, Thomas J. Marlowe
    A Framework for Dependability Driven Software Integration. [Citation Graph (0, 0)][DBLP]
    ICDCS, 1998, pp:406-415 [Conf]
  17. Vilgot Claesson, Neeraj Suri
    TTET: Event-Triggered Channels on a Time-Triggered Base. [Citation Graph (0, 0)][DBLP]
    ICECCS, 2004, pp:39-46 [Conf]
  18. Avi Mendelson, Neeraj Suri
    Cache based fault recovery for distributed systems. [Citation Graph (0, 0)][DBLP]
    ICECCS, 1997, pp:119-129 [Conf]
  19. Andréas Johansson, Adina Sarbu, Arshad Jhumka, Neeraj Suri
    On Enhancing the Robustness of Commercial Operating Systems. [Citation Graph (0, 0)][DBLP]
    ISAS, 2004, pp:148-159 [Conf]
  20. Constantin Sârbu, Andréas Johansson, Falk Fraikin, Neeraj Suri
    Improving Robustness Testing of COTS OS Extensions. [Citation Graph (0, 0)][DBLP]
    ISAS, 2006, pp:120-139 [Conf]
  21. Vilgot Claesson, Cecilia Ekelin, Neeraj Suri
    The Event-Triggered and Time-Triggered Medium-Access Methods. [Citation Graph (0, 0)][DBLP]
    ISORC, 2003, pp:131-134 [Conf]
  22. Hermann Kopetz, Neeraj Suri
    Compositional Design of RT Systems: A Conceptual Basis for Specification of Linking Interfaces. [Citation Graph (0, 0)][DBLP]
    ISORC, 2003, pp:51-60 [Conf]
  23. Shariful Islam, Robert Lindstrom, Neeraj Suri
    Dependability Driven Integration of Mixed Criticality SW Components. [Citation Graph (0, 0)][DBLP]
    ISORC, 2006, pp:485-495 [Conf]
  24. Martin Hiller, Arshad Jhumka, Neeraj Suri
    PROPANE: an environment for examining the propagation of errors in software. [Citation Graph (0, 0)][DBLP]
    ISSTA, 2002, pp:81-85 [Conf]
  25. Arshad Jhumka, Martin Hiller, Vilgot Claesson, Neeraj Suri
    On systematic design of globally consistent executable assertions in embedded software. [Citation Graph (0, 0)][DBLP]
    LCTES-SCOPES, 2002, pp:75-84 [Conf]
  26. Faisal Karim Shaikh, Abdelmajid Khelil, Neeraj Suri
    On Modeling the Reliability of Data Transport in Wireless Sensor Networks. [Citation Graph (0, 0)][DBLP]
    PDP, 2007, pp:395-402 [Conf]
  27. Örjan Askerdal, Magnus Gäfvert, Martin Hiller, Neeraj Suri
    A Control Theory Approach for Analyzing the Effects of Data Errors in Safety-Critical Control Systems. [Citation Graph (0, 0)][DBLP]
    PRDC, 2002, pp:105-116 [Conf]
  28. Raphael R. Some, Algirdas Avizienis, Jiri Gaisler, Hirokazu Ihara, Shubu Mukherjee, Neeraj Suri
    Panel Summary Statements. [Citation Graph (0, 0)][DBLP]
    PRDC, 2004, pp:335-40 [Conf]
  29. Purnendu Sinha, Neeraj Suri
    On the Use of Formal Techniques for Analyzing Dependable Real-Time Protocols. [Citation Graph (0, 0)][DBLP]
    IEEE Real-Time Systems Symposium, 1999, pp:126-135 [Conf]
  30. Arshad Jhumka, Neeraj Suri, Martin Hiller
    A Framework for the Design and Validation of Efficient Fail-Safe Fault-Tolerant Programs. [Citation Graph (0, 0)][DBLP]
    SCOPES, 2003, pp:182-197 [Conf]
  31. Vilgot Claesson, Henrik Lönn, Neeraj Suri
    Efficient TDMA Synchronization for Distributed Embedded Systems. [Citation Graph (0, 0)][DBLP]
    SRDS, 2001, pp:198-201 [Conf]
  32. Arshad Jhumka, Martin Hiller, Neeraj Suri
    Assessing Inter-Modular Error Propagation in Distributed Software. [Citation Graph (0, 0)][DBLP]
    SRDS, 2001, pp:152-161 [Conf]
  33. Kane Kim, Paul D. Ezhilchelvan, Jörg Kaiser, Louise E. Moser, Edgar Nett, Neeraj Suri
    Why Have Progresses in Real-Time Fault Tolerant Computing Been Slow? [Citation Graph (0, 0)][DBLP]
    SRDS, 2004, pp:102- [Conf]
  34. Neeraj Suri
    Why Progress in (Composite) Fault Tolerant Real-Time Systems has been Slow (-er than Expected.. & What Can We Do About It?). [Citation Graph (0, 0)][DBLP]
    SRDS, 2004, pp:112-113 [Conf]
  35. Brahim Ayari, Abdelmajid Khelil, Neeraj Suri
    FT-PPTC: An Efficient and Fault-Tolerant Commit Protocol for Mobile Environments. [Citation Graph (0, 0)][DBLP]
    SRDS, 2006, pp:96-105 [Conf]
  36. Christof Fetzer, Neeraj Suri
    Practical Aspects of IP Take-Over Mechanisms. [Citation Graph (0, 0)][DBLP]
    WORDS Fall, 2003, pp:250-254 [Conf]
  37. Hermann Kopetz, Neeraj Suri
    On the Limits of the Precise Specification of Component Interfaces. [Citation Graph (0, 0)][DBLP]
    WORDS Fall, 2003, pp:26-27 [Conf]
  38. Neeraj Suri
    On Dependability Driven Software and Hardware Integration. [Citation Graph (0, 0)][DBLP]
    WSTFEUS, 2004, pp:45-0 [Conf]
  39. Neeraj Suri, Avi Mendelson
    Design of a parallel interconnect based on communication pattern considerations. [Citation Graph (0, 0)][DBLP]
    Parallel Algorithms Appl., 2001, v:16, n:4, pp:243-271 [Journal]
  40. Martin Hiller, Arshad Jhumka, Neeraj Suri
    EPIC: Profiling the Propagation and Effect of Data Errors in Software. [Citation Graph (0, 0)][DBLP]
    IEEE Trans. Computers, 2004, v:53, n:5, pp:512-530 [Journal]
  41. Chris J. Walter, Neeraj Suri
    The customizable fault/error model for dependable distributed systems. [Citation Graph (0, 0)][DBLP]
    Theor. Comput. Sci., 2003, v:290, n:2, pp:1223-1251 [Journal]
  42. Vilgot Claesson, Henrik Lönn, Neeraj Suri
    An Efficient TDMA Start-Up and Restart Synchronization Approach for Distributed Embedded Systems. [Citation Graph (0, 0)][DBLP]
    IEEE Trans. Parallel Distrib. Syst., 2004, v:15, n:8, pp:725-739 [Journal]
  43. Neeraj Suri, Krithi Ramamritham
    Editorial: Special Section on Dependable Real-Time Systems. [Citation Graph (0, 0)][DBLP]
    IEEE Trans. Parallel Distrib. Syst., 1999, v:10, n:6, pp:529-532 [Journal]
  44. Chris J. Walter, Patrick Lincoln, Neeraj Suri
    Formally Verified On-Line Diagnosis. [Citation Graph (0, 0)][DBLP]
    IEEE Trans. Software Eng., 1997, v:23, n:11, pp:684-721 [Journal]
  45. Marco Serafini, Neeraj Suri, Jonny Vinter, Astrit Ademaj, Wolfgang Brandstatter, Fulvio Tagliabo, Jens Koch
    A Tunable Add-On Diagnostic Protocol for Time-Triggered Systems. [Citation Graph (0, 0)][DBLP]
    DSN, 2007, pp:164-174 [Conf]
  46. Andréas Johansson, Neeraj Suri, Brendan Murphy
    On the Selection of Error Model(s) for OS Robustness Evaluation. [Citation Graph (0, 0)][DBLP]
    DSN, 2007, pp:502-511 [Conf]
  47. Abdelmajid Khelil, Neeraj Suri
    Gossiping: Adaptive and Reliable Broadcasting in MANETs. [Citation Graph (0, 0)][DBLP]
    LADC, 2007, pp:123-141 [Conf]
  48. Marco Serafini, Andrea Bondavalli, Neeraj Suri
    Online Diagnosis and Recovery: On the Choice and Impact of Tuning Parameters. [Citation Graph (0, 0)][DBLP]
    IEEE Trans. Dependable Sec. Comput., 2007, v:4, n:4, pp:295-312 [Journal]

  49. Dependable Embedded Systems Special Day Panel: Issues and Challenges in Dependable Embedded Systems. [Citation Graph (, )][DBLP]

  50. Message from the DCCS program chair. [Citation Graph (, )][DBLP]

  51. HP: Hybrid Paxos for WANs. [Citation Graph (, )][DBLP]

  52. A Multi Variable Optimization Approach for the Design of Integrated Dependable Real-Time Embedded Systems. [Citation Graph (, )][DBLP]

  53. On Efficient Models for Model Checking Message-Passing Distributed Protocols. [Citation Graph (, )][DBLP]

  54. Aiding Modular Design and Verification of Safety-Critical Time-Triggered Systems by Use of Executable Formal Specifications. [Citation Graph (, )][DBLP]

  55. Sustaining Property Verification of Synchronous Dependable Protocols Over Implementation. [Citation Graph (, )][DBLP]

  56. Role-Based Symmetry Reduction of Fault-Tolerant Distributed Protocols with Language Support. [Citation Graph (, )][DBLP]

  57. AReIT: Adaptive Reliable Information Transport Protocol for Wireless Sensor Networks. [Citation Graph (, )][DBLP]

  58. Execution Path Profiling for OS Device Drivers: Viability and Methodology. [Citation Graph (, )][DBLP]

  59. Profiling the Operational Behavior of OS Device Drivers. [Citation Graph (, )][DBLP]

  60. On the Impact of Injection Triggers for OS Robustness Evaluation. [Citation Graph (, )][DBLP]

  61. Data-Based Agreement for Inter-vehicle Coordination. [Citation Graph (, )][DBLP]

  62. ParTAC: A Partition-Tolerant Atomic Commit Protocol for MANETs. [Citation Graph (, )][DBLP]

  63. On the Time-Complexity of Robust and Amnesic Storage. [Citation Graph (, )][DBLP]

  64. Abortable Fork-Linearizable Storage. [Citation Graph (, )][DBLP]

  65. Eventually linearizable shared objects. [Citation Graph (, )][DBLP]

  66. INDEXYS, a Logical Step beyond GENESYS. [Citation Graph (, )][DBLP]

  67. Delay-Aware Mobile Transactions. [Citation Graph (, )][DBLP]

  68. BDG-torus union graph-an efficient algorithmically specializedparallel interconnect. [Citation Graph (, )][DBLP]

  69. On the Latency Efficiency of Message-Parsimonious Asynchronous Atomic Broadcast. [Citation Graph (, )][DBLP]

  70. The Fail-Heterogeneous Architectural Model. [Citation Graph (, )][DBLP]

  71. Efficient Robust Storage Using Secret Tokens. [Citation Graph (, )][DBLP]

  72. Reordering for Better Compressibility: Efficient Spatial Sampling in Wireless Sensor Networks. [Citation Graph (, )][DBLP]

  73. Generic Information Transport for Wireless Sensor Networks. [Citation Graph (, )][DBLP]

  74. ASample: Adaptive Spatial Sampling in Wireless Sensor Networks. [Citation Graph (, )][DBLP]

  75. Brief Announcement: Efficient Model Checking of Fault-Tolerant Distributed Protocols Using Symmetry Reduction. [Citation Graph (, )][DBLP]

  76. A comparative study of data transport protocols in wireless sensor networks. [Citation Graph (, )][DBLP]

  77. INcreasing Security and Protection through Infrastructure REsilience: The INSPIRE Project. [Citation Graph (, )][DBLP]

  78. MWM: a map-based world model for wireless sensor networks. [Citation Graph (, )][DBLP]

  79. MPM: Map Based Predictive Monitoring for Wireless Sensor Networks. [Citation Graph (, )][DBLP]

  80. MAP++: support for map-based WSN modeling and design with OMNeT++. [Citation Graph (, )][DBLP]

  81. Increasing the Resilience of Critical SCADA Systems Using Peer-to-Peer Overlays. [Citation Graph (, )][DBLP]

Search in 0.004secs, Finished in 0.006secs
System may not be available sometimes or not working properly, since it is still in development with continuous upgrades
The rankings that are presented on this page should NOT be considered as formal since the citation info is incomplete in DBLP
System created by [] © 2002
for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002