2009 |
41 | EE | Qichang Chen,
Liqiang Wang,
Zijiang Yang,
Scott D. Stoller:
HAVE: Detecting Atomicity Violations via Integrated Dynamic and Static Analysis.
FASE 2009: 425-439 |
40 | EE | Zijiang Yang,
Bashar Al-Rawi,
Karem Sakallah,
Xiaowan Huang,
Scott A. Smolka,
Radu Grosu:
Dynamic Path Reduction for Software Model Checking.
IFM 2009: 322-336 |
39 | EE | Zijiang Yang,
Chao Wang,
Aarti Gupta,
Franjo Ivancic:
Model checking sequential software programs via mixed symbolic analysis.
ACM Trans. Design Autom. Electr. Syst. 14(1): (2009) |
2008 |
38 | EE | Zijiang Yang,
Guojun Gan:
Application of Fuzzy Classification in Bankruptcy Prediction.
ICIC (1) 2008: 921-928 |
37 | EE | Chao Wang,
Zijiang Yang,
Vineet Kahlon,
Aarti Gupta:
Peephole Partial Order Reduction.
TACAS 2008: 382-396 |
36 | EE | Aleksandr Zaks,
Zijiang Yang,
Ilya Shlyakhter,
Franjo Ivancic,
Srihari Cadambi,
Malay K. Ganai,
Aarti Gupta,
Pranav Ashar:
Bitwidth Reduction via Symbolic Interval Analysis for Software Model Checking.
IEEE Trans. on CAD of Integrated Circuits and Systems 27(8): 1513-1517 (2008) |
35 | EE | Franjo Ivancic,
Zijiang Yang,
Malay K. Ganai,
Aarti Gupta,
Pranav Ashar:
Efficient SAT-based bounded model checking for software verification.
Theor. Comput. Sci. 404(3): 256-274 (2008) |
2007 |
34 | EE | Zijiang Yang,
Shiyong Lu,
Ping Yang:
Itinerary-Based Access Control for Mobile Tasks in Scientific Workflows.
AINA Workshops (2) 2007: 506-511 |
33 | EE | Chao Wang,
Zijiang Yang,
Aarti Gupta,
Franjo Ivancic:
Using Counterexamples for Improving the Precision of Reachability Computation with Polyhedra.
CAV 2007: 352-365 |
32 | EE | Zille Huma Kamal,
Ajay K. Gupta,
Leszek Lilien,
Zijiang Yang:
The MicroOppnet tool for Collaborative Computing experiments with class 2 opportunistic networks.
CollaborateCom 2007: 150-159 |
31 | EE | Leszek Lilien,
Ajay K. Gupta,
Zijiang Yang:
Opportunistic Networks for Emergency Applications and Their Standard Implementation Framework.
IPCCC 2007: 588-593 |
30 | EE | Ping Yang,
Zijiang Yang,
Shiyong Lu:
Formal Modeling and Analysis of Scientific Workflows Using Hierarchical State Machines.
eScience 2007: 619-626 |
29 | EE | Chao Wang,
Zijiang Yang,
Franjo Ivancic,
Aarti Gupta:
Disjunctive image computation for software verification.
ACM Trans. Design Autom. Electr. Syst. 12(2): (2007) |
28 | EE | Desheng Wu,
Zijiang Yang,
Sandra Vela,
Liang Liang:
Simultaneous analysis of production and investment performance of Canadian life and health insurance companies using data envelopment analysis.
Computers & OR 34(1): 180-198 (2007) |
2006 |
27 | | Yi Lu,
Shiyong Lu,
Farshad Fotouhi,
Yan Sun,
Zijiang Yang,
Lily R. Liang:
PDC: Pattern discovery with confidence in DNA sequences.
ACST 2006: 345-350 |
26 | EE | Guojun Gan,
Jianhong Wu,
Zijiang Yang:
A Fuzzy Subspace Algorithm for Clustering High Dimensional Data.
ADMA 2006: 271-278 |
25 | EE | Chao Wang,
Zijiang Yang,
Franjo Ivancic,
Aarti Gupta:
Whodunit? Causal Analysis for Counterexamples.
ATVA 2006: 82-95 |
24 | EE | Zijiang Yang,
Shiyong Lu,
Ping Yang:
Runtime Security Verification for Itinerary-Driven Mobile Agents.
DASC 2006: 177-186 |
23 | EE | Chao Wang,
Zijiang Yang,
Franjo Ivancic,
Aarti Gupta:
Disjunctive image computation for embedded software verification.
DATE 2006: 1205-1210 |
22 | EE | Zijiang Yang,
Joseph C. Paradi:
Cross Firm Bank Branch Benchmarking Using "Handicapped" Data Envelopment Analysis to Adjust for Corporate Strategic Effects.
HICSS 2006 |
21 | EE | Guojun Gan,
Jianhong Wu,
Zijiang Yang:
PARTCAT: A Subspace Clustering Algorithm for High Dimensional Categorical Data.
IJCNN 2006: 4406-4412 |
20 | EE | Zijiang Yang,
Chao Wang,
Aarti Gupta,
Franjo Ivancic:
Mixed symbolic representations for model checking software programs.
MEMOCODE 2006: 17-26 |
19 | EE | Desheng Wu,
Zijiang Yang,
Liang Liang:
Efficiency analysis of cross-region bank branches using fuzzy data envelopment analysis.
Applied Mathematics and Computation 181(1): 271-281 (2006) |
18 | EE | Manuel Muñiz,
Joseph C. Paradi,
John Ruggiero,
Zijiang Yang:
Evaluating alternative DEA models used to control for non-discretionary inputs.
Computers & OR 33: 1173-1183 (2006) |
17 | EE | Supratik Mukhopadhyay,
Abhik Roychoudhury,
Zijiang Yang:
Preface.
Electr. Notes Theor. Comput. Sci. 157(1): 1 (2006) |
16 | EE | Desheng Wu,
Zijiang Yang,
Liang Liang:
Using DEA-neural network approach to evaluate branch efficiency of a large Canadian bank.
Expert Syst. Appl. 31(1): 108-115 (2006) |
15 | EE | Malay K. Ganai,
Aarti Gupta,
Zijiang Yang,
Pranav Ashar:
Efficient distributed SAT and SAT-based distributed Bounded Model Checking.
STTT 8(4-5): 387-396 (2006) |
2005 |
14 | EE | Guojun Gan,
Zijiang Yang,
Jianhong Wu:
A Genetic k-Modes Algorithm for Clustering Categorical Data.
ADMA 2005: 195-202 |
13 | EE | Franjo Ivancic,
Zijiang Yang,
Malay K. Ganai,
Aarti Gupta,
Ilya Shlyakhter,
Pranav Ashar:
F-Soft: Software Verification Platform.
CAV 2005: 301-306 |
2004 |
12 | EE | Zijiang Yang,
Rajeev Alur:
Variable Reuse for Efficient Image Computation.
FMCAD 2004: 430-444 |
11 | | Wuwei Shen,
Mohsen Guizani,
Zijiang Yang,
Kevin J. Compton,
James Huggins:
Execution of A Requirement Model in Software Development.
IASSE 2004: 203-208 |
10 | | Pranav Ashar,
Malay K. Ganai,
Aarti Gupta,
Franjo Ivancic,
Zijiang Yang:
Efficient SAT-based Bounded Model Checking for Software Verification.
ISoLA (Preliminary proceedings) 2004: 157-164 |
2003 |
9 | EE | Aarti Gupta,
Malay K. Ganai,
Chao Wang,
Zijiang Yang,
Pranav Ashar:
Abstraction and BDDs Complement SAT-Based BMC in DiVer.
CAV 2003: 206-209 |
8 | EE | Malay K. Ganai,
Aarti Gupta,
Zijiang Yang,
Pranav Ashar:
Efficient Distributed SAT and SAT-Based Distributed Bounded Model Checking.
CHARME 2003: 334-347 |
7 | EE | Aarti Gupta,
Malay K. Ganai,
Chao Wang,
Zijiang Yang,
Pranav Ashar:
Learning from BDDs in SAT-based bounded model checking.
DAC 2003: 824-829 |
6 | EE | Aarti Gupta,
Malay K. Ganai,
Zijiang Yang,
Pranav Ashar:
Iterative Abstraction using SAT-based BMC with Proof Analysis.
ICCAD 2003: 416-423 |
2002 |
5 | EE | Rajeev Alur,
Michael McDougall,
Zijiang Yang:
Exploiting Behavioral Hierarchy for Efficient Model Checking.
CAV 2002: 338-342 |
2001 |
4 | EE | Aarti Gupta,
Anubhav Gupta,
Zijiang Yang,
Pranav Ashar:
Dynamic Detection and Removal of Inactive Clauses in SAT with Application in Image Computation.
DAC 2001: 536-541 |
3 | EE | Aarti Gupta,
Zijiang Yang,
Pranav Ashar,
Lintao Zhang,
Sharad Malik:
Partition-Based Decision Heuristics for Image Computation Using SAT and BDDs.
ICCAD 2001: 286-292 |
2 | EE | Kathi Fisler,
Ranan Fraer,
Gila Kamhi,
Moshe Y. Vardi,
Zijiang Yang:
Is There a Best Symbolic Cycle-Detection Algorithm?
TACAS 2001: 420-434 |
2000 |
1 | EE | Aarti Gupta,
Zijiang Yang,
Pranav Ashar,
Anubhav Gupta:
SAT-Based Image Computation with Application in Reachability Analysis.
FMCAD 2000: 354-371 |