Anindya Das

According to our database, Anindya Das authored at least 28 papers between 1985 and 2023.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of three.

2023

Analysis and Evaluation of Fully TCP-Compatible Backpressure-Driven Traffic Engineering.

Christos Liaskos, Konstantinos Alexandris, Anindya Das, Siyu Tang, Leandros Tassiulas

IEEE Trans. Netw. Sci. Eng., 2023

2022

End-to-end TCP-compatible Backpressure Routing.

Christos Liaskos, Konstantinos Alexandris, Siyu Tang, Anindya Das

Proceedings of the IEEE INFOCOM 2022, 2022

2011

Formulation and Development of a Novel Quaternary Algebra

Ifat Jahangir, Anindya Das, Masud Hasan

CoRR, 2011

2010

On the Design and Analysis of Quaternary Serial and Parallel Adders

Anindya Das, Ifat Jahangir, Masud Hasan

CoRR, 2010

2003

Context independent unique state identification sequences for testing communication protocols modelled as extended finite state machines.

T. Ramalingom, Krishnaiyan Thulasiraman, Anindya Das

Comput. Commun., 2003

2002

A scalable on-line multilevel distributed network fault detection/monitoring system based on the SNMP protocol.

Ming-Shan Su, Krishnaiyan Thulasiraman, Anindya Das

Proceedings of the Global Telecommunications Conference, 2002

2000

A Matroid-Theoretic Solution to an Assignment Problem in the Conformance Testing of Communication Protocols.

T. Ramalingom, Krishnaiyan Thulasiraman, Anindya Das

IEEE Trans. Computers, 2000

1998

Correct Diagnosis of Almost All Faulty Units in a Multiprocessor System.

Krishnaiyan Thulasiraman, Anindya Das, Kaiyuan Huang, Vinod K. Agarwal

J. Circuits Syst. Comput., 1998

1996

Corrigendum to 'fault detection and diagnosis capabilities of test sequence selection methods based on the FSM model' : [Computer Comm. 18(1995) 113].

T. Ramalingam, Anindya Das, Krishnaiyan Thulasiraman

Comput. Commun., 1996

Context Independent Unique Sequences Generation for Protocol Testing.

T. Ramalingom, Krishnaiyan Thulasiraman, Anindya Das

Proceedings of the Proceedings IEEE INFOCOM '96, 1996

1995

On Testing and Diagnosis of Communication Protocols Based on the FSM Model.

T. Ramalingam, Anindya Das, Krishnaiyan Thulasiraman

Comput. Commun., 1995

Fault Detection and Diagnosis Capabilities of Test Sequence Selection Methods Based on the FSM Model.

T. Ramalingam, Anindya Das, Krishnaiyan Thulasiraman

Comput. Commun., 1995

1994

Software Testing Based on SDL Specifications with Save.

Gang Luo, Anindya Das, Gregor von Bochmann

IEEE Trans. Software Eng., 1994

Diagnosis of t/(t+1)-Diagnosable Systems.

Anindya Das, Krishnaiyan Thulasiraman, Vinod K. Agarwal

SIAM J. Comput., 1994

Addressing and Routing in Heterogeneous Data Networks.

J. William Atwood, Jean-Marc Jézéquel, Anindya Das, M'Hamed Nour

Proceedings of the High Performance Networking V, Proceedings of the IFIP TC6/WG6.4 Fifth International Conference on High Performance Networking, Grenoble, France, 27 June, 1994

1993

Multiprocessor Fault Diagnosis Under Local Constraints.

Anindya Das, Krishnaiyan Thulasiraman, Vinod K. Agarwal, K. B. Lakshmanan

IEEE Trans. Computers, 1993

Distributed Fault diagnosis of a Ring of Processors.

Anindya Das, Krishnaiyan Thulasiraman, K. B. Lakshmanan, Vinod K. Agarwal

Parallel Process. Lett., 1993

Nondeterministic State Machines in Protocol Conformance Testing.

Alexandre Petrenko, Nina Yevtushenko, Alexandre Lebedev, Anindya Das

Proceedings of the Protocol Test Systems, 1993

Generating Tests for Control Portion of SDL Specifications.

Gang Luo, Anindya Das, Gregor von Bochmann

Proceedings of the Protocol Test Systems, 1993

Modeling and Formal Specification of the Personal Communication Service.

D. Desbiens, Gregor von Bochmann, Anindya Das, Joumana Dargham

Proceedings of the Proceedings IEEE INFOCOM '93, The Conference on Computer Communications, Twelfth Annual Joint Conference of the IEEE Computer and Communications Societies, Networking: Foundation for the Future, San Francisco, CA, USA, March 28, 1993

An Overview of Fault Management in Telecommunication Networks.

Mahamat Guiagoussou, Anindya Das, Gregor von Bochmann

Proceedings of the Advanced Information Processing Techniques for LAN and MAN Management, 1993

1992

Failure-Equivalent Transformation of Transition Systems to Avoid Internal Actions.

Gang Luo, Gregor von Bochmann, Anindya Das, Cheng Wu

Inf. Process. Lett., 1992

On Conformance Test and Fault Resolution of Protocols based on FSM Model.

T. Ramalingam, Anindya Das, Krishnaiyan Thulasiraman

Proceedings of the Computer Networks, 1992

1991

Diagnosis of T/S-Diagnosable Systems.

Anindya Das, Krishnaiyan Thulasiraman, Vinod K. Agarwal

J. Circuits Syst. Comput., 1991

Fault Models in Testing.

Gregor von Bochmann, Anindya Das, Rachida Dssouli, Martin Dubuc, Abderrazak Ghedamsi, Gang Luo

Proceedings of the Protocol Test Systems, IV, 1991

1990

Diagnosis of t/s-Diagnosable Systems.

Anindya Das, Krishnaiyan Thulasiraman

Proceedings of the Graph-Theoretic Concepts in Computer Science, 1990

1989

t/s-Diagnosable Systems: A Characterization and Diagnosis Algorithm.

Anindya Das, Krishnaiyan Thulasiraman, Vinod K. Agarwal, K. B. Lakshmanan

Proceedings of the Graph-Theoretic Concepts in Computer Science, 1989

1985

Terminal weighted grammars and picture description.

Kamala Krithivasan, Anindya Das

Comput. Vis. Graph. Image Process., 1985