Anindya Das

30 papers A* 2B 3Journal 16Unranked 8
YearRankTypeTitle / Venue / Authors
2023 J jnl
Analysis and Evaluation of Fully TCP-Compatible Backpressure-Driven Traffic Engineering.
IEEE Trans. Netw. Sci. Eng.
Christos Liaskos, Konstantinos Alexandris, Anindya Das, Siyu Tang, Leandros Tassiulas
2022 — conf
End-to-end TCP-compatible Backpressure Routing.
INFOCOM Workshops
Christos Liaskos, Konstantinos Alexandris, Siyu Tang, Anindya Das
2011 J jnl
Formulation and Development of a Novel Quaternary Algebra
CoRR
Ifat Jahangir, Anindya Das, Masud Hasan
2010 J jnl
On the Design and Analysis of Quaternary Serial and Parallel Adders
CoRR
Anindya Das, Ifat Jahangir, Masud Hasan
2003 J jnl
Context independent unique state identification sequences for testing communication protocols modelled as extended finite state machines.
Comput. Commun.
T. Ramalingom, Krishnaiyan Thulasiraman, Anindya Das
2002 B conf
A scalable on-line multilevel distributed network fault detection/monitoring system based on the SNMP protocol.
GLOBECOM
Ming-Shan Su, Krishnaiyan Thulasiraman, Anindya Das
2000 J jnl
A Matroid-Theoretic Solution to an Assignment Problem in the Conformance Testing of Communication Protocols.
IEEE Trans. Computers
T. Ramalingom, Krishnaiyan Thulasiraman, Anindya Das
1999 — conf
Correct diagnosis of almost all faulty units in a multiprocessor system.
ISCAS (6)
Krishnaiyan Thulasiraman, Anindya Das, Kaiyuan Huang, Vinod K. Agarwal
1998 J jnl
Correct Diagnosis of Almost All Faulty Units in a Multiprocessor System.
J. Circuits Syst. Comput.
Krishnaiyan Thulasiraman, Anindya Das, Kaiyuan Huang, Vinod K. Agarwal
1996 A* conf
Context Independent Unique Sequences Generation for Protocol Testing.
INFOCOM
T. Ramalingom, Krishnaiyan Thulasiraman, Anindya Das
1996 J jnl
Corrigendum to 'fault detection and diagnosis capabilities of test sequence selection methods based on the FSM model' : [Computer Comm. 18(1995) 113].
Comput. Commun.
T. Ramalingam, Anindya Das, Krishnaiyan Thulasiraman
1995 J jnl
Fault Detection and Diagnosis Capabilities of Test Sequence Selection Methods Based on the FSM Model.
Comput. Commun.
T. Ramalingam, Anindya Das, Krishnaiyan Thulasiraman
1995 J jnl
On Testing and Diagnosis of Communication Protocols Based on the FSM Model.
Comput. Commun.
T. Ramalingam, Anindya Das, Krishnaiyan Thulasiraman
1994 — conf
Addressing and Routing in Heterogeneous Data Networks.
HPN
J. William Atwood, Jean-Marc Jézéquel, Anindya Das, M'Hamed Nour
1994 J jnl
Diagnosis of t/(t+1)-Diagnosable Systems.
SIAM J. Comput.
Anindya Das, Krishnaiyan Thulasiraman, Vinod K. Agarwal
1994 J jnl
Software Testing Based on SDL Specifications with Save.
IEEE Trans. Software Eng.
Gang Luo, Anindya Das, Gregor von Bochmann
1993 — conf
An Overview of Fault Management in Telecommunication Networks.
Advanced Information Processing Techniques for LAN and MAN Management
Mahamat Guiagoussou, Anindya Das, Gregor von Bochmann
1993 J jnl
Distributed Fault diagnosis of a Ring of Processors.
Parallel Process. Lett.
Anindya Das, Krishnaiyan Thulasiraman, K. B. Lakshmanan, Vinod K. Agarwal
1993 — conf
Generating Tests for Control Portion of SDL Specifications.
Protocol Test Systems
Gang Luo, Anindya Das, Gregor von Bochmann
1993 A* conf
Modeling and Formal Specification of the Personal Communication Service.
INFOCOM
D. Desbiens, Gregor von Bochmann, Anindya Das, Joumana Dargham
1993 J jnl
Multiprocessor Fault Diagnosis Under Local Constraints.
IEEE Trans. Computers
Anindya Das, Krishnaiyan Thulasiraman, Vinod K. Agarwal, K. B. Lakshmanan
1993 — conf
Nondeterministic State Machines in Protocol Conformance Testing.
Protocol Test Systems
Alexandre Petrenko, Nina Yevtushenko, Alexandre Lebedev, Anindya Das
1993 — ed.
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
Protocol Test Systems
Gregor von Bochmann, Rachida Dssouli, Anindya Das
1992 J jnl
Failure-Equivalent Transformation of Transition Systems to Avoid Internal Actions.
Inf. Process. Lett.
Gang Luo, Gregor von Bochmann, Anindya Das, Cheng Wu
1992 — conf
On Conformance Test and Fault Resolution of Protocols based on FSM Model.
NETWORKS
T. Ramalingam, Anindya Das, Krishnaiyan Thulasiraman
1991 J jnl
Diagnosis of T/S-Diagnosable Systems.
J. Circuits Syst. Comput.
Anindya Das, Krishnaiyan Thulasiraman, Vinod K. Agarwal
1991 — conf
Fault Models in Testing.
Protocol Test Systems
Gregor von Bochmann, Anindya Das, Rachida Dssouli, Martin Dubuc, Abderrazak Ghedamsi, Gang Luo
1990 B conf
Diagnosis of t/s-Diagnosable Systems.
WG
Anindya Das, Krishnaiyan Thulasiraman
1989 B conf
t/s-Diagnosable Systems: A Characterization and Diagnosis Algorithm.
WG
Anindya Das, Krishnaiyan Thulasiraman, Vinod K. Agarwal, K. B. Lakshmanan
1985 J jnl
Terminal weighted grammars and picture description.
Comput. Vis. Graph. Image Process.
Kamala Krithivasan, Anindya Das