Purnendu Sinha

Identification of test cases using a formal approach

Neeraj Suri, Purnendu Sinha, Purnendu Sinha, 1999, Digest of Papers. Twenty-Ninth Annual International Symposium on Fault-Tolerant Computing (Cat. No.99CB36352).

Validation of Dependable Real-time Protocols : A Case for the Use of Formal Techniques

Purnendu Sinha, Neeraj Suriyand, 2007 .

The Management Accountant Inside This Issue

G. Mitra, Purnendu Sinha, S. Chakraborty, 2011 .

An Approach to Simplifying Formal Veri cations of Protocols throughIdenti cation of Modular Blocks in Redundancy Management Protocols

Neeraj, Purnendu Sinha, Chalmers, 2007 .

On improving performance of Network Intrusion Detection Systems by efficient packet capturing

Amitava Biswas, Purnendu Sinha, Purnendu Sinha, 2006, 2006 IEEE/IFIP Network Operations and Management Symposium NOMS 2006.

Formal verification of dependable distributed protocols

Purnendu Sinha, Da Qi Ren, D. Ren, 2003, Inf. Softw. Technol..

On simplifying modular specification and verification of distributed protocols

Neeraj Suri, Purnendu Sinha, Purnendu Sinha, 2001, Proceedings Sixth IEEE International Symposium on High Assurance Systems Engineering. Special Topic: Impact of Networking.

Modular composition of redundancy management protocols in distributed systems: an outlook on simplifying protocol level formal specification and verification

Neeraj Suri, Purnendu Sinha, Purnendu Sinha, 2001, Proceedings 21st International Conference on Distributed Computing Systems.

Metrics for Evaluating Electronic Control System Architecture Alternatives

Haibo Zeng, Arkadeb Ghosal, Paolo Giusto, 2010 .

Metrics for Quantifying and Evaluating Ability of Electronic Control System Architectures to Accommodate Changes

Haibo Zeng, Arkadeb Ghosal, Paolo Giusto, 2011 .