Srivatsan Varadarajan - researchr alias

researchr

You are not signed in
Sign in
Sign up

Viewing Publication 1 - 16 from 16

2024

2023

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

2022

Requirements-Driven Model Checking and Test Generation for Comprehensive VerificationDevesh Bhatt, Hao Ren, Anitha Murugesan, Jason Biatek, Srivatsan Varadarajan, Natarajan Shankar. NFM 2022: 576-596 [doi]

IP Core for Cache and Memory ThrashingMichal Dobes, Pavel Zaykov, Larry Miller, Pavel Badin, Srivatsan Varadarajan. rtcsa 2022: 41-50 [doi]

2018

Language for Unified Verification and Implementation for Distributed AvionicsBenjamin F. Jones, Lee Pike, Srivatsan Varadarajan, Brendan Hall. jacic, 15(11):640-664, November 2018. [doi]

2017

Enhanced Security of Building Automation Systems Through Microkernel-Based Controller PlatformsXiaolong Wang, Richard Habeeb, Xinming Ou, Siddharth Amaravadi, John Hatcliff, Masaaki Mizuno, Mitchell L. Neilsen, S. Raj Rajagopalan, Srivatsan Varadarajan. icdcsw 2017: 37-44 [doi]

2009

TTEthernet Dataflow ConceptWilfried Steiner, GÃ¼nther Bauer, Brendan Hall, Michael Paulitsch, Srivatsan Varadarajan. nca 2009: 319-322 [doi]

2006

Automatic Learning-based MANET Cross-Layer Parameter ConfigurationKaren Zita Haigh, Srivatsan Varadarajan, Choon Yik Tang. icdcsw 2006: 84 [doi]

2004

Resource Management for Ad-Hoc Wireless Networks with Cluster OrganizationIonut Cardei, Srivatsan Varadarajan, Allalaghatta Pavan, Lee Graba, Mihaela Cardei, Manki Min. cluster, 7(1):91-103, 2004. [doi]

2003

Coverage-Aware Proxy Placement for Dynamic Content Management over the InternetSrivatsan Varadarajan, Raja Harinath, Jaideep Srivastava, Zhi-Li Zhang. icdcsw 2003: 892-897 [doi]

2002

On localized control in QoS routingSrihari Nelakuditi, Srivatsan Varadarajan, Zhi-Li Zhang. tac, 47(6):1026-1032, 2002. [doi]

Error spreading: a perception-driven approach to handling error in continuous media streamingSrivatsan Varadarajan, Hung Q. Ngo, Jaideep Srivastava. ton, 10(1):139-152, 2002. [doi]

2000

An Adaptive, Perception-Driven Error Spreading Scheme in Continuous Media StreamingSrivatsan Varadarajan, Hung Q. Ngo, Jaideep Srivastava. icdcs 2000: 475-483 [doi]

1999

Error Spreading: Reducing Bursty Errors in Continuous Media StreamingHung Q. Ngo, Srivatsan Varadarajan, Jaideep Srivastava. icmcs 1999: 314-319 [doi]

1998

Performance evaluation of media losses in the Continuous Media ToolkitDuminda Wijesekera, Srivatsan Varadarajan, Shwetal S. Parikh, Jaideep Srivastava, Anil Nerode. ismse 1998: 60-67 [doi]

Sign in or sign up to see more results.

runs on WebDSL