Anindya Das - researchr alias

researchr

You are not signed in
Sign in
Sign up

Viewing Publication 1 - 27 from 27

2023

Analysis and Evaluation of Fully TCP-Compatible Backpressure-Driven Traffic EngineeringChristos Liaskos, Konstantinos Alexandris, Anindya Das, Siyu Tang 0002, Leandros Tassiulas. tnse, 10(6):4056-4070, November - December 2023. [doi]

2022

End-to-end TCP-compatible Backpressure RoutingChristos Liaskos, Konstantinos Alexandris, Siyu Tang, Anindya Das. infocom 2022: 1-6 [doi]

2003

Context independent unique state identification sequences for testing communication protocols modelled as extended finite state machinesT. Ramalingom, Krishnaiyan Thulasiraman, Anindya Das. comcom, 26(14):1622-1633, 2003. [doi]

2002

A scalable on-line multilevel distributed network fault detection/monitoring system based on the SNMP protocolMing-Shan Su, Krishnaiyan Thulasiraman, Anindya Das. globecom 2002: 1960-1964 [doi]

2000

A Matroid-Theoretic Solution to an Assignment Problem in the Conformance Testing of Communication ProtocolsT. Ramalingom, Krishnaiyan Thulasiraman, Anindya Das. TC, 49(4):317-330, 2000. [doi]

1999

Correct diagnosis of almost all faulty units in a multiprocessor systemKrishnaiyan Thulasiraman, Anindya Das, Kaiyuan Huang, Vinod K. Agarwal. iscas 1999: 161-164 [doi]

1998

Correct Diagnosis of Almost All Faulty Units in a Multiprocessor SystemKrishnaiyan Thulasiraman, Anindya Das, Kaiyuan Huang, Vinod K. Agarwal. jcsc, 8(4):473-481, 1998. [doi]

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. comcom, 19(2):160, 1996. [doi]

Context Independent Unique Sequences Generation for Protocol TestingT. Ramalingom, Krishnaiyan Thulasiraman, Anindya Das. infocom 1996: 1141-1148

1995

On Testing and Diagnosis of Communication Protocols Based on the FSM ModelT. Ramalingam, Anindya Das, Krishnaiyan Thulasiraman. comcom, 18(5):329-337, 1995.

Fault Detection and Diagnosis Capabilities of Test Sequence Selection Methods Based on the FSM ModelT. Ramalingam, Anindya Das, Krishnaiyan Thulasiraman. comcom, 18(2):113-122, 1995.

1994

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

Diagnosis of t/(t+1)-Diagnosable SystemsAnindya Das, Krishnaiyan Thulasiraman, Vinod K. Agarwal. SICOMP, 23(5):895-905, 1994.

Software Testing Based on SDL Specifications with SaveGang Luo, Anindya Das, Gregor von Bochmann. TSE, 20(1):72-87, 1994. [doi]

1993

Multiprocessor Fault Diagnosis Under Local ConstraintsAnindya Das, Krishnaiyan Thulasiraman, Vinod K. Agarwal, K. B. Lakshmanan. TC, 42(8):984-988, 1993.

Distributed Fault diagnosis of a Ring of ProcessorsAnindya Das, Krishnaiyan Thulasiraman, K. B. Lakshmanan, Vinod K. Agarwal. ppl, 3:195-204, 1993.

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

An Overview of Fault Management in Telecommunication NetworksMahamat Guiagoussou, Anindya Das, Gregor von Bochmann. aipt 1994: 69-85

Generating Tests for Control Portion of SDL SpecificationsGang Luo, Anindya Das, Gregor von Bochmann. pts 1994: 51-66

Nondeterministic State Machines in Protocol Conformance TestingAlexandre Petrenko, Nina Yevtushenko, Alexandre Lebedev, Anindya Das. pts 1994: 363-378

1992

Failure-Equivalent Transformation of Transition Systems to Avoid Internal ActionsGang Luo, Gregor von Bochmann, Anindya Das, Cheng Wu. ipl, 44(6):333-343, 1992.

On Conformance Test and Fault Resolution of Protocols based on FSM ModelT. Ramalingam, Anindya Das, Krishnaiyan Thulasiraman. networks 1993: 211-222

1991

Diagnosis of T/S-Diagnosable SystemsAnindya Das, Krishnaiyan Thulasiraman, Vinod K. Agarwal. jcsc, 1(4):353-372, 1991. [doi]

Fault Models in TestingGregor von Bochmann, Anindya Das, Rachida Dssouli, Martin Dubuc, Abderrazak Ghedamsi, Gang Luo. pts 1992: 17-30

1990

Diagnosis of t/s-Diagnosable SystemsAnindya Das, Krishnaiyan Thulasiraman. criwg 1991: 193-205

1989

t/s-Diagnosable Systems: A Characterization and Diagnosis AlgorithmAnindya Das, Krishnaiyan Thulasiraman, Vinod K. Agarwal, K. B. Lakshmanan. criwg 1990: 34-45

1985

Terminal weighted grammars and picture descriptionKamala Krithivasan, Anindya Das. cvgip, 30(1):13-31, 1985. [doi]

Sign in or sign up to see more results.

runs on WebDSL