 | 2009 |
|---|
| 12 |       | Indranil Saha,
Debapriyay Mukhopadhyay:
Security against Sybil Attack in Wireless Sensor Network through Location Verification.
ICDCN 2009: 187-192 |
| 11 | | Indranil Saha,
Debapriyay Mukhopadhyay:
Quantitative Analysis of a Probabilistic Non-repudiation Protocol through Model Checking.
ICISS 2009: 292-300 |
| 10 | | Indranil Saha,
Kuntal Chakraborty,
Suman Roy,
B. VishnuVardhan Reddy,
Venkatappaiah Kurapati,
Vishesh Sharma:
An approach to reverse engineering of C programs to simulink models with conformance testing.
ISEC 2009: 137-138 |
| 2008 |
|---|
| 9 | | Indranil Saha,
Bhargab B. Bhattacharya,
Sheng Zhang,
Sharad C. Seth:
Planar Straight-Line Embedding of Double-Tree Scan Architecture on a Rectangular Grid.
Fundam. Inform. 89(2-3): 331-344 (2008) |
| 2007 |
|---|
| 8 | | Indranil Saha,
Janardan Misra,
Suman Roy:
Timeout and Calendar Based Finite State Modeling and Verification of Real-Time Systems.
ATVA 2007: 284-299 |
| 7 | | Indranil Saha,
Lokesh Kumar Sambasivan,
Ranjeet Kumar Patro,
Subhas Kumar Ghosh:
Distributed Fault-Tolerant Topology Control in Static and Mobile Wireless Sensor Networks.
COMSWARE 2007 |
| 6 | | Indranil Saha,
Suman Roy:
A Finite State Analysis of Time-Triggered CAN (TTCAN) Protocol Using Spin.
ICCTA 2007: 77-81 |
| 5 | | Indranil Saha,
Suman Roy,
Kuntal Chakraborty:
Modeling and Verification of TTCAN Startup Protocol Using Synchronous Calendar.
SEFM 2007: 69-79 |
| 4 | | Indranil Saha,
Debapriyay Mukhopadhyay:
A Distributed Algorithm of Fault Recovery for Stateful Failover.
TAMC 2007: 738-749 |
| 2006 |
|---|
| 3 | | Indranil Saha,
Suman Roy:
A Finite State Modeling of AFDX Frame Management Using Spin.
FMICS/PDMC 2006: 227-243 |
| 2 | | Debapriyay Mukhopadhyay,
Indranil Saha:
Location Verification Based Defense Against Sybil Attack in Sensor Networks.
ICDCN 2006: 509-521 |
| 1 | | Indranil Saha,
Debapriyay Mukhopadhyay,
Satyajit Banerjee:
Designing Reliable Architecture for Stateful Fault Tolerance.
PDCAT 2006: 545-551 |
