DBLP: Suman Roy

	2012
c21		Suman Roy, Sidharth Bihary, Jose Alfonso Corso Laos: A CSP-theoretic Framework of Checking Conformance of Business Processes. APSEC 2012: 30-39
c20		Suman Roy, Sidharth Bihary, Jose Alfonso Corso Laos: A Conformance Checker Tool CSPConCheck. ICTAC 2012: 159-163
c19		Sidharth Bihary, Jagadish Koneti, Suman Roy: Process conformance using CSP. ISEC 2012: 139-142
c18		Suman Roy, Wlodek Drabent: Formalizing Business Process Using Hybrid Programs. OWLED 2012
	2011
c17		Alberto Bastias, Sidharth Bihary, Suman Roy: An Automated Analysis of Errors for BPM Processes Modeled Using an In-house Infosys Tool. APSEC 2011: 97-105
c16		Damien Lacoste, Kiran Prakash Sawant, Suman Roy: An efficient XML to OWL converter. ISEC 2011: 145-154
	2010
j3		Suman Roy: A duration calculus with neighborhood modalities. Journal of Applied Non-Classical Logics 20(1-2): 81-126 (2010)
i3		Indranil Saha, Janardan Misra, Suman Roy: A Simplification of a Real-Time Verification Problem. CoRR abs/1008.1417 (2010)
i2		Janardan Misra, Suman Roy: A Decidable Timeout based Extension of Propositional Linear Temporal Logic. CoRR abs/1012.3704 (2010)
	2009
c15		Faisal Karjikar, Suman Roy, Srinivas Padmanabhuni: Intelligent business knowledge management using topic maps. Bangalore Compute Conf. 2009: 8
c14		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
i1		Janardan Misra, Suman Roy: Techniques for Distributed Reachability Analysis with Partial Order and Symmetry based Reductions. CoRR abs/0901.0179 (2009)
	2007
c13		Indranil Saha, Janardan Misra, Suman Roy: Timeout and Calendar Based Finite State Modeling and Verification of Real-Time Systems. ATVA 2007: 284-299
c12		Dungara Ram Choudhary, Dev Anshul, Suman Roy, Chandrashekhar Thejaswi P. S.: Computationally and Resource Efficient Group Key Agreement for Ad Hoc Sensor Networks. COMSWARE 2007
c11		Indranil Saha, Suman Roy: A Finite State Analysis of Time-Triggered CAN (TTCAN) Protocol Using Spin. ICCTA 2007: 77-81
c10		Indranil Saha, Suman Roy, Kuntal Chakraborty: Modeling and Verification of TTCAN Startup Protocol Using Synchronous Calendar. SEFM 2007: 69-79
c9		Suman Roy, Guido Sciavicco: Reasoning with 'And Then' and 'While'. TIME 2007: 181-188
	2006
c8		Suman Roy, Debapriyay Mukhopadhyay, Chandrashekhar Thejaswi P. S.: A Sensor network design from a probabilistic automaton model of impersonation attack. COMSWARE 2006
c7		Indranil Saha, Suman Roy: A Finite State Modeling of AFDX Frame Management Using Spin. FMICS/PDMC 2006: 227-243
c6		Suman Roy, Bhaskar Chakraborty: A Finite Union of DFAs in Symbolic Model Checking of Infinite Systems. CIAA 2006: 277-278
	2005
c5		Debapriyay Mukhopadhyay, Suman Roy: A Game Based Model of Security for Key Predistribution Schemes in Wireless Sensor Network. ICDCIT 2005: 334-347
c4		Dev Anshul, Suman Roy: A ZKP-based identification scheme for base nodes in wireless sensor networks. SAC 2005: 319-323
	2004
c3		Suman Roy: Symbolic Verification of Infinite Systems using a Finite Union of DFAs. SEFM 2004: 56-66
	2000
j2		Rana Barua, Suman Roy, Chaochen Zhou: Completeness of neighbourhood logic. J. Log. Comput. 10(2): 271-295 (2000)
	1999
c2		Rana Barua, Suman Roy, Zhou Chaochen: Completeness of Neighbourhood Logic. STACS 1999: 521-530
	1998
j1		Vijay Chandru, Suman Roy, Ramesh Subrahmanyam: Negation as Failure as Resolution. Constraints 3(4): 315-329 (1998)
	1996
c1		Vijay Chandru, Suman Roy, Ramesh Subrahmanyam: Constructive Negation in Definite Constraint Logic Programs. ASIAN 1996: 335-336

2012

c21

Suman Roy, Sidharth Bihary, Jose Alfonso Corso Laos: A CSP-theoretic Framework of Checking Conformance of Business Processes. APSEC 2012: 30-39

c20

Suman Roy, Sidharth Bihary, Jose Alfonso Corso Laos: A Conformance Checker Tool CSPConCheck. ICTAC 2012: 159-163

c19

Sidharth Bihary, Jagadish Koneti, Suman Roy: Process conformance using CSP. ISEC 2012: 139-142

c18

Suman Roy, Wlodek Drabent: Formalizing Business Process Using Hybrid Programs. OWLED 2012

2011

c17

