- Monotonic Partial Order Reduction: An Optimal Symbolic Partial Order Reduction Technique
- CONTESSA: Concurrency Testing Augmented with Symbolic Analysis
- Universal Causality Graphs: A Precise Happens-Before Model for Detecting Bugs in Concurrent Programs
- Program verification using Verification-Condition generation
- Hybrid CEGAR: Combining Variable Hiding and Predicate Abstraction
- Dynamic Model Checking with Property Driven Pruning to Detect Race Conditions
- Model Checking Sequential Software Programs Via Mixed Symbolic Analysis
- Induction in CEGAR for Detecting Counterexamples Chao Wang, Aarti Gupta, and Franjo Ivancic
- Peephole Partial Order Reduction , Zijiang Yang2
- Generating Data Race Witnesses by an SMT-based Analysis
- Towards Precise and Scalable Verification of Embedded Malay K. Ganai, Aarti Gupta, Franjo Ivancic, Vineet Kahlon, Weihong Li,
- Fine-Grain Abstraction and Sequential Don't Cares for Large Scale Model Checking
- Refining the SAT Decision Ordering for Bounded Model Checking
- Improving Ariadne's Bundle by Following Multiple Threads in Abstraction Refinement
- Interval Analysis for Concurrent Trace Programs using Transaction Sequence Graphs
- Abstraction and BDDs Complement SAT-based BMC in Aarti Gupta1, Malay Ganai1
- Learning from BDDs in SAT-based Bounded Model Aarti Gupta, Malay Ganai
- Automatic Discovery of Transition Symmetry in Multithreaded Programs using Dynamic Analysis
- Staged Concurrent Program Analysis Nishant Sinha, Chao Wang
- Sharp Disjunctive Decomposition for Language Emptiness Checking
- Coverage Guided Systematic Concurrency Testing NEC Laboratories America
- On Interference Abstractions Nishant Sinha
- Trace-based Symbolic Analysis for Atomicity Violations , Rhishikesh Limaye2
- Symbolic Predictive Analysis for Concurrent Programs , Sudipta Kundu2
- Modular Verification of Web Services Using Efficient Symbolic Encoding and Summarization
- Efficient State Space Exploration: Interleaving Stateless and State-based Model Checking
- Using Counterexamples for Improving the Precision of Reachability Computation with Polyhedra
- Embedded Software Verification Challenges and Solutions
- Embedded Software Verification Challenges and Solutions
- The Compositional Far Side of Image Computation Chao Wang Gary D. Hachtel Fabio Somenzi
- chaowang@nec-labs.com Embedded Software Verification
- Software Tools for Technology Transfer manuscript No. (will be inserted by the editor)
