Suman Roy

	2009
18		Faisal Karjikar, Suman Roy, Srinivas Padmanabhuni: Intelligent business knowledge management using topic maps. Bangalore Compute Conf. 2009: 8
17		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		Janardan Misra, Suman Roy: Techniques for Distributed Reachability Analysis with Partial Order and Symmetry based Reductions CoRR abs/0901.0179: (2009)
	2007
15		Indranil Saha, Janardan Misra, Suman Roy: Timeout and Calendar Based Finite State Modeling and Verification of Real-Time Systems. ATVA 2007: 284-299
14		Dungara Ram Choudhary, Dev Anshul, Suman Roy, Chandrashekhara Thejaswi: Computationally and Resource Efficient Group Key Agreement for Ad Hoc Sensor Networks. COMSWARE 2007
13		Indranil Saha, Suman Roy: A Finite State Analysis of Time-Triggered CAN (TTCAN) Protocol Using Spin. ICCTA 2007: 77-81
12		Indranil Saha, Suman Roy, Kuntal Chakraborty: Modeling and Verification of TTCAN Startup Protocol Using Synchronous Calendar. SEFM 2007: 69-79
11		Suman Roy, Guido Sciavicco: Reasoning with 'And Then' and 'While'. TIME 2007: 181-188
	2006
10		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		Indranil Saha, Suman Roy: A Finite State Modeling of AFDX Frame Management Using Spin. FMICS/PDMC 2006: 227-243
	2005
7		Debapriyay Mukhopadhyay, Suman Roy: A Game Based Model of Security for Key Predistribution Schemes in Wireless Sensor Network. ICDCIT 2005: 334-347
6		Dev Anshul, Suman Roy: A ZKP-based identification scheme for base nodes in wireless sensor networks. SAC 2005: 319-323
	2004
5		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		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

Coauthor Index

1	Dev Anshul	[6] [14]
2	Rana Barua	[3] [4]
3	Bhaskar Chakraborty	[10]
4	Kuntal Chakraborty	[12] [17]
5	Vijay Chandru (Vijaya Chandru)	[1] [2]
6	Dungara Ram Choudhary	[14]
7	Faisal Karjikar	[18]
8	Venkatappaiah Kurapati	[17]
9	Janardan Misra	[15] [16]
10	Debapriyay Mukhopadhyay	[7] [9]
11	Srinivas Padmanabhuni	[18]
12	B. VishnuVardhan Reddy	[17]
13	Indranil Saha	[8] [12] [13] [15] [17]
14	Guido Sciavicco	[11]
15	Vishesh Sharma	[17]
16	Ramesh Subrahmanyam	[1] [2]
17	Chandrashekhara Thejaswi	[9] [14]
18	Chaochen Zhou (Zhou Chaochen)	[3] [4]

Colors in the list of coauthors