Searching for authors named "Zijiang Yang" – sorted by Relevance.
16 documents found, showing 1 through 10.
Next 10 →
-
Runtime Security Verification for Itinerary-Driven Mobile Agents
- …Runtime Security Verification for Itinerary-Driven Mobile Agents Zijiang Yang ∗ Western Michigan…
- 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
-
Opportunistic Networks for Emergency Preparedness and Response," submitted for publication
- … Lilien, * Senior Member, IEEE, Ajay Gupta, Senior Member, IEEE, Zijiang Yang, Member, IEEE Wireless…
- Cited by 3 (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
- …Mixed Symbolic Representations for Model Checking Software Programs Zijiang Yang 1 Chao Wang 2…
- Cited by 3 (2 self) – Add To MetaCart
-
Whodunit? Causal analysis for counterexamples
- …Whodunit? Causal Analysis for Counterexamples ⋆ Chao Wang 1 , Zijiang Yang 2 ,FranjoIvančić 1…
- Cited by 1 (0 self) – Add To MetaCart
-
Execution of a requirement model in software development
- … Yang Dept of Computer Science, Western Michigan University {wwshen,mguizani,zijiang}@(email omitted); Kevin…
- Cited by 2 (1 self) – 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
- …, USA. Copyright 2001 ACM 1-58113-297-2/01/0006 ...$5.00. Zijiang Yang, Pranav Ashar CCRL, NEC USA 4…
- Cited by 5 (0 self) – Add To MetaCart
-
Partition-Based Decision Heuristics for Image Computation using SAT and BDDs
- …Partition-Based Decision Heuristics for Image Computation using SAT and BDDs Aarti Gupta, Zijiang…
- Cited by 22 (0 self) – Add To MetaCart
Showing 1 through 10.
Next 10 →