Alberto Bastias, Sidharth Bihary, Suman Roy: An Automated Analysis of Errors for BPM Processes Modeled Using an In-house Infosys Tool. APSEC 2011: 97-105

c16

Damien Lacoste, Kiran Prakash Sawant, Suman Roy: An efficient XML to OWL converter. ISEC 2011: 145-154

2010

Suman Roy: A duration calculus with neighborhood modalities. Journal of Applied Non-Classical Logics 20(1-2): 81-126 (2010)

Indranil Saha, Janardan Misra, Suman Roy: A Simplification of a Real-Time Verification Problem. CoRR abs/1008.1417 (2010)

Janardan Misra, Suman Roy: A Decidable Timeout based Extension of Propositional Linear Temporal Logic. CoRR abs/1012.3704 (2010)

2009

c15

Faisal Karjikar, Suman Roy, Srinivas Padmanabhuni: Intelligent business knowledge management using topic maps. Bangalore Compute Conf. 2009: 8

c14

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

Janardan Misra, Suman Roy: Techniques for Distributed Reachability Analysis with Partial Order and Symmetry based Reductions. CoRR abs/0901.0179 (2009)

2007

c13

Indranil Saha, Janardan Misra, Suman Roy: Timeout and Calendar Based Finite State Modeling and Verification of Real-Time Systems. ATVA 2007: 284-299

c12

Dungara Ram Choudhary, Dev Anshul, Suman Roy, Chandrashekhar Thejaswi P. S.: Computationally and Resource Efficient Group Key Agreement for Ad Hoc Sensor Networks. COMSWARE 2007

c11

Indranil Saha, Suman Roy: A Finite State Analysis of Time-Triggered CAN (TTCAN) Protocol Using Spin. ICCTA 2007: 77-81

c10

Indranil Saha, Suman Roy, Kuntal Chakraborty: Modeling and Verification of TTCAN Startup Protocol Using Synchronous Calendar. SEFM 2007: 69-79

Suman Roy, Guido Sciavicco: Reasoning with 'And Then' and 'While'. TIME 2007: 181-188

2006

Suman Roy, Debapriyay Mukhopadhyay, Chandrashekhar Thejaswi P. S.: A Sensor network design from a probabilistic automaton model of impersonation attack. COMSWARE 2006

Indranil Saha, Suman Roy: A Finite State Modeling of AFDX Frame Management Using Spin. FMICS/PDMC 2006: 227-243

Suman Roy, Bhaskar Chakraborty: A Finite Union of DFAs in Symbolic Model Checking of Infinite Systems. CIAA 2006: 277-278

2005

Debapriyay Mukhopadhyay, Suman Roy: A Game Based Model of Security for Key Predistribution Schemes in Wireless Sensor Network. ICDCIT 2005: 334-347

Dev Anshul, Suman Roy: A ZKP-based identification scheme for base nodes in wireless sensor networks. SAC 2005: 319-323

2004

Suman Roy: Symbolic Verification of Infinite Systems using a Finite Union of DFAs. SEFM 2004: 56-66

2000

Rana Barua, Suman Roy, Chaochen Zhou: Completeness of neighbourhood logic. J. Log. Comput. 10(2): 271-295 (2000)

1999

Rana Barua, Suman Roy, Zhou Chaochen: Completeness of Neighbourhood Logic. STACS 1999: 521-530

1998

Vijay Chandru, Suman Roy, Ramesh Subrahmanyam: Negation as Failure as Resolution. Constraints 3(4): 315-329 (1998)

1996

Vijay Chandru, Suman Roy, Ramesh Subrahmanyam: Constructive Negation in Definite Constraint Logic Programs. ASIAN 1996: 335-336

1	Dev Anshul	[c12] [c4]
2	Rana Barua	[j2] [c2]
3	Alberto Bastias	[c17]
4	Sidharth Bihary	[c21] [c20] [c19] [c17]
5	Bhaskar Chakraborty	[c6]
6	Kuntal Chakraborty	[c14] [c10]
7	Vijay Chandru (Vijaya Chandru)	[j1] [c1]
8	Dungara Ram Choudhary	[c12]
9	Wlodzimierz Drabent (Wlodek Drabent)	[c18]
10	Faisal Karjikar	[c15]
11	Jagadish Koneti	[c19]
12	Venkatappaiah Kurapati	[c14]
13	Damien Lacoste	[c16]
14	Jose Alfonso Corso Laos	[c21] [c20]
15	Janardan Misra	[i3] [i2] [i1] [c13]
16	Debapriyay Mukhopadhyay	[c8] [c5]
17	Srinivas Padmanabhuni	[c15]
18	B. VishnuVardhan Reddy	[c14]
19	Chandrashekhar Thejaswi P. S. (Chandrashekhara Thejaswi Pataguppe Suryanarayan Bha)	[c12] [c8]
20	Indranil Saha	[i3] [c14] [c13] [c11] [c10] [c7]
21	Kiran Prakash Sawant	[c16]
22	Guido Sciavicco	[c9]
23	Vishesh Sharma	[c14]
24	Ramesh Subrahmanyam	[j1] [c1]
25	Chaochen Zhou (Zhou Chaochen)	[j2] [c2]

Suman Roy

Coauthor Index