Raghavan Komondoor

Identifiers

• name variant Raghavan Komondoor 0.60 · backfill

Papers (7)

1. Towards Efficient Controller Synthesis Techniques for Logical LTL Games cs.LO · 2023 · author #3
2. GenSys: A Scalable Fixed-point Engine for Maximal Controller Synthesis over Infinite State Spaces cs.LO · 2021 · author #3
3. HDR-Fuzz: Detecting Buffer Overruns using AddressSanitizer Instrumentation and Fuzzing cs.SE · 2021 · author #4
4. Data Flow Analysis of Asynchronous Systems using Infinite Abstract Domains cs.PL · 2021 · author #2
5. Static Analysis of File-Processing Programs using File Format Specifications cs.PL · 2015 · author #2
6. Checking Temporal Properties of Presburger Counter Systems using Reachability Analysis cs.LO · 2013 · author #3
7. Packet flow analysis in IP networks via abstract interpretation cs.NI · 2011 · author #1

Mentions

• 2306.02427 #3 · arxiv_oai · confidence 0.70 Raghavan Komondoor
• 2107.08794 #3 · arxiv_oai · confidence 0.70 Raghavan Komondoor
• 2104.10466 #4 · arxiv_oai · confidence 0.70 Raghavan Komondoor
• 2101.10233 #2 · arxiv_oai · confidence 0.70 Raghavan Komondoor
• 1312.1070 #3 · arxiv_oai · confidence 0.70 Raghavan Komondoor
• 1501.04730 #2 · arxiv_oai · confidence 0.70 Raghavan Komondoor
• 1111.6808 #1 · arxiv_oai · confidence 0.70 Raghavan Komondoor
• 1501.04730 #2 · backfill · confidence 0.70 Raghavan Komondoor
• 1312.1070 #3 · backfill · confidence 0.70 Raghavan Komondoor
• 1111.6808 #1 · backfill · confidence 0.70 Raghavan Komondoor

Frequent Coauthors

• Deepak D'Souza 2 shared papers
• Raveendra Kumar Medicherla 2 shared papers
• Stanly Samuel 2 shared papers
• Aravind Acharya 1 shared papers
• Deva P. Seetharam 1 shared papers
• K Narayan Kumar 1 shared papers
• K Vasanta Lakshmi 1 shared papers
• K. Vasanta Lakshmi 1 shared papers
• Malathy Nagalakshmi 1 shared papers
• S. Narendran 1 shared papers
• Snigdha Athaiya 1 shared papers
• Sudha Balodia 1 shared papers
• Tanya Sharma 1 shared papers