![](https://dblp.dagstuhl.de/img/logo.ua.320x120.png)
![](https://dblp.dagstuhl.de/img/dropdown.dark.16x16.png)
![](https://dblp.dagstuhl.de/img/peace.dark.16x16.png)
Остановите войну!
for scientists:
![search dblp search dblp](https://dblp.dagstuhl.de/img/search.dark.16x16.png)
![search dblp](https://dblp.dagstuhl.de/img/search.dark.16x16.png)
default search action
Purnendu Sinha
Person information
Refine list
![note](https://dblp.dagstuhl.de/img/note-mark.dark.12x12.png)
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
Journal Articles
- 2011
- [j8]Purnendu Sinha:
Architectural design and reliability analysis of a fail-operational brake-by-wire system from ISO 26262 perspectives. Reliab. Eng. Syst. Saf. 96(10): 1349-1359 (2011) - 2010
- [j7]Neeraj Suri
, Purnendu Sinha:
A Pre-Injection Analysis for Identifying Fault-Injection Tests for Protocol Validation. J. Softw. 5(10): 1144-1161 (2010) - 2007
- [j6]Philippe Marchand, Purnendu Sinha:
A hardware accelerator for controlling access to multiple-unit resources in safety/time-critical systems. Int. J. Inf. Commun. Technol. 1(1): 62-75 (2007) - 2005
- [j5]Purnendu Sinha, Anil Hanumantharaya:
A novel approach for component-based fault-tolerant software development. Inf. Softw. Technol. 47(6): 365-382 (2005) - 2003
- [j4]Purnendu Sinha, Da Qi Ren:
Formal verification of dependable distributed protocols. Inf. Softw. Technol. 45(12): 873-888 (2003) - [j3]Anil Hanumantharaya, Purnendu Sinha, Anjali Agarwal:
A component-based design and compositional verification of a fault-tolerant multimedia communication protocol. Real Time Imaging 9(6): 401-422 (2003) - 1997
- [j2]Divyendu Sinha, Purnendu Sinha, Edward R. Dougherty, Sinan Batman:
Design and analysis of fuzzy morphological algorithms for image processing. IEEE Trans. Fuzzy Syst. 5(4): 570-584 (1997) - 1996
- [j1]Purnendu Sinha, Sergey Gorinsky
, Phillip A. Laplante, Alexander D. Stoyenko, Thomas J. Marlowe:
Classification and overview of research in real-time imaging. J. Electronic Imaging 5(4): 466-478 (1996)
Conference and Workshop Papers
- 2013
- [c21]Kumar Padmanabh, Amit Gupta, Purnendu Sinha:
An Efficient Method for Synchronizing Clocks of Networked ECUs in Automotive Systems. ICDCIT 2013: 386-397 - [c20]Purnendu Sinha:
Dynamic task-level reconfiguration in automotive software architectures. ISEC 2013: 35-44 - [c19]Saptarshi Roy, Amit Patra, Partha Pratim Chakrabarti, Purnendu Sinha, Dipankar Das:
Prediction Schemes for Compensating Variable Delay for Improving Performance of Real-Time Control Tasks. VLSI Design 2013: 19-24 - 2012
- [c18]Vishal Shrivastav, Satya Gautam Vadlamudi, P. P. Chakrabarti, Dipankar Das, Purnendu Sinha:
Finding Critical Components in Embedded Control Systems Sensitive to Quality-Faults. ISED 2012: 167-171 - 2011
- [c17]Satya Gautam Vadlamudi, P. P. Chakrabarti, Dipankar Das, Purnendu Sinha:
A framework for early stage quality-fault tolerance analysis of embedded control systems. DSN 2011: 315-322 - [c16]Dipankar Das, P. P. Chakrabarti, Purnendu Sinha:
Robust embedded software design through early analysis of quality faults. ISEC 2011: 31-40 - 2007
- [c15]A. Joshi, V. Gavriloiu, Amitabh Barua, A. Garabedian, Purnendu Sinha, Khashayar Khorasani:
Intelligent and learning-based approaches for health monitoring and fault diagnosis of RADARSAT-1 attitude control system. SMC 2007: 3177-3183 - 2006
- [c14]Anjaneyulu Pasala
, Srinivasa Rao, Srinivas Gunturu, Purnendu Sinha:
An Approach Based on Modeling Dynamic Behavior of the System to Assess the Impact of COTS Upgrades. APSEC 2006: 19-26 - [c13]Amitava Biswas, Purnendu Sinha:
On improving performance of Network Intrusion Detection Systems by efficient packet capturing. NOMS 2006 - 2005
- [c12]Amitava Biswas, Purnendu Sinha:
A High Performance Packet Capturing Support for Alarm Management Systems. IASTED PDCS 2005: 175-180 - [c11]Philippe Marchand, Purnendu Sinha:
A Hardware Accelerator for Controlling Access to Multiple-Unit Resources in Safety/Time-Critical Systems. SAMOS 2005: 279-288 - 2003
- [c10]Vasudevan Janarthanan, Purnendu Sinha:
Modular Composition and Verification of Transaction Processing Protocols. ICDCS 2003: 450- - [c9]Anil Hanumantharaya, Purnendu Sinha, Anjali Agarwal:
A component-based design of a fault-tolerant multimedia communication protocol. ISMSE 2003: 164-171 - [c8]Ashish Tiwari, Purnendu Sinha, Umabharathi Ramachandran:
On the Run-time Verification of Autonomy Software. SEW 2003: 58 - 2002
- [c7]Purnendu Sinha, Da Qi Ren:
On the Use of Category Theory for Specification Composition of Dependable Distributed Protocols. IASTED PDCS 2002: 229-234 - 2001
- [c6]Purnendu Sinha, Neeraj Suri
:
On Simplifying Modular Specification and Verification of Distributed Protocols. HASE 2001: 173-181 - [c5]Purnendu Sinha, Neeraj Suri:
Modular Composition of Redundancy Management Protocols in Distributed Systems: An Outlook on Simplifying Protocol Level Formal Specification & Verification. ICDCS 2001: 255-263 - 1999
- [c4]Purnendu Sinha, Neeraj Suri:
Identification of Test Cases Using a Formal Approach. FTCS 1999: 314-321 - [c3]Purnendu Sinha, Neeraj Suri
:
On the Use of Formal Techniques for Analyzing Dependable Real-Time Protocols. RTSS 1999: 126-135 - 1998
- [c2]Neeraj Suri
, Purnendu Sinha:
On the Use of Formal Techniques for Validation. FTCS 1998: 390-399 - 1995
- [c1]Matthew S. Harelick, Thomas J. Marlowe, Alexander D. Stoyenko, Purnendu Sinha:
A constraint function classification for complex systems development. ICECCS 1995: 286-
Coauthor Index
![](https://dblp.dagstuhl.de/img/cog.dark.24x24.png)
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from ,
, and
to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and
to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from .
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2024-04-25 05:59 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint