( en | de | ru )

 

Disambiguation of "Gupta, Aarti"

Author of the publication

copydeleteadd this publication to your clipboard
Partition-Based Decision Heuristics for Image Computation Using SAT and BDDs.

, , , , and . ICCAD, page 286-292. IEEE Computer Society, (2001)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

Aarti Singh

Ashutosh Kumar Gupta

Renee Gupta

Jan Chandra Gupta

Ajay Kumar Gupta

 

Other publications of authors with the same name

Program Analysis Using Symbolic Ranges, , and . SAS, volume 4634 of LNCS, page 366-383. (2007)Using Statically Computed Invariants Inside the Predicate Abstraction and Refinement Loop., , , , and . CAV'06, page 137-151. (2006)Integrating a Boolean Satisfiability Checker and BDDs for Combinational Equivalence Checking., and . VLSI Design, page 222-225. IEEE Computer Society, (1998)Tunneling and slicing: towards scalable BMC., and . DAC, page 137-142. ACM, (2008)Predicate learning and selective theory deduction for a difference logic solver., , and . DAC, page 235-240. ACM, (2006)Completeness bounds and sequentialization for model checking of interacting firmware and hardware., , and . CODES+ISSS, page 202-211. IEEE, (2015)Monte-carlo techniques for falsification of temporal properties of non-linear hybrid systems., , , , , and . HSCC, page 211-220. ACM, (2010)Refining the control structure of loops using static analysis., , , and . EMSOFT, page 49-58. ACM, (2009)Assertion guided symbolic execution of multithreaded programs., , , , and . ESEC/SIGSOFT FSE, page 854-865. ACM, (2015)Symbolic Trajectory Evaluation: The primary validation Vehicle for next generation Intel® Processor Graphics FPU., , and . FMCAD, page 149-156. IEEE, (2012)