Purnendu Sinha

According to our database, Purnendu Sinha authored at least 28 papers between 1995 and 2013.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

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

Proceedings of the 26th International Conference on VLSI Design and 12th International Conference on Embedded Systems, 2013

Dynamic task-level reconfiguration in automotive software architectures.

Purnendu Sinha

Proceedings of the 6th India Software Engineering Conference, 2013

An Efficient Method for Synchronizing Clocks of Networked ECUs in Automotive Systems.

Kumar Padmanabh, Amit Gupta, Purnendu Sinha

Proceedings of the Distributed Computing and Internet Technology, 2013

2012

Finding Critical Components in Embedded Control Systems Sensitive to Quality-Faults.

Vishal Shrivastav, Satya Gautam Vadlamudi, P. P. Chakrabarti, Dipankar Das, Purnendu Sinha

Proceedings of the International Symposium on Electronic System Design, 2012

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

Robust embedded software design through early analysis of quality faults.

Dipankar Das, P. P. Chakrabarti, Purnendu Sinha

Proceedings of the Proceeding of the 4th Annual India Software Engineering Conference, 2011

A framework for early stage quality-fault tolerance analysis of embedded control systems.

Satya Gautam Vadlamudi, P. P. Chakrabarti, Dipankar Das, Purnendu Sinha

Proceedings of the 2011 IEEE/IFIP International Conference on Dependable Systems and Networks, 2011

2010

A Pre-Injection Analysis for Identifying Fault-Injection Tests for Protocol Validation.

Neeraj Suri, Purnendu Sinha

J. Softw., 2010

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

Intelligent and learning-based approaches for health monitoring and fault diagnosis of RADARSAT-1 attitude control system.

A. Joshi, V. Gavriloiu, Amitabh Barua, A. Garabedian, Purnendu Sinha, Khashayar Khorasani

Proceedings of the IEEE International Conference on Systems, 2007

2006

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

Amitava Biswas, Purnendu Sinha

Proceedings of the Management of Integrated End-to-End Communications and Services, 2006

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

Proceedings of the 13th Asia-Pacific Software Engineering Conference (APSEC 2006), 2006

2005

A novel approach for component-based fault-tolerant software development.

Purnendu Sinha, Anil Hanumantharaya

Inf. Softw. Technol., 2005

A High Performance Packet Capturing Support for Alarm Management Systems.

Amitava Biswas, Purnendu Sinha

Proceedings of the International Conference on Parallel and Distributed Computing Systems, 2005

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

Formal verification of dependable distributed protocols.

Purnendu Sinha, Da Qi Ren

Inf. Softw. Technol., 2003

On the Run-time Verification of Autonomy Software.

Ashish Tiwari, Purnendu Sinha, Umabharathi Ramachandran

Proceedings of the 28th Annual IEEE / NASA Software Engineering Workshop (SEW-28 2003), 2003

A component-based design of a fault-tolerant multimedia communication protocol.

Anil Hanumantharaya, Purnendu Sinha, Anjali Agarwal

Proceedings of the Fifth International Symposium on Multimedia Software Engineering, 2003

Modular Composition and Verification of Transaction Processing Protocols.

Vasudevan Janarthanan, Purnendu Sinha

Proceedings of the 23rd International Conference on Distributed Computing Systems (ICDCS 2003), 2003

2002

On the Use of Category Theory for Specification Composition of Dependable Distributed Protocols.

Purnendu Sinha, Da Qi Ren

Proceedings of the International Conference on Parallel and Distributed Computing Systems, 2002

2001

Modular Composition of Redundancy Management Protocols in Distributed Systems: An Outlook on Simplifying Protocol Level Formal Specification & Verification.

Purnendu Sinha, Neeraj Suri

Proceedings of the 21st International Conference on Distributed Computing Systems (ICDCS 2001), 2001

On Simplifying Modular Specification and Verification of Distributed Protocols.

Purnendu Sinha, Neeraj Suri

Proceedings of the 6th IEEE International Symposium on High-Assurance Systems Engineering (HASE 2001), 2001

1999

On the Use of Formal Techniques for Analyzing Dependable Real-Time Protocols.

Purnendu Sinha, Neeraj Suri

Proceedings of the 20th IEEE Real-Time Systems Symposium, 1999

Identification of Test Cases Using a Formal Approach.

Purnendu Sinha, Neeraj Suri

Proceedings of the Digest of Papers: FTCS-29, 1999

1998

On the Use of Formal Techniques for Validation.

Neeraj Suri, Purnendu Sinha

Proceedings of the Digest of Papers: FTCS-28, 1998

1997

Design and analysis of fuzzy morphological algorithms for image processing.

Divyendu Sinha, Purnendu Sinha, Edward R. Dougherty, Sinan Batman

IEEE Trans. Fuzzy Syst., 1997

1996

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

1995

A constraint function classification for complex systems development.

Matthew S. Harelick, Thomas J. Marlowe, Alexander D. Stoyenko, Purnendu Sinha

Proceedings of the 1st IEEE International Conference on Engineering of Complex Computer Systems (ICECCS '95), 1995