A constraint function classification for complex systems development. - Matthew S. Harelick; Thomas J. Marlowe; Alexander D. Stoyenko; Purnendu Sinha (ICECCS, 1995)

Classification and overview of research in real-time imaging. - Purnendu Sinha; Sergey Gorinsky; Phillip A. Laplante; Alexander D. Stoyenko; Thomas J. Marlowe (J. Electronic Imaging, 1996)

Design and analysis of fuzzy morphological algorithms for image processing. - Divyendu Sinha; Purnendu Sinha; Edward R. Dougherty; Sinan Batman (IEEE Trans. Fuzzy Syst., 1997)

On the Use of Formal Techniques for Validation. - Neeraj Suri; Purnendu Sinha (FTCS, 1998)

Identification of Test Cases Using a Formal Approach. - Purnendu Sinha; Neeraj Suri (FTCS, 1999)

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

On Simplifying Modular Specification and Verification of Distributed Protocols. - Purnendu Sinha; Neeraj Suri (HASE, 2001)

Modular Composition of Redundancy Management Protocols in Distributed Systems: An Outlook on Simplifying Protocol Level Formal Specification & Verification. - Purnendu Sinha; Neeraj Suri (ICDCS, 2001)

On the Use of Category Theory for Specification Composition of Dependable Distributed Protocols. - Purnendu Sinha; Da Qi Ren (IASTED PDCS, 2002)

Modular Composition and Verification of Transaction Processing Protocols. - Vasudevan Janarthanan; Purnendu Sinha (ICDCS, 2003)

A component-based design of a fault-tolerant multimedia communication protocol. - Anil Hanumantharaya; Purnendu Sinha; Anjali Agarwal (ISMSE, 2003)

On the Run-time Verification of Autonomy Software. - Ashish Tiwari; Purnendu Sinha; Umabharathi Ramachandran (SEW, 2003)

Formal verification of dependable distributed protocols. - Purnendu Sinha; Da Qi Ren (Inf. Softw. Technol., 2003)

A component-based design and compositional verification of a fault-tolerant multimedia communication protocol. - Anil Hanumantharaya; Purnendu Sinha; Anjali Agarwal (Real Time Imaging, 2003)

A novel fault-tree approach for identifying potential causes of satellite reaction wheel failure. - Amitabh Barua; Purnendu Sinha; Khashayar Khorasani; Siamak Tafazoli (CCA, 2005)

A High Performance Packet Capturing Support for Alarm Management Systems. - Amitava Biswas; Purnendu Sinha (IASTED PDCS, 2005)

A novel approach for component-based fault-tolerant software development. - Purnendu Sinha; Anil Hanumantharaya (Inf. Softw. Technol., 2005)

An Approach Based on Modeling Dynamic Behavior of the System to Assess the Impact of COTS Upgrades. - Anjaneyulu Pasala; Srinivasa Rao; Srinivas Gunturu; Purnendu Sinha (APSEC, 2006)

On improving performance of Network Intrusion Detection Systems by efficient packet capturing. - Amitava Biswas; Purnendu Sinha (NOMS, 2006)

Intelligent and learning-based approaches for health monitoring and fault diagnosis of RADARSAT-1 attitude control system. - A. M. Joshi; Victor Gavriloiu; Amitabh Barua; A. Garabedian; Purnendu Sinha; Khashayar Khorasani (SMC, 2007)

A hardware accelerator for controlling access to multiple-unit resources in safety/time-critical systems. - Philippe Marchand; Purnendu Sinha (Int. J. Inf. Commun. Technol., 2007)

A Pre-Injection Analysis for Identifying Fault-Injection Tests for Protocol Validation. - Neeraj Suri; Purnendu Sinha (J. Softw., 2010)

A framework for early stage quality-fault tolerance analysis of embedded control systems. - Satya Gautam Vadlamudi; P. P. Chakrabarti 001; Dipankar Das 002; Purnendu Sinha (DSN, 2011)

Robust embedded software design through early analysis of quality faults. - Dipankar Das 002; P. P. Chakrabarti 001; Purnendu Sinha (ISEC, 2011)

Architectural design and reliability analysis of a fail-operational brake-by-wire system from ISO 26262 perspectives. - Purnendu Sinha (Reliab. Eng. Syst. Saf., 2011)

Finding Critical Components in Embedded Control Systems Sensitive to Quality-Faults. - Vishal Shrivastav; Satya Gautam Vadlamudi; P. P. Chakrabarti 001; Dipankar Das 002; Purnendu Sinha (ISED, 2012)

An Efficient Method for Synchronizing Clocks of Networked ECUs in Automotive Systems. - Kumar Padmanabh; Amit Gupta; Purnendu Sinha (ICDCIT, 2013)

Dynamic task-level reconfiguration in automotive software architectures. - Purnendu Sinha (ISEC, 2013)

Prediction Schemes for Compensating Variable Delay for Improving Performance of Real-Time Control Tasks. - Saptarshi Roy; Amit Patra; Partha Pratim Chakrabarti; Purnendu Sinha; Dipankar Das 002 (VLSI Design, 2013)