Anindya Das

2003
24	EE	T. Ramalingom, Krishnaiyan Thulasiraman, Anindya Das: Context independent unique state identification sequences for testing communication protocols modelled as extended finite state machines. Computer Communications 26(14): 1622-1633 (2003)
2000
23	EE	T. Ramalingom, Krishnaiyan Thulasiraman, Anindya Das: A Matroid-Theoretic Solution to an Assignment Problem in the Conformance Testing of Communication Protocols. IEEE Trans. Computers 49(4): 317-330 (2000)
1999
22	EE	Krishnaiyan Thulasiraman, Anindya Das, Kaiyuan Huang, Vinod K. Agarwal: Correct diagnosis of almost all faulty units in a multiprocessor system. ISCAS (6) 1999: 161-164
1998
21	EE	Krishnaiyan Thulasiraman, Anindya Das, Kaiyuan Huang, Vinod K. Agarwal: Correct Diagnosis of Almost All Faulty Units in a Multiprocessor System. Journal of Circuits, Systems, and Computers 8(4): 473-481 (1998)
1996
20		T. Ramalingom, Krishnaiyan Thulasiraman, Anindya Das: Context Independent Unique Sequences Generation for Protocol Testing. INFOCOM 1996: 1141-1148
19	EE	T. Ramalingam, Anindya Das, Krishnaiyan Thulasiraman: Corrigendum to 'fault detection and diagnosis capabilities of test sequence selection methods based on the FSM model' : [Computer Comm. 18(1995) 113]. Computer Communications 19(2): 160 (1996)
1995
18		T. Ramalingam, Anindya Das, Krishnaiyan Thulasiraman: Fault Detection and Diagnosis Capabilities of Test Sequence Selection Methods Based on the FSM Model. Computer Communications 18(2): 113-122 (1995)
17		T. Ramalingam, Anindya Das, Krishnaiyan Thulasiraman: On Testing and Diagnosis of Communication Protocols Based on the FSM Model. Computer Communications 18(5): 329-337 (1995)
1994
16		J. William Atwood, Jean-Marc Jézéquel, Anindya Das, M'Hamed Nour: Addressing and Routing in Heterogeneous Data Networks. HPN 1994: 95-105
15	EE	Gang Luo, Anindya Das, Gregor von Bochmann: Software Testing Based on SDL Specifications with Save. IEEE Trans. Software Eng. 20(1): 72-87 (1994)
14		Anindya Das, Krishnaiyan Thulasiraman, Vinod K. Agarwal: Diagnosis of t/(t+1)-Diagnosable Systems. SIAM J. Comput. 23(5): 895-905 (1994)
1993
13		Gregor von Bochmann, Rachida Dssouli, Anindya Das: Protocol Test Systems, V, Proceedings of the IFIP TC6/WG6.1 Fifth International Workshop on Protocol Test Systems, Montreal, Quebec, Canada, 28-30 September, 1992 North-Holland 1993
12		Mahamat Guiagoussou, Anindya Das, Gregor von Bochmann: An Overview of Fault Management in Telecommunication Networks. Advanced Information Processing Techniques for LAN and MAN Management 1993: 69-85
11		D. Desbiens, Gregor von Bochmann, Anindya Das, Joumana Dargham: Modeling and Formal Specification of the Personal Communication Service. INFOCOM 1993: 756-765
10		Alexandre Petrenko, Nina Yevtushenko, Alexandre Lebedev, Anindya Das: Nondeterministic State Machines in Protocol Conformance Testing. Protocol Test Systems 1993: 363-378
9		Gang Luo, Anindya Das, Gregor von Bochmann: Generating Tests for Control Portion of SDL Specifications. Protocol Test Systems 1993: 51-66
8		Anindya Das, Krishnaiyan Thulasiraman, Vinod K. Agarwal, K. B. Lakshmanan: Multiprocessor Fault Diagnosis Under Local Constraints. IEEE Trans. Computers 42(8): 984-988 (1993)
7		Anindya Das, Krishnaiyan Thulasiraman, K. B. Lakshmanan, Vinod K. Agarwal: Distributed Fault diagnosis of a Ring of Processors. Parallel Processing Letters 3: 195-204 (1993)
1992
6		T. Ramalingam, Anindya Das, Krishnaiyan Thulasiraman: On Conformance Test and Fault Resolution of Protocols based on FSM Model. NETWORKS 1992: 211-222
5		Gang Luo, Gregor von Bochmann, Anindya Das, Cheng Wu: Failure-Equivalent Transformation of Transition Systems to Avoid Internal Actions. Inf. Process. Lett. 44(6): 333-343 (1992)
1991
4		Gregor von Bochmann, Anindya Das, Rachida Dssouli, Martin Dubuc, Abderrazak Ghedamsi, Gang Luo: Fault Models in Testing. Protocol Test Systems 1991: 17-30
1990
3		Anindya Das, Krishnaiyan Thulasiraman: Diagnosis of t/s-Diagnosable Systems. WG 1990: 193-205
1989
2		Anindya Das, Krishnaiyan Thulasiraman, Vinod K. Agarwal, K. B. Lakshmanan: t/s-Diagnosable Systems: A Characterization and Diagnosis Algorithm. WG 1989: 34-45
1985
1	EE	Kamala Krithivasan, Anindya Das: Terminal weighted grammars and picture description. Computer Vision, Graphics, and Image Processing 30(1): 13-31 (1985)

Coauthor Index

1	Vinod K. Agarwal	[2] [7] [8] [14] [21] [22]
2	J. William Atwood	[16]
3	Gregor von Bochmann	[4] [5] [9] [11] [12] [13] [15]
4	Joumana Dargham	[11]
5	D. Desbiens	[11]
6	Rachida Dssouli	[4] [13]
7	Martin Dubuc	[4]
8	Abderrazak Ghedamsi	[4]
9	Mahamat Guiagoussou	[12]
10	Kaiyuan Huang	[21] [22]
11	Jean-Marc Jézéquel	[16]
12	Kamala Krithivasan	[1]
13	K. B. Lakshmanan (Kadathur B. Lakshmanan)	[2] [7] [8]
14	Alexandre Lebedev	[10]
15	Gang Luo	[4] [5] [9] [15]
16	M'Hamed Nour	[16]
17	Alexandre Petrenko	[10]
18	T. Ramalingam	[6] [17] [18] [19]
19	T. Ramalingom	[20] [23] [24]
20	Krishnaiyan Thulasiraman	[2] [3] [6] [7] [8] [14] [17] [18] [19] [20] [21] [22] [23] [24]
21	Cheng Wu	[5]
22	Nina Yevtushenko	[10]

Colors in the list of coauthors