The following pages link to Kedar S. Namjoshi (Q784102):
Displayed 39 items.
- Witnessing secure compilation (Q784104) (← links)
- Local proofs for global safety properties (Q1039842) (← links)
- A self-certifying compilation framework for WebAssembly (Q2234063) (← links)
- Parameterized compositional model checking (Q2272926) (← links)
- Symmetry reduction for the local mu-calculus (Q2324237) (← links)
- (Q2754080) (← links)
- (Q2754105) (← links)
- (Q2769609) (← links)
- Local Symmetry and Compositional Verification (Q2891426) (← links)
- Uncovering Symmetries in Irregular Process Networks (Q2926659) (← links)
- On the completeness of compositional reasoning methods (Q2946604) (← links)
- Compositional Reasoning (Q3176370) (← links)
- Local Proofs for Linear-Time Properties of Concurrent Programs (Q3512490) (← links)
- Pointer Analysis, Conditional Soundness, and Proving the Absence of Errors (Q3522062) (← links)
- Orion: High-Precision Methods for Static Error Analysis of C and C++ Programs (Q3591386) (← links)
- (Q4414388) (← links)
- (Q4414398) (← links)
- (Q4422081) (← links)
- (Q4551169) (← links)
- (Q4553254) (← links)
- (Q4818805) (← links)
- (Q4818807) (← links)
- (Q4936148) (← links)
- (Q4994706) (← links)
- From Verification to Optimizations (Q5172650) (← links)
- Securing the SSA Transform (Q5233238) (← links)
- Computer Aided Verification (Q5312943) (← links)
- Parallelizing a Symbolic Compositional Model-Checking Algorithm (Q5391523) (← links)
- Local Proofs for Global Safety Properties (Q5429316) (← links)
- Symmetry and Completeness in the Analysis of Parameterized Systems (Q5452616) (← links)
- On Reasoning About Rings (Q5696925) (← links)
- Verification, Model Checking, and Abstract Interpretation (Q5711491) (← links)
- Computer Aided Verification (Q5716588) (← links)
- CONCUR 2003 - Concurrency Theory (Q5900581) (← links)
- Computer Aided Verification (Q5900685) (← links)
- Securing a compiler transformation (Q5915713) (← links)
- Securing a compiler transformation (Q5916265) (← links)
- The impact of program transformations on static program analysis (Q6041177) (← links)
- Synthesis of asynchronous reactive programs from temporal specifications (Q6045013) (← links)