Searching for authors named Aarti Gupta – sorted by Relevance.
26 documents found, showing 1 through 10.
Next 10 →
-
Modular Verification of Web Services Using Efficient Symbolic Encoding and Summarization ∗ ABSTRACT
- … ∗ ABSTRACT Fang Yu University of California, Santa Barbara yuf@(email omitted); Aarti Gupta NEC Laboratories…
- Add To MetaCart
-
SAT-based Image Computation with Application in Reachability Analysis
- …SAT-Based Image Computation with Application in Reachability Analysis Aarti Gupta, Zijiang Yang…
- Cited by 24 (4 self) – Add To MetaCart
-
Dynamic Detection and Removal of Inactive Clauses in SAT with Application in Image Computation
- … Aarti Gupta CCRL, NEC USA 4 Independence Way Princeton, NJ 08540 agupta@(email omitted); ABSTRACT Anubhav…
- Cited by 5 (0 self) – Add To MetaCart
-
Peephole Partial Order Reduction
- …Peephole Partial Order Reduction Chao Wang 1 , Zijiang Yang 2 , Vineet Kahlon 1 , and Aarti Gupta…
- Add To MetaCart
-
Dynamic Model Checking with Property Driven Pruning to Detect Race Conditions ⋆
- … Yang 2 , Aarti Gupta 1 , and Ganesh Gopalakrishnan 2 1 NEC Laboratories America, Princeton, New Jersey…
- Add To MetaCart
-
Fast and Accurate Static Data-Race Detection forConcurrent Programs
- …, Sriram Sankaranarayanan1, and Aarti Gupta1 1 NEC Labs, Princeton, USA. 2 University of Utah, Salt Lake…
- Add To MetaCart
-
Verification of Scheduling in the Presence of Loops Using Uninterpreted Symbolic Simulation
- … Pranav Ashar Anand Raghunathan Aarti Gupta Subhrajit Bhattacharya C&C Research Laboratories, NEC USA…
- Cited by 1 (0 self) – Add To MetaCart
-
Symbolic model checking of concurrent programs using partial orders and on-the-fly transactions
- … Vineet Kahlon , Aarti Gupta , and Nishant Sinha NEC Laboratories America, Princeton, NJ 08540, USA…
- Cited by 1 (1 self) – Add To MetaCart
-
Using counterexamples for improving the precision of reachability computation with polyhedra
- … ⋆ Chao Wang 1 , Zijiang Yang 2 , Aarti Gupta 1 , and Franjo Ivančić 1 1 NEC Laboratories America…
- Cited by 2 (0 self) – Add To MetaCart
-
Mixed symbolic representations for model checking software programs
- … Aarti Gupta 2 Franjo Ivančić 2 Abstract We present an efficient symbolic search algorithm for software…
- Cited by 3 (2 self) – Add To MetaCart
Showing 1 through 10.
Next 10 →
