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
-
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
-
Whodunit? Causal analysis for counterexamples
- … , and Aarti Gupta 1 1 NEC Laboratories America 4 Independence way, Princeton, NJ 08540, USA {chaowang…
- Cited by 1 (0 self) – Add To MetaCart
-
Toward Formalizing a Validation Methodology Using Simulation Coverage
- …Toward Formalizing a Validation Methodology Using Simulation Coverage ABSTRACT Aarti Gupta CCRL…
- Cited by 16 (0 self) – Add To MetaCart
Showing 1 through 10.
Next 10 →
