Search the dblp DataBase

Publications of Author

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