Srivatsan Varadarajan

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