Searching for authors named "Neeraj Suri" – sorted by Relevance.
55 documents found, showing 1 through 10.
Next 10 →
-
Validation of Dependable Real-time Protocols: A Case for the Use of Formal Techniques
- …Validation of Dependable Real-time Protocols: A Case for the Use of Formal Techniques Neeraj Suri…
- Add To MetaCart
-
On Simplifying Modular Specification and Verification of Distributed Protocols
- …On Simplifying Modular Specication and Verication of Distributed Protocols Purnendu Sinha Neeraj…
- Cited by 3 (0 self) – Add To MetaCart
-
Error Propagation Profiling of Operating Systems
- …���Error Propagation Profiling of Operating Systems Andr��as Johansson and Neeraj Suri Department…
- Cited by 10 (3 self) – Add To MetaCart
-
On the Use of Formal Techniques for Validation
- …On the Use of Formal Techniques for Validation Neeraj Suri and Purnendu Sinha Dept. of CIS, NJIT…
- Cited by 9 (6 self) – Add To MetaCart
-
Modular Composition of Redundancy Management Protocols in Distributed Systems: An Outlook on Simplifying Protocol Level Formal Specification and Validation
- … on Simplifying Protocol Level Formal Specification & Verification\Lambda Purnendu Sinha Neeraj Suri ECE Dept…
- Cited by 4 (1 self) – Add To MetaCart
-
On the Use of Formal Techniques for Analyzing Dependable Real-Time Protocols
- …���On the Use of Formal Techniques for Analyzing Dependable Real-Time Protocols Purnendu Sinha Neeraj…
- Cited by 3 (1 self) – Add To MetaCart
-
Cache Based Fault Recovery for Distributed Systems
- …, Israel medlson@(email omitted); Neeraj Suri Dept. of CIS, NJIT, Newark, NJ suri@(email omitted); Abstract…
- Cited by 2 (1 self) – Add To MetaCart
-
Identification of Test Cases Using a Formal Approach
- …Identification of Test Cases Using a Formal Approach Purnendu Sinha and Neeraj Suri ECE Dept…
- Cited by 4 (4 self) – Add To MetaCart
-
A Multi Variable Optimization Approach for the Design of Integrated Dependable Real-Time Embedded Systems
- … Systems ��� Shariful Islam and Neeraj Suri Department of CS TU Darmstadt, Germany {ripon,suri…
- Cited by 1 (0 self) – Add To MetaCart
-
On the Selection of Error Model(s) for OS Robustness Evaluation
- …���On the Selection of Error Model(s) For OS Robustness Evaluation ��� Andr��as Johansson, Neeraj Suri…
- Cited by 2 (1 self) – Add To MetaCart
Showing 1 through 10.
Next 10 →
