Bhargav S. Gulavani

2008
4	EE	Bhargav S. Gulavani, Sumit Gulwani: A Numerical Abstract Domain Based on Expression Abstraction and Max Operator with Application in Timing Analysis. CAV 2008: 370-384
3	EE	Bhargav S. Gulavani, Supratik Chakraborty, Aditya V. Nori, Sriram K. Rajamani: Automatically Refining Abstract Interpretations. TACAS 2008: 443-458
2006
2	EE	Bhargav S. Gulavani, Thomas A. Henzinger, Yamini Kannan, Aditya V. Nori, Sriram K. Rajamani: SYNERGY: a new algorithm for property checking. SIGSOFT FSE 2006: 117-127
1	EE	Bhargav S. Gulavani, Sriram K. Rajamani: Counterexample Driven Refinement for Abstract Interpretation. TACAS 2006: 474-488

Coauthor Index

1	Supratik Chakraborty	[3]
2	Sumit Gulwani	[4]
3	Thomas A. Henzinger	[2]
4	Yamini Kannan	[2]
5	Aditya V. Nori	[2] [3]
6	Sriram K. Rajamani	[1] [2] [3]

Colors in the list of coauthors