Srivatsan Varadarajan
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
5
Venues
5
Active years
2000–2024
Best venue rank
B
Where they publish
Papers
5 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2024 | SAFECOMP | 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, Joaqun Arias |
| 2023 | ICLP | Semantic Analysis of Assurance Cases using s(CASP). | Anitha Murugesan, Isaac Hong Wong, Robert J. Stroud, Joaqun Arias, Elmer Salazar, Gopal Gupta, Robin Bloomfield, Srivatsan Varadarajan, John Rushby |
| 2022 | RTCSA | IP Core for Cache and Memory Thrashing. | Michal Dobes, Pavel Zaykov, Larry Miller, Pavel Badin, Srivatsan Varadarajan |
| 2009 | NCA | TTEthernet Dataflow Concept. | Wilfried Steiner, Gnther Bauer, Brendan Hall, Michael Paulitsch, Srivatsan Varadarajan |
| 2000 | ICDCS | An Adaptive, Perception-Driven Error Spreading Scheme in Continuous Media Streaming. | Srivatsan Varadarajan, Hung Q. Ngo, Jaideep Srivastava |