Srivatsan Varadarajan

Publication Activity (10 Years)

Years Active: 1998-2023
Publications (10 Years): 7

Top Topics

Cache Conscious

Test Generation

Semantic Analysis

Top Venues

J. Aerosp. Inf. Syst.

ICDCS Workshops

Publications

Anitha Murugesan, Isaac Hong Wong, Robert J. Stroud, Joaquín Arias, Elmer Salazar, Gopal Gupta, Robin Bloomfield, Srivatsan Varadarajan, John Rushby
Semantic Analysis of Assurance Cases using s(CASP). ICLP Workshops (2023)
Devesh Bhatt, Hao Ren, Anitha Murugesan, Jason Biatek, Srivatsan Varadarajan, Natarajan Shankar
Requirements-Driven Model Checking and Test Generation for Comprehensive Verification. NFM (2022)
Natarajan Shankar, Devesh Bhatt, Michael D. Ernst, Minyoung Kim, Srivatsan Varadarajan, Suzanne Millstein, Jorge Navas, Jason Biatek, Huascar Sanchez, Anitha Murugesan, Hao Ren
DesCert: Design for Certification. CoRR (2022)
Michal Dobes, Pavel Zaykov, Larry Miller, Pavel Badin, Srivatsan Varadarajan
IP Core for Cache and Memory Thrashing. RTCSA (2022)
Benjamin F. Jones, Lee Pike, Srivatsan Varadarajan, Brendan Hall
Language for Unified Verification and Implementation for Distributed Avionics. J. Aerosp. Inf. Syst. 15 (11) (2018)
Alberto Speranzon, David I. Spivak, Srivatsan Varadarajan
Abstraction, Composition and Contracts: A Sheaf Theoretic Approach. CoRR (2018)
Xiaolong Wang, Richard Habeeb, Xinming Ou, Siddharth Amaravadi, John Hatcliff, Masaaki Mizuno, Mitchell L. Neilsen, S. Raj Rajagopalan, Srivatsan Varadarajan
Enhanced Security of Building Automation Systems Through Microkernel-Based Controller Platforms. ICDCS Workshops (2017)
Wilfried Steiner, Günther Bauer, Brendan Hall, Michael Paulitsch, Srivatsan Varadarajan
TTEthernet Dataflow Concept. NCA (2009)
Karen Zita Haigh, Srivatsan Varadarajan, Choon Yik Tang
Automatic Learning-based MANET Cross-Layer Parameter Configuration. ICDCS Workshops (2006)
Ionut Cardei, Srivatsan Varadarajan, Allalaghatta Pavan, Lee Graba, Mihaela Cardei, Manki Min
Resource Management for Ad-Hoc Wireless Networks with Cluster Organization. Clust. Comput. 7 (1) (2004)
Srivatsan Varadarajan, Raja Harinath, Jaideep Srivastava, Zhi-Li Zhang
Coverage-Aware Proxy Placement for Dynamic Content Management over the Internet. ICDCS Workshops (2003)
Srivatsan Varadarajan, Hung Q. Ngo, Jaideep Srivastava
Error spreading: a perception-driven approach to handling error in continuous media streaming. IEEE/ACM Trans. Netw. 10 (1) (2002)
Srihari Nelakuditi, Srivatsan Varadarajan, Zhi-Li Zhang
On localized control in QoS routing. IEEE Trans. Autom. Control. 47 (6) (2002)
Srivatsan Varadarajan, Hung Q. Ngo, Jaideep Srivastava
An Adaptive, Perception-Driven Error Spreading Scheme in Continuous Media Streaming. ICDCS (2000)
Hung Q. Ngo, Srivatsan Varadarajan, Jaideep Srivastava
Error Spreading: Reducing Bursty Errors in Continuous Media Streaming. ICMCS, Vol. 1 (1999)
Duminda Wijesekera, Srivatsan Varadarajan, Shwetal S. Parikh, Jaideep Srivastava, Anil Nerode
Performance evaluation of media losses in the Continuous Media Toolkit. MSE (1998)