Stop the war!

Остановите войну!

for scientists:

default search action

combined dblp search
author search
venue search
publication search

ask others

Pranav Ashar

Name: dblp XML data dump
Creator: Schloss Dagstuhl - Leibniz Center for Informatics
Published: 1993
License: https://creativecommons.org/publicdomain/zero/1.0/
Keywords: dblp, XML, computer science, scholarly publications, metadata

◀ ▶ joint publications with Zijiang Yang 0006

> Home > Persons > Pranav Ashar

Publications

2008
[j18]
- view
  authority control:
- export record
  dblp key:
  - journals/tcad/ZaksYSICGGA08
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/tcad/ZaksYSICGGA08
Aleksandr Zaks, Zijiang Yang, Ilya Shlyakhter, Franjo Ivancic, Srihari Cadambi, Malay K. Ganai, Aarti Gupta, Pranav Ashar:
Bitwidth Reduction via Symbolic Interval Analysis for Software Model Checking. IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. 27(8): 1513-1517 (2008)
[j17]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/tcs/IvancicYGGA08
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/tcs/IvancicYGGA08
Franjo Ivancic, Zijiang Yang, Malay K. Ganai, Aarti Gupta, Pranav Ashar:
Efficient SAT-based bounded model checking for software verification. Theor. Comput. Sci. 404(3): 256-274 (2008)
2006
[j16]
- view
  authority control:
- export record
  dblp key:
  - journals/sttt/GanaiGYA06
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/sttt/GanaiGYA06
Malay K. Ganai, Aarti Gupta, Zijiang Yang, Pranav Ashar:
Efficient distributed SAT and SAT-based distributed Bounded Model Checking. Int. J. Softw. Tools Technol. Transf. 8(4-5): 387-396 (2006)
2005
[c46]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - conf/cav/IvancicYGGSA05
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/cav/IvancicYGGSA05
Franjo Ivancic, Zijiang Yang, Malay K. Ganai, Aarti Gupta, Ilya Shlyakhter, Pranav Ashar:
F-Soft: Software Verification Platform. CAV 2005: 301-306
2004
[c39]
- no documents available
  - no references & citations available
- export record
  dblp key:
  - conf/isola/AsharGGIY04
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/isola/AsharGGIY04
Pranav Ashar, Malay K. Ganai, Aarti Gupta, Franjo Ivancic, Zijiang Yang:
Efficient SAT-based Bounded Model Checking for Software Verification. ISoLA (Preliminary proceedings) 2004: 157-164
2003
[c38]
- view
  authority control:
- export record
  dblp key:
  - conf/cav/GuptaGWYA03
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/cav/GuptaGWYA03
Aarti Gupta, Malay K. Ganai, Chao Wang, Zijiang Yang, Pranav Ashar:
Abstraction and BDDs Complement SAT-Based BMC in DiVer. CAV 2003: 206-209
[c37]
- view
  authority control:
- export record
  dblp key:
  - conf/charme/GanaiGYA03
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/charme/GanaiGYA03
Malay K. Ganai, Aarti Gupta, Zijiang Yang, Pranav Ashar:
Efficient Distributed SAT and SAT-Based Distributed Bounded Model Checking. CHARME 2003: 334-347
[c36]
- view
  authority control:
- export record
  dblp key:
  - conf/dac/GuptaGWYA03
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/dac/GuptaGWYA03
Aarti Gupta, Malay K. Ganai, Chao Wang, Zijiang Yang, Pranav Ashar:
Learning from BDDs in SAT-based bounded model checking. DAC 2003: 824-829
[c35]
- view
  authority control:
- export record
  dblp key:
  - conf/iccad/GuptaGYA03
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/iccad/GuptaGYA03
Aarti Gupta, Malay K. Ganai, Zijiang Yang, Pranav Ashar:
Iterative Abstraction using SAT-based BMC with Proof Analysis. ICCAD 2003: 416-423
2001
[c31]
- view
  authority control:
- export record
  dblp key:
  - conf/dac/GuptaGYA01
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/dac/GuptaGYA01
Aarti Gupta, Anubhav Gupta, Zijiang Yang, Pranav Ashar:
Dynamic Detection and Removal of Inactive Clauses in SAT with Application in Image Computation. DAC 2001: 536-541
[c29]
- view
  authority control:
- export record
  dblp key:
  - conf/iccad/GuptaYAZM01
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/iccad/GuptaYAZM01
Aarti Gupta, Zijiang Yang, Pranav Ashar, Lintao Zhang, Sharad Malik:
Partition-Based Decision Heuristics for Image Computation Using SAT and BDDs. ICCAD 2001: 286-292
2000
[c28]
- view
  authority control:
- export record
  dblp key:
  - conf/fmcad/GuptaYAG00
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/fmcad/GuptaYAG00
Aarti Gupta, Zijiang Yang, Pranav Ashar, Anubhav Gupta:
SAT-Based Image Computation with Application in Reachability Analysis. FMCAD 2000: 354-371

a service of

manage site settings

To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.