Srivatsan Varadarajan

According to our database, Srivatsan Varadarajan authored at least 18 papers between 1998 and 2024.

Collaborative distances:

• Dijkstra number of three.
• Erdős number of three.

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, Robin Bloomfield, John Rushby

Theory Pract. Log. Program., 2024

Enabling Theory-Based Continuous Assurance: A Coherent Approach with Semantics and Automated Synthesis.

Srivatsan Varadarajan, Robin Bloomfield, John Rushby, Gopal Gupta, Anitha Murugesan, Robert J. Stroud, Kateryna Netkachova, Isaac Hong Wong, Joaquín Arias

Proceedings of the Computer Safety, Reliability, and Security. SAFECOMP 2024 Workshops, 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, Robin Bloomfield, Srivatsan Varadarajan, John Rushby

Proceedings of the International Conference on Logic Programming 2023 Workshops co-located with the 39th International Conference on Logic Programming (ICLP 2023), 2023

2022

DesCert: Design for Certification.

Natarajan Shankar, Devesh Bhatt, Michael D. Ernst, Minyoung Kim, Srivatsan Varadarajan, Suzanne Millstein, Jorge Navas, Jason Biatek, Huascar Sanchez, Anitha Murugesan, Hao Ren

CoRR, 2022

IP Core for Cache and Memory Thrashing.

Michal Dobes, Pavel Zaykov, Larry Miller, Pavel Badin, Srivatsan Varadarajan

Proceedings of the 28th IEEE International Conference on Embedded and Real-Time Computing Systems and Applications, 2022

Requirements-Driven Model Checking and Test Generation for Comprehensive Verification.

Devesh Bhatt, Hao Ren, Anitha Murugesan, Jason Biatek, Srivatsan Varadarajan, Natarajan Shankar

Proceedings of the NASA Formal Methods - 14th International Symposium, 2022

2018

Language for Unified Verification and Implementation for Distributed Avionics.

Benjamin F. Jones, Lee Pike, Srivatsan Varadarajan, Brendan Hall

J. Aerosp. Inf. Syst., November, 2018

Abstraction, Composition and Contracts: A Sheaf Theoretic Approach.

Alberto Speranzon, David I. Spivak, Srivatsan Varadarajan

CoRR, 2018

2017

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

Proceedings of the 37th IEEE International Conference on Distributed Computing Systems Workshops, 2017

2009

TTEthernet Dataflow Concept.

Wilfried Steiner, Günther Bauer, Brendan Hall, Michael Paulitsch, Srivatsan Varadarajan

Proceedings of The Eighth IEEE International Symposium on Networking Computing and Applications, 2009

2006

Automatic Learning-based MANET Cross-Layer Parameter Configuration.

Karen Zita Haigh, Srivatsan Varadarajan, Choon Yik Tang

Proceedings of the 26th International Conference on Distributed Computing Systems Workshops (ICDCS 2006 Workshops), 2006

2004

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

2003

Coverage-Aware Proxy Placement for Dynamic Content Management over the Internet.

Srivatsan Varadarajan, Raja Harinath, Jaideep Srivastava, Zhi-Li Zhang

Proceedings of the 23rd International Conference on Distributed Computing Systems Workshops (ICDCS 2003 Workshops), 2003

2002

Error spreading: a perception-driven approach to handling error in continuous media streaming.

Srivatsan Varadarajan, Hung Q. Ngo, Jaideep Srivastava

IEEE/ACM Trans. Netw., 2002

On localized control in QoS routing.

Srihari Nelakuditi, Srivatsan Varadarajan, Zhi-Li Zhang

IEEE Trans. Autom. Control., 2002

2000

An Adaptive, Perception-Driven Error Spreading Scheme in Continuous Media Streaming.

Srivatsan Varadarajan, Hung Q. Ngo, Jaideep Srivastava

Proceedings of the 20th International Conference on Distributed Computing Systems, 2000

1999

Error Spreading: Reducing Bursty Errors in Continuous Media Streaming.

Hung Q. Ngo, Srivatsan Varadarajan, Jaideep Srivastava

Proceedings of the IEEE International Conference on Multimedia Computing and Systems, 1999

1998

Performance evaluation of media losses in the Continuous Media Toolkit.

Duminda Wijesekera, Srivatsan Varadarajan, Shwetal S. Parikh, Jaideep Srivastava, Anil Nerode

Proceedings of the 1998 International Workshop on Multimedia Software Engineering, 1998