| 2009 |
|---|
| 18 | EE | Faisal Karjikar,
Suman Roy,
Srinivas Padmanabhuni:
Intelligent business knowledge management using topic maps.
Bangalore Compute Conf. 2009: 8 |
| 17 | EE | 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 |
| 16 | EE | Janardan Misra,
Suman Roy:
Techniques for Distributed Reachability Analysis with Partial Order and Symmetry based Reductions
CoRR abs/0901.0179: (2009) |
| 2007 |
|---|
| 15 | EE | Indranil Saha,
Janardan Misra,
Suman Roy:
Timeout and Calendar Based Finite State Modeling and Verification of Real-Time Systems.
ATVA 2007: 284-299 |
| 14 | EE | Dungara Ram Choudhary,
Dev Anshul,
Suman Roy,
Chandrashekhara Thejaswi:
Computationally and Resource Efficient Group Key Agreement for Ad Hoc Sensor Networks.
COMSWARE 2007 |
| 13 | EE | Indranil Saha,
Suman Roy:
A Finite State Analysis of Time-Triggered CAN (TTCAN) Protocol Using Spin.
ICCTA 2007: 77-81 |
| 12 | EE | Indranil Saha,
Suman Roy,
Kuntal Chakraborty:
Modeling and Verification of TTCAN Startup Protocol Using Synchronous Calendar.
SEFM 2007: 69-79 |
| 11 | EE | Suman Roy,
Guido Sciavicco:
Reasoning with 'And Then' and 'While'.
TIME 2007: 181-188 |
| 2006 |
|---|
| 10 | EE | Suman Roy,
Bhaskar Chakraborty:
A Finite Union of DFAs in Symbolic Model Checking of Infinite Systems.
CIAA 2006: 277-278 |
| 9 | | Suman Roy,
Debapriyay Mukhopadhyay,
Chandrashekhara Thejaswi:
A Sensor network design from a probabilistic automaton model of impersonation attack.
COMSWARE 2006 |
| 8 | EE | Indranil Saha,
Suman Roy:
A Finite State Modeling of AFDX Frame Management Using Spin.
FMICS/PDMC 2006: 227-243 |
| 2005 |
|---|
| 7 | EE | Debapriyay Mukhopadhyay,
Suman Roy:
A Game Based Model of Security for Key Predistribution Schemes in Wireless Sensor Network.
ICDCIT 2005: 334-347 |
| 6 | EE | Dev Anshul,
Suman Roy:
A ZKP-based identification scheme for base nodes in wireless sensor networks.
SAC 2005: 319-323 |
| 2004 |
|---|
| 5 | EE | Suman Roy:
Symbolic Verification of Infinite Systems using a Finite Union of DFAs.
SEFM 2004: 56-66 |
| 2000 |
|---|
| 4 | | Rana Barua,
Suman Roy,
Chaochen Zhou:
Completeness of neighbourhood logic.
J. Log. Comput. 10(2): 271-295 (2000) |
| 1999 |
|---|
| 3 | EE | Rana Barua,
Suman Roy,
Zhou Chaochen:
Completeness of Neighbourhood Logic.
STACS 1999: 521-530 |
| 1998 |
|---|
| 2 | | Vijay Chandru,
Suman Roy,
Ramesh Subrahmanyam:
Negation as Failure as Resolution.
Constraints 3(4): 315-329 (1998) |
| 1996 |
|---|
| 1 | | Vijay Chandru,
Suman Roy,
Ramesh Subrahmanyam:
Constructive Negation in Definite Constraint Logic Programs.
ASIAN 1996: 335-336 |
