A Transformation on Ordered Trees. - B. Dasarathy; Cheng Yang (Comput. J., 1980)

Modelling and Validating the Man-Machine Interface. - Bernice E. Casey; B. Dasarathy (Softw. Pract. Exp., 1982)

Requirements-Based Testing of Real-Time Systems: Modeling for Testability. - M. Chandrasekharan; B. Dasarathy; Zen Kishimoto (Computer, 1985)

Timing Constraints of Real-Time Systems: Constructs for Expressing Them, Methods of Validating Them. - B. Dasarathy (IEEE Trans. Software Eng., 1985)

Performance Analysis of CORBA Replication Models. - Swapna S. Gokhale; B. Dasarathy (DASC, 2007)