 | 2007 |
|---|
| 17 |       | Philippe Marchand,
Purnendu Sinha:
A hardware accelerator for controlling access to multiple-unit resources in safety/time-critical systems.
IJICT 1(1): 62-75 (2007) |
| 2006 |
|---|
| 16 | | 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 |
| 15 | | Amitava Biswas,
Purnendu Sinha:
On improving performance of Network Intrusion Detection Systems by efficient packet capturing.
NOMS 2006 |
| 2005 |
|---|
| 14 |  | Amitava Biswas,
Purnendu Sinha:
A High Performance Packet Capturing Support for Alarm Management Systems.
IASTED PDCS 2005: 175-180 |
| 13 | | Philippe Marchand,
Purnendu Sinha:
A Hardware Accelerator for Controlling Access to Multiple-Unit Resources in Safety/Time-Critical Systems.
SAMOS 2005: 279-288 |
| 12 | | Purnendu Sinha,
Anil Hanumantharaya:
A novel approach for component-based fault-tolerant software development.
Information & Software Technology 47(6): 365-382 (2005) |
| 2003 |
|---|
| 11 | | Vasudevan Janarthanan,
Purnendu Sinha:
Modular Composition and Verification of Transaction Processing Protocols.
ICDCS 2003: 450- |
| 10 | | Ashish Tiwari,
Purnendu Sinha,
Umabharathi Ramachandran:
On the Run-time Verification of Autonomy Software.
SEW 2003: 58 |
| 9 | | Purnendu Sinha,
Da Qi Ren:
Formal verification of dependable distributed protocols.
Information & Software Technology 45(12): 873-888 (2003) |
| 8 | | 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) |
| 2002 |
|---|
| 7 | | Purnendu Sinha,
Da Qi Ren:
On the Use of Category Theory for Specification Composition of Dependable Distributed Protocols.
IASTED PDCS 2002: 229-234 |
| 2001 |
|---|
| 6 | | Purnendu Sinha,
Neeraj Suri:
On Simplifying Modular Specification and Verification of Distributed Protocols.
HASE 2001: 173-181 |
| 5 | | 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 |
|---|
| 4 | | Purnendu Sinha,
Neeraj Suri:
Identification of Test Cases Using a Formal Approach.
FTCS 1999: 314-321 |
| 3 | | Purnendu Sinha,
Neeraj Suri:
On the Use of Formal Techniques for Analyzing Dependable Real-Time Protocols.
IEEE Real-Time Systems Symposium 1999: 126-135 |
| 1998 |
|---|
| 2 | | Neeraj Suri,
Purnendu Sinha:
On the Use of Formal Techniques for Validation.
FTCS 1998: 390-399 |
| 1995 |
|---|
| 1 | | Matthew S. Harelick,
Thomas J. Marlowe,
Alexander D. Stoyenko,
Purnendu Sinha:
A constraint function classification for complex systems development.
ICECCS 1995: 286- |
