Travelled to:1 × Denmark
1 × Germany
1 × United Kingdom
2 × USA
Collaborated with:O.Strichman E.M.Clarke K.L.McMillan Z.Fu J.H.Kukula A.Gupta Z.Yang P.Ashar P.F.Williams A.Biere
Talks about:sat (3) abstract (2) refin (2) model (2) check (2) techniqu (1) procedur (1) composit (1) generat (1) diagram (1)
Person: Anubhav Gupta
DBLP: Gupta:Anubhav
Contributed to:
200720052002
20012000Wrote 5 papers:
- CAV-2007-GuptaMF #automation #composition #generative #verification
- Automated Assumption Generation for Compositional Verification (AG, KLM, ZF), pp. 420–432.
- CAV-2005-GuptaS #abstraction #bound #model checking #refinement
- Abstraction Refinement for Bounded Model Checking (AG, OS), pp. 112–124.
- CAV-2002-ClarkeGKS #abstraction #machine learning #satisfiability #using
- SAT Based Abstraction-Refinement Using ILP and Machine Learning Techniques (EMC, AG, JHK, OS), pp. 265–279.
- DAC-2001-GuptaGYA #detection #image #satisfiability
- Dynamic Detection and Removal of Inactive Clauses in SAT with Application in Image Computation (AG, AG, ZY, PA), pp. 536–541.
- CAV-2000-WilliamsBCG #diagrams #model checking #performance #satisfiability
- Combining Decision Diagrams and SAT Procedures for Efficient Symbolic Model Checking (PFW, AB, EMC, AG), pp. 124–138.