Items where Author is "Sinha, P."

Suri, Neeraj and Sinha, P. (2010) A pre-injection analysis for identifying fault-injection tests for protocol validation. Journal of Software, 5 (10). pp. 1144-1161. ISSN 1796-217X

Sinha, P. and Suri, Neeraj (2001) On simplifying modular specification and verification of distributed protocols. In: Proceedings Sixth IEEE International Symposium on High Assurance Systems Engineering : Special Topic: Impact of Networking. IEEE, pp. 173-181. ISBN 0769512755

Sinha, P. and Suri, Neeraj (2001) Modular composition of redundancy management protocols in distributed systems : An outlook on simplifying protocol level formal specification & verification. In: 21st International Conference on Distributed Computing Systems, 2001-04-16 - 2001-04-19.

Suri, N. and Sinha, P. (1998) On the use of formal techniques for validation. In: Digest of Papers. Twenty-Eighth Annual International Symposium on Fault-Tolerant Computing :. IEEE, pp. 1-10. ISBN 0818684704