Purnendu Sinha - researchr alias

researchr

You are not signed in
Sign in
Sign up

2011

Robust embedded software design through early analysis of quality faultsDipankar Das 0002, P. P. Chakrabarti, Purnendu Sinha. indiaSE 2011: 31-40 [doi]

2010

A Pre-Injection Analysis for Identifying Fault-Injection Tests for Protocol ValidationNeeraj Suri, Purnendu Sinha. jsw, 5(10):1144-1161, 2010. [doi]

2007

A hardware accelerator for controlling access to multiple-unit resources in safety/time-critical systemsPhilippe Marchand, Purnendu Sinha. ijict, 1(1):62-75, 2007. [doi]

2006

On improving performance of Network Intrusion Detection Systems by efficient packet capturingAmitava Biswas, Purnendu Sinha. apnoms 2006: [doi]

An Approach Based on Modeling Dynamic Behavior of the System to Assess the Impact of COTS UpgradesAnjaneyulu Pasala, Srinivasa Rao, Srinivas Gunturu, Purnendu Sinha. apsec 2006: 19-26 [doi]

2005

A High Performance Packet Capturing Support for Alarm Management SystemsAmitava Biswas, Purnendu Sinha. pdcs 2005: 175-180

A Hardware Accelerator for Controlling Access to Multiple-Unit Resources in Safety/Time-Critical SystemsPhilippe Marchand, Purnendu Sinha. samos 2005: 279-288 [doi]

A novel approach for component-based fault-tolerant software developmentPurnendu Sinha, Anil Hanumantharaya. INFSOF, 47(6):365-382, 2005. [doi]

2003

2002

On the Use of Category Theory for Specification Composition of Dependable Distributed ProtocolsPurnendu Sinha, Da Qi Ren. pdcs 2002: 229-234

2001

On Simplifying Modular Specification and Verification of Distributed ProtocolsPurnendu Sinha, Neeraj Suri. hase 2001: 173-181

Modular Composition of Redundancy Management Protocols in Distributed Systems: An Outlook on Simplifying Protocol Level Formal Specification & VerificationPurnendu Sinha, Neeraj Suri. icdcs 2001: 255-263 [doi]

1999

Identification of Test Cases Using a Formal ApproachPurnendu Sinha, Neeraj Suri. ftcs 1999: 314-321 [doi]

On the Use of Formal Techniques for Analyzing Dependable Real-Time ProtocolsPurnendu Sinha, Neeraj Suri. rtss 1999: 126-135 [doi]

1998

On the Use of Formal Techniques for ValidationNeeraj Suri, Purnendu Sinha. ftcs 1998: 390-399

1996

Classification and overview of research in real-time imagingPurnendu Sinha, Sergey Gorinsky, Phillip A. Laplante, Alexander D. Stoyenko, Thomas J. Marlowe. jei, 5(4):466-478, 1996. [doi]

1995

A constraint function classification for complex systems developmentMatthew S. Harelick, Thomas J. Marlowe, Alexander D. Stoyenko, Purnendu Sinha. iceccs 1995: 286 [doi]