Anindya Das

Publication Activity (10 Years)

Years Active: 1985-2023
Publications (10 Years): 2

Top Topics

Rate Allocation

Wireless Ad Hoc Networks

End To End Delay

Top Venues

IEEE Trans. Netw. Sci. Eng.

INFOCOM Workshops

Publications

Christos Liaskos, Konstantinos Alexandris, Anindya Das, Siyu Tang, Leandros Tassiulas
Analysis and Evaluation of Fully TCP-Compatible Backpressure-Driven Traffic Engineering. IEEE Trans. Netw. Sci. Eng. 10 (6) (2023)
Christos Liaskos, Konstantinos Alexandris, Siyu Tang, Anindya Das
End-to-end TCP-compatible Backpressure Routing. INFOCOM Workshops (2022)
Ifat Jahangir, Anindya Das, Masud Hasan
Formulation and Development of a Novel Quaternary Algebra CoRR (2011)
Anindya Das, Ifat Jahangir, Masud Hasan
On the Design and Analysis of Quaternary Serial and Parallel Adders CoRR (2010)
T. Ramalingom, Krishnaiyan Thulasiraman, Anindya Das
Context independent unique state identification sequences for testing communication protocols modelled as extended finite state machines. Comput. Commun. 26 (14) (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)
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) (2000)
Krishnaiyan Thulasiraman, Anindya Das, Kaiyuan Huang, Vinod K. Agarwal
Correct diagnosis of almost all faulty units in a multiprocessor system. ISCAS (6) (1999)
Krishnaiyan Thulasiraman, Anindya Das, Kaiyuan Huang, Vinod K. Agarwal
Correct Diagnosis of Almost All Faulty Units in a Multiprocessor System. J. Circuits Syst. Comput. 8 (4) (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]. Comput. Commun. 19 (2) (1996)
T. Ramalingom, Krishnaiyan Thulasiraman, Anindya Das
Context Independent Unique Sequences Generation for Protocol Testing. INFOCOM (1996)
T. Ramalingam, Anindya Das, Krishnaiyan Thulasiraman
On Testing and Diagnosis of Communication Protocols Based on the FSM Model. Comput. Commun. 18 (5) (1995)
T. Ramalingam, Anindya Das, Krishnaiyan Thulasiraman
Fault Detection and Diagnosis Capabilities of Test Sequence Selection Methods Based on the FSM Model. Comput. Commun. 18 (2) (1995)
J. William Atwood, Jean-Marc Jézéquel, Anindya Das, M'Hamed Nour
Addressing and Routing in Heterogeneous Data Networks. HPN (1994)
Gang Luo, Anindya Das, Gregor von Bochmann
Software Testing Based on SDL Specifications with Save. IEEE Trans. Software Eng. 20 (1) (1994)
Anindya Das, Krishnaiyan Thulasiraman, Vinod K. Agarwal
Diagnosis of t/(t+1)-Diagnosable Systems. SIAM J. Comput. 23 (5) (1994)
Alexandre Petrenko, Nina Yevtushenko, Alexandre Lebedev, Anindya Das
Nondeterministic State Machines in Protocol Conformance Testing. Protocol Test Systems (1993)
D. Desbiens, Gregor von Bochmann, Anindya Das, Joumana Dargham
Modeling and Formal Specification of the Personal Communication Service. INFOCOM (1993)
Anindya Das, Krishnaiyan Thulasiraman, K. B. Lakshmanan, Vinod K. Agarwal
Distributed Fault diagnosis of a Ring of Processors. Parallel Process. Lett. 3 (1993)
Anindya Das, Krishnaiyan Thulasiraman, Vinod K. Agarwal, K. B. Lakshmanan
Multiprocessor Fault Diagnosis Under Local Constraints. IEEE Trans. Computers 42 (8) (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)
Gang Luo, Anindya Das, Gregor von Bochmann
Generating Tests for Control Portion of SDL Specifications. Protocol Test Systems (1993)
T. Ramalingam, Anindya Das, Krishnaiyan Thulasiraman
On Conformance Test and Fault Resolution of Protocols based on FSM Model. NETWORKS (1992)
Gang Luo, Gregor von Bochmann, Anindya Das, Cheng Wu
Failure-Equivalent Transformation of Transition Systems to Avoid Internal Actions. Inf. Process. Lett. 44 (6) (1992)
Anindya Das, Krishnaiyan Thulasiraman, Vinod K. Agarwal
Diagnosis of T/S-Diagnosable Systems. J. Circuits Syst. Comput. 1 (4) (1991)
Gregor von Bochmann, Anindya Das, Rachida Dssouli, Martin Dubuc, Abderrazak Ghedamsi, Gang Luo
Fault Models in Testing. Protocol Test Systems (1991)
Anindya Das, Krishnaiyan Thulasiraman
Diagnosis of t/s-Diagnosable Systems. WG (1990)
Anindya Das, Krishnaiyan Thulasiraman, Vinod K. Agarwal, K. B. Lakshmanan
t/s-Diagnosable Systems: A Characterization and Diagnosis Algorithm. WG (1989)
Kamala Krithivasan, Anindya Das
Terminal weighted grammars and picture description. Comput. Vis. Graph. Image Process. 30 (1) (1985)