The following pages link to Bhargav S. Gulavani (Q765510):
Displaying 5 items.
- Refining abstract interpretations (Q765513) (← links)
- Bottom-Up Shape Analysis (Q3392926) (← links)
- A Numerical Abstract Domain Based on Expression Abstraction and Max Operator with Application in Timing Analysis (Q3512505) (← links)
- Automatically Refining Abstract Interpretations (Q5458344) (← links)
- Tools and Algorithms for the Construction and Analysis of Systems (Q5899074) (← links)
