Purnendu Sinha

30 papers A 4B 3C 3Misc 2Journal 8Unranked 10
YearRankTypeTitle / Venue / Authors
2013 Misc conf
An Efficient Method for Synchronizing Clocks of Networked ECUs in Automotive Systems.
ICDCIT
Kumar Padmanabh, Amit Gupta, Purnendu Sinha
2013 — conf
Dynamic task-level reconfiguration in automotive software architectures.
ISEC
Purnendu Sinha
2013 Misc conf
Prediction Schemes for Compensating Variable Delay for Improving Performance of Real-Time Control Tasks.
VLSI Design
Saptarshi Roy, Amit Patra, Partha Pratim Chakrabarti, Purnendu Sinha, Dipankar Das
2012 — conf
Finding Critical Components in Embedded Control Systems Sensitive to Quality-Faults.
ISED
Vishal Shrivastav, Satya Gautam Vadlamudi, P. P. Chakrabarti, Dipankar Das, Purnendu Sinha
2011 A conf
A framework for early stage quality-fault tolerance analysis of embedded control systems.
DSN
Satya Gautam Vadlamudi, P. P. Chakrabarti, Dipankar Das, Purnendu Sinha
2011 J jnl
Architectural design and reliability analysis of a fail-operational brake-by-wire system from ISO 26262 perspectives.
Reliab. Eng. Syst. Saf.
Purnendu Sinha
2011 — conf
Robust embedded software design through early analysis of quality faults.
ISEC
Dipankar Das, P. P. Chakrabarti, Purnendu Sinha
2010 J jnl
A Pre-Injection Analysis for Identifying Fault-Injection Tests for Protocol Validation.
J. Softw.
Neeraj Suri, Purnendu Sinha
2007 J jnl
A hardware accelerator for controlling access to multiple-unit resources in safety/time-critical systems.
Int. J. Inf. Commun. Technol.
Philippe Marchand, Purnendu Sinha
2007 B conf
Intelligent and learning-based approaches for health monitoring and fault diagnosis of RADARSAT-1 attitude control system.
SMC
A. M. Joshi, Victor Gavriloiu, Amitabh Barua, A. Garabedian, Purnendu Sinha, Khashayar Khorasani
2006 C conf
An Approach Based on Modeling Dynamic Behavior of the System to Assess the Impact of COTS Upgrades.
APSEC
Anjaneyulu Pasala, Srinivasa Rao, Srinivas Gunturu, Purnendu Sinha
2006 B conf
On improving performance of Network Intrusion Detection Systems by efficient packet capturing.
NOMS
Amitava Biswas, Purnendu Sinha
2005 — conf
A Hardware Accelerator for Controlling Access to Multiple-Unit Resources in Safety/Time-Critical Systems.
SAMOS
Philippe Marchand, Purnendu Sinha
2005 — conf
A High Performance Packet Capturing Support for Alarm Management Systems.
IASTED PDCS
Amitava Biswas, Purnendu Sinha
2005 J jnl
A novel approach for component-based fault-tolerant software development.
Inf. Softw. Technol.
Purnendu Sinha, Anil Hanumantharaya
2005 C conf
A novel fault-tree approach for identifying potential causes of satellite reaction wheel failure.
CCA
Amitabh Barua, Purnendu Sinha, Khashayar Khorasani, Siamak Tafazoli
2003 J jnl
A component-based design and compositional verification of a fault-tolerant multimedia communication protocol.
Real Time Imaging
Anil Hanumantharaya, Purnendu Sinha, Anjali Agarwal
2003 — conf
A component-based design of a fault-tolerant multimedia communication protocol.
ISMSE
Anil Hanumantharaya, Purnendu Sinha, Anjali Agarwal
2003 J jnl
Formal verification of dependable distributed protocols.
Inf. Softw. Technol.
Purnendu Sinha, Da Qi Ren
2003 A conf
Modular Composition and Verification of Transaction Processing Protocols.
ICDCS
Vasudevan Janarthanan, Purnendu Sinha
2003 C conf
On the Run-time Verification of Autonomy Software.
SEW
Ashish Tiwari, Purnendu Sinha, Umabharathi Ramachandran
2002 — conf
On the Use of Category Theory for Specification Composition of Dependable Distributed Protocols.
IASTED PDCS
Purnendu Sinha, Da Qi Ren
2001 A conf
Modular Composition of Redundancy Management Protocols in Distributed Systems: An Outlook on Simplifying Protocol Level Formal Specification & Verification.
ICDCS
Purnendu Sinha, Neeraj Suri
2001 — conf
On Simplifying Modular Specification and Verification of Distributed Protocols.
HASE
Purnendu Sinha, Neeraj Suri
1999 — conf
Identification of Test Cases Using a Formal Approach.
FTCS
Purnendu Sinha, Neeraj Suri
1999 A conf
On the Use of Formal Techniques for Analyzing Dependable Real-Time Protocols.
RTSS
Purnendu Sinha, Neeraj Suri
1998 — conf
On the Use of Formal Techniques for Validation.
FTCS
Neeraj Suri, Purnendu Sinha
1997 J jnl
Design and analysis of fuzzy morphological algorithms for image processing.
IEEE Trans. Fuzzy Syst.
Divyendu Sinha, Purnendu Sinha, Edward R. Dougherty, Sinan Batman
1996 J jnl
Classification and overview of research in real-time imaging.
J. Electronic Imaging
Purnendu Sinha, Sergey Gorinsky, Phillip A. Laplante, Alexander D. Stoyenko, Thomas J. Marlowe
1995 B conf
A constraint function classification for complex systems development.
ICECCS
Matthew S. Harelick, Thomas J. Marlowe, Alexander D. Stoyenko, Purnendu Sinha