BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
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 DBLP: Gupta:Anubhav

Contributed to:

CAV 20072007
CAV 20052005
CAV 20022002
DAC 20012001
CAV 20002000

Wrote 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.

Bibliography of Software Language Engineering in Generated Hypertext (BibSLEIGH) is created and maintained by Dr. Vadim Zaytsev.
Hosted as a part of SLEBOK on GitHub.