Anindya Das

Ifat Jahangir, Anindya Das, Masud Hasan: Formulation and Development of a Novel Quaternary Algebra. CoRR abs/1108.5497 (2011)

Anindya Das, Ifat Jahangir, Masud Hasan: On the Design and Analysis of Quaternary Serial and Parallel Adders. CoRR abs/1009.2622 (2010)

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)

Ming-Shan Su, Krishnaiyan Thulasiraman, Anindya Das: A scalable on-line multilevel distributed network fault detection/monitoring system based on the SNMP protocol. GLOBECOM 2002: 1960-1964

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)

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

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)

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)

T. Ramalingom, Krishnaiyan Thulasiraman, Anindya Das: Context Independent Unique Sequences Generation for Protocol Testing. INFOCOM 1996: 1141-1148

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)

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)

Anindya Das, Krishnaiyan Thulasiraman, Vinod K. Agarwal: Diagnosis of t/(t+1)-Diagnosable Systems. SIAM J. Comput. 23(5): 895-905 (1994)

Gang Luo, Anindya Das, Gregor von Bochmann: Software Testing Based on SDL Specifications with Save. IEEE Trans. Software Eng. 20(1): 72-87 (1994)

J. William Atwood, Jean-Marc Jézéquel, Anindya Das, M'Hamed Nour: Addressing and Routing in Heterogeneous Data Networks. HPN 1994: 95-105

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)

Anindya Das, Krishnaiyan Thulasiraman, Vinod K. Agarwal, K. B. Lakshmanan: Multiprocessor Fault Diagnosis Under Local Constraints. IEEE Trans. Computers 42(8): 984-988 (1993)

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

D. Desbiens, Gregor von Bochmann, Anindya Das, Joumana Dargham: Modeling and Formal Specification of the Personal Communication Service. INFOCOM 1993: 756-765

Gang Luo, Anindya Das, Gregor von Bochmann: Generating Tests for Control Portion of SDL Specifications. Protocol Test Systems 1993: 51-66

Alexandre Petrenko, Nina Yevtushenko, Alexandre Lebedev, Anindya Das: Nondeterministic State Machines in Protocol Conformance Testing. Protocol Test Systems 1993: 363-378

Gregor von Bochmann, Rachida Dssouli, Anindya Das (Eds.): 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. IFIP Transactions C-11, North-Holland 1993, isbn 0-444-89980-4

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)

T. Ramalingam, Anindya Das, Krishnaiyan Thulasiraman: On Conformance Test and Fault Resolution of Protocols based on FSM Model. NETWORKS 1992: 211-222

Gregor von Bochmann, Anindya Das, Rachida Dssouli, Martin Dubuc, Abderrazak Ghedamsi, Gang Luo: Fault Models in Testing. Protocol Test Systems 1991: 17-30

Anindya Das, Krishnaiyan Thulasiraman: Diagnosis of t/s-Diagnosable Systems. WG 1990: 193-205

Anindya Das, Krishnaiyan Thulasiraman, Vinod K. Agarwal, K. B. Lakshmanan: t/s-Diagnosable Systems: A Characterization and Diagnosis Algorithm. WG 1989: 34-45

Kamala Krithivasan, Anindya Das: Terminal weighted grammars and picture description. Computer Vision, Graphics, and Image Processing 30(1): 13-31 (1985)