Performance evaluation of media losses in the Continuous Media Toolkit. - Duminda Wijesekera; Srivatsan Varadarajan; Shwetal S. Parikh; Jaideep Srivastava; Anil Nerode (MSE, 1998)

Error Spreading: Reducing Bursty Errors in Continuous Media Streaming. - Hung Q. Ngo 001; Srivatsan Varadarajan; Jaideep Srivastava (ICMCS, Vol. 1, 1999)

An Adaptive, Perception-Driven Error Spreading Scheme in Continuous Media Streaming. - Srivatsan Varadarajan; Hung Q. Ngo 001; Jaideep Srivastava (ICDCS, 2000)

On localized control in QoS routing. - Srihari Nelakuditi; Srivatsan Varadarajan; Zhi-Li Zhang (IEEE Trans. Autom. Control., 2002)

Error spreading: a perception-driven approach to handling error in continuous media streaming. - Srivatsan Varadarajan; Hung Q. Ngo 001; Jaideep Srivastava (IEEE/ACM Trans. Netw., 2002)

Coverage-Aware Proxy Placement for Dynamic Content Management over the Internet. - Srivatsan Varadarajan; Raja Harinath; Jaideep Srivastava; Zhi-Li Zhang (ICDCS Workshops, 2003)

Resource Management for Ad-Hoc Wireless Networks with Cluster Organization. - Ionut Cardei; Srivatsan Varadarajan; Allalaghatta Pavan; Lee Graba; Mihaela Cardei; Manki Min (Clust. Comput., 2004)

Automatic Learning-based MANET Cross-Layer Parameter Configuration. - Karen Zita Haigh; Srivatsan Varadarajan; Choon Yik Tang (ICDCS Workshops, 2006)

TTEthernet Dataflow Concept. - Wilfried Steiner; Günther Bauer 001; Brendan Hall; Michael Paulitsch; Srivatsan Varadarajan (NCA, 2009)

Enhanced Security of Building Automation Systems Through Microkernel-Based Controller Platforms. - Xiaolong Wang; Richard Habeeb; Xinming Ou; Siddharth Amaravadi; John Hatcliff; Masaaki Mizuno; Mitchell L. Neilsen; S. Raj Rajagopalan; Srivatsan Varadarajan (ICDCS Workshops, 2017)

Abstraction, Composition and Contracts: A Sheaf Theoretic Approach. - Alberto Speranzon; David I. Spivak; Srivatsan Varadarajan (CoRR, 2018)

Language for Unified Verification and Implementation for Distributed Avionics. - Benjamin F. Jones 002; Lee Pike; Srivatsan Varadarajan; Brendan Hall (J. Aerosp. Inf. Syst., 2018)

Requirements-Driven Model Checking and Test Generation for Comprehensive Verification. - Devesh Bhatt; Hao Ren 004; Anitha Murugesan; Jason Biatek; Srivatsan Varadarajan; Natarajan Shankar (NFM, 2022)

IP Core for Cache and Memory Thrashing. - Michal Dobes; Pavel Zaykov; Larry Miller; Pavel Badin; Srivatsan Varadarajan (RTCSA, 2022)

DesCert: Design for Certification. - Natarajan Shankar; Devesh Bhatt; Michael D. Ernst; Minyoung Kim; Srivatsan Varadarajan; Suzanne Millstein; Jorge Navas 003; Jason Biatek; Huascar Sanchez; Anitha Murugesan; Hao Ren 004 (CoRR, 2022)

Semantic Analysis of Assurance Cases using s(CASP). - Anitha Murugesan; Isaac Hong Wong; Robert J. Stroud; Joaquín Arias; Elmer Salazar; Gopal Gupta 001; Robin Bloomfield; Srivatsan Varadarajan; John Rushby (ICLP Workshops, 2023)

Enabling Theory-Based Continuous Assurance: A Coherent Approach with Semantics and Automated Synthesis. - Srivatsan Varadarajan; Robin Bloomfield; John Rushby; Gopal Gupta 001; Anitha Murugesan; Robert J. Stroud; Kateryna Netkachova; Isaac Hong Wong; Joaquín Arias (SAFECOMP (Workshops), 2024)

Automating Semantic Analysis of System Assurance Cases Using Goal-Directed ASP. - Anitha Murugesan; Isaac Hong Wong; Joaquín Arias; Robert J. Stroud; Srivatsan Varadarajan; Elmer Salazar; Gopal Gupta 001; Robin Bloomfield; John Rushby (Theory Pract. Log. Program., 2024)

The Autonomy Loop: Today's Practices and Tomorrow's Challenges. - Alberto Speranzon; Srivatsan Varadarajan; Alec Yenawine; James A. Ramsey; Luke H. DeGalan; Gregory S. Grebe; Kingsley Fregene; Daniel W. Kwon; Michael A. Niestroy; Jerry L. Franke; Andrzej Banaszuk (ACC, 2025)