Stop the war!

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

for scientists:

default search action

combined dblp search
author search
venue search
publication search

ask others

Malay K. Ganai

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 Chao Wang 0001

> Home > Persons > Malay K. Ganai

Publications

2011
[j7]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/fac/WangKLGG11
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/fac/WangKLGG11
Chao Wang, Sudipta Kundu, Rhishikesh Limaye, Malay K. Ganai, Aarti Gupta:
Symbolic predictive analysis for concurrent programs. Formal Aspects Comput. 23(6): 781-805 (2011)
[c49]
- view
  authority control:
- export record
  dblp key:
  - conf/kbse/GanaiAWGB11
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/kbse/GanaiAWGB11
Malay K. Ganai, Nipun Arora, Chao Wang, Aarti Gupta, Gogul Balakrishnan:
BEST: A symbolic testing tool for predicting multi-threaded program failures. ASE 2011: 596-599
[c48]
- view
  authority control:
- export record
  dblp key:
  - conf/rv/WangG11
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/rv/WangG11
Chao Wang, Malay K. Ganai:
Predicting Concurrency Failures in the Generalized Execution Traces of x86 Executables. RV 2011: 4-18
2010
[c47]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - conf/cav/KunduGW10
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/cav/KunduGW10
Sudipta Kundu, Malay K. Ganai, Chao Wang:
Contessa: Concurrency Testing Augmented with Symbolic Analysis. CAV 2010: 127-131
[c44]
- view
  - electronic edition @ ieee.org
  - no references & citations available
- export record
  dblp key:
  - conf/fmcad/BalakrishnanGGIKLMPSSW10
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/fmcad/BalakrishnanGGIKLMPSSW10
Gogul Balakrishnan, Malay K. Ganai, Aarti Gupta, Franjo Ivancic, Vineet Kahlon, Weihong Li, Naoto Maeda, Nadia Papakonstantinou, Sriram Sankaranarayanan, Nishant Sinha, Chao Wang:
Scalable and precise program analysis at NEC. FMCAD 2010: 273-274
[c43]
- view
  authority control:
- export record
  dblp key:
  - conf/iccad/GanaiWL10
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/iccad/GanaiWL10
Malay K. Ganai, Chao Wang, Weihong Li:
Efficient state space exploration: Interleaving stateless and state-based model checking. ICCAD 2010: 786-793
[c41]
- view
  authority control:
- export record
  dblp key:
  - conf/rv/GanaiW10
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/rv/GanaiW10
Malay K. Ganai, Chao Wang:
Interval Analysis for Concurrent Trace Programs Using Transaction Sequence Graphs. RV 2010: 253-269
[c40]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - conf/tacas/WangLGG10
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/tacas/WangLGG10
Chao Wang, Rhishikesh Limaye, Malay K. Ganai, Aarti Gupta:
Trace-Based Symbolic Analysis for Atomicity Violations. TACAS 2010: 328-342
2009
[c39]
- view
  authority control:
- export record
  dblp key:
  - conf/fm/WangKGG09
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/fm/WangKGG09
Chao Wang, Sudipta Kundu, Malay K. Ganai, Aarti Gupta:
Symbolic Predictive Analysis for Concurrent Programs. FM 2009: 256-272
2006
[c25]
- view
  authority control:
- export record
  dblp key:
  - conf/dac/WangGG06
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/dac/WangGG06
Chao Wang, Aarti Gupta, Malay K. Ganai:
Predicate learning and selective theory deduction for a difference logic solver. DAC 2006: 235-240
[c23]
- view
  authority control:
- export record
  dblp key:
  - conf/sfm/GuptaGW06
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sfm/GuptaGW06
Aarti Gupta, Malay K. Ganai, Chao Wang:
SAT-Based Verification Methods and Applications in Hardware Verification. SFM 2006: 108-143
2005
[c18]
- view
  authority control:
- export record
  dblp key:
  - conf/iccd/IvanicicSGG05
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/iccd/IvanicicSGG05
Franjo Ivancic, Ilya Shlyakhter, Aarti Gupta, Malay K. Ganai, Vineet Kahlon, Chao Wang, Zijiang Yang:
Model Checking C Programs Using F-SOFT. ICCD 2005: 297-308
[c17]
- view
  authority control:
- export record
  dblp key:
  - conf/lpar/WangIGG05
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/lpar/WangIGG05
Chao Wang, Franjo Ivancic, Malay K. Ganai, Aarti Gupta:
Deciding Separation Logic Formulae by SAT and Incremental Negative Cycle Elimination. LPAR 2005: 322-336
2003
[c10]
- 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
[c8]
- 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

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.