Srivatsan Varadarajan

Identifiers

• name variant Srivatsan Varadarajan 0.60 · backfill

Papers (3)

1. Automating Semantic Analysis of System Assurance Cases using Goal-directed ASP cs.LO · 2024 · author #5
2. DesCert: Design for Certification cs.SE · 2022 · author #5
3. Abstraction, Composition and Contracts: A Sheaf Theoretic Approach cs.LO · 2018 · author #3

Mentions

• 2408.11699 #5 · arxiv_oai · confidence 0.70 Srivatsan Varadarajan
• 2203.15178 #5 · arxiv_oai · confidence 0.70 Srivatsan Varadarajan
• 1802.03080 #3 · arxiv_oai · confidence 0.70 Srivatsan Varadarajan

Frequent Coauthors

• Anitha Murugesan 2 shared papers
• Alberto Speranzon 1 shared papers
• David I. Spivak 1 shared papers
• Devesh Bhatt 1 shared papers
• Elmer Salazar 1 shared papers
• Gopal Gupta 1 shared papers
• Hao Ren 1 shared papers
• Huascar Sanchez 1 shared papers
• Isaac Wong 1 shared papers
• Jason Biatek 1 shared papers
• Joaqu\'in Arias 1 shared papers
• John Rushby 1 shared papers
• Jorge Navas 1 shared papers
• Michael Ernst 1 shared papers
• Minyoung Kim 1 shared papers
• Natarajan Shankar 1 shared papers
• Robert Stroud 1 shared papers
• Robin Bloomfield 1 shared papers
• Suzanne Millstein 1 shared papers