Product
Help
Pricing
About
Jobs
Log in
Get started
Author
Add to collection
Srivatsan Varadarajan
Observed names:
SRIVATSAN VARADARAJAN,
Varadarajan, Srivatsan
Institution:
Lockheed Martin (United States)
Observed institutions:
Lockheed Martin (United States),
Honeywell (United States)
OpenAlex ID:
A5104004214
TTEthernet Dataflow Concept
2009
·
Wilfried Steiner
, Günther Bauer
, et al.
·
IEEE International Symposium on Network Computing and Applications (NCA)
·
95
Resource Management for Ad-Hoc Wireless Networks with Cluster Organization
2003
·
Ionut Cardei
, Srivatsan Varadarajan
, et al.
·
Cluster Computing
·
15
CLARISSA: Foundations, Tools & Automation for Assurance Cases
2023
·
Srivatsan Varadarajan
, Robin Bloomfield
, et al.
·
IEEE/AIAA Digital Avionics Systems Conference (DASC)
·
10
Requirements-Driven Model Checking and Test Generation for Comprehensive Verification
2022
·
Devesh Bhatt
, Hao Ren
, et al.
·
Lecture notes in computer science
·
9
Automating Semantic Analysis of System Assurance Cases Using Goal-Directed ASP
2024
·
ANITHA MURUGESAN
, ISAAC WONG
, et al.
·
Theory and Practice of Logic Programming
·
8
PDF
DesCert: Design for Certification
2022
·
Shankar, Natarajan
, Bhatt, Devesh
, et al.
·
arXiv (Cornell University)
·
8
PDF
Enhanced Security of Building Automation Systems Through Microkernel-Based Controller Platforms
2017
·
Xiaolong Wang
, Richard Habeeb
, et al.
·
IEEE International Conference on Distributed Computing Systems Workshops (ICDCSW)
·
8
Enabling Theory-Based Continuous Assurance: A Coherent Approach with Semantics and Automated Synthesis
2024
·
Srivatsan Varadarajan
, Robin Bloomfield
, et al.
·
Lecture notes in computer science
·
5
Continuous Safety & Security Evidence Generation, Curation and Assurance Case Construction Using the Evidential Tool Bus
2024
·
Natarajan Shankar
, Minyoung Kim
, et al.
·
IEEE/AIAA Digital Avionics Systems Conference (DASC)
·
4
Abstraction, Composition and Contracts: A Sheaf Theoretic Approach
2018
·
Speranzon, Alberto
, Spivak, David I.
, et al.
·
arXiv (Cornell University)
·
4
PDF
On Achieving Lower Consecutive Losses for Continuous Media Streams
1999
·
Jaideep Srivastava
, Srivatsan Varadarajan
, et al.
·
University of Minnesota Digital Conservancy (University of Minnesota)
·
4
PDF
Error Spreading: A Perception-Driven Approach Orthogonal to Error Handling in Continuous Media Streaming
1999
·
Srivatsan Varadarajan
, Hung Q. Ngo
, et al.
·
University of Minnesota Digital Conservancy (University of Minnesota)
·
3
Operadic Analysis of Distributed Systems
2015
·
Kevin Schweiker
, Srivatsan Varadarajan
, et al.
·
2
The Autonomy Loop: Today’s Practices and Tomorrow’s Challenges
2025
·
Alberto Speranzon
, Srivatsan Varadarajan
, et al.
·
Proceedings of the ... American Control Conference/Proceedings of the American Control Conference
IP Core for Cache and Memory Thrashing
2022
·
Michal Dobes
, Pavel Zaykov
, et al.
·
IEEE International Conference on Embedded and Real-Time Computing Systems and Applications (RTCSA)
Language for Unified Verification and Implementation for Distributed Avionics
2018
·
Benjamin F. Jones
, Lee Pike
, et al.
·
Journal of Aerospace Information Systems
META 2f: Probabilistic, Compositional, Multi-dimension Model-Based Verification (PROMISE)
2011
·
Grit Denker
, Linda Briesemeister
, et al.
·
Defense Technical Information Center (DTIC)
Coverage based Proxy Placement for Content Distribution over the Internet
2002
·
Srivatsan Varadarajan
, Raja Harinath
, et al.
·
University of Minnesota Digital Conservancy (University of Minnesota)
PDF
Providing Cost-Effective Multimedia Services in a Concurrent Engineering Environment
1997
·
Duminda Wijesekera
, S. Parikh
, et al.
·
University of Minnesota Digital Conservancy (University of Minnesota)
Show more works
View as search
Works count:
28
Citation count:
175
H-index:
7
I10-index:
3
Year
Topic
Type
