Suri, Neeraj ; Sinha, Purnendu (2010)
Pre-Injection Analysis for Identifying Fault-Injection Tests for Protocol Validation.
In: Journal of Software
Artikel, Bibliographie

Sinha, Purnendu ; Suri, Neeraj (2001)
Modular Composition of Redundancy Management Protocols in Distributed Protocols: An Outlook on Simplifying Protocol Level Specification & Verification.
Konferenzveröffentlichung, Bibliographie

Sinha, Purnendu ; Suri, Neeraj (1999)
Identification of Test Cases Using a Formal FI Approach.
Konferenzveröffentlichung, Bibliographie

Sinha, Purnendu ; Suri, Neeraj (1999)
On the Use of Formal Techniques for Analyzing Dependable Real-Time Protocols.
Konferenzveröffentlichung, Bibliographie

Suri, Neeraj ; Sinha, Purnendu (1998)
On the Use of Formal Techniques for Validation.
Konferenzveröffentlichung, Bibliographie