Zijiang Yang

发表

CKNNI: An Improved KNN-Based Missing Value Handling Technique

Chao Jiang, Zijiang Yang, Zijiang Yang, 2015, ICIC.

Trustworthy and Dynamic Mobile Task Scheduling in Data-Intensive Scientific Workflow Environments

Shiyong Lu, Zijiang Yang, Ping Yang, 2013, Int. J. Comput. Their Appl..

Variable Reuse for Efficient Image Computation

Rajeev Alur, Zijiang Yang, 2004, FMCAD.

Localizing multiple software faults based on evolution algorithm

Yan Zheng, Zijiang Yang, Zan Wang, 2018, J. Syst. Softw..

SAM: Self-adaptive Dynamic Analysis for Multithreaded Programs

Zijiang Yang, Qichang Chen, Liqiang Wang, 2011, Haifa Verification Conference.

A multiple sequence alignment method with sequence vectorization

Zijiang Yang, Guoli Ji, Yong Zeng, 2014 .

A regression test case generation method guided with branch probability

Qinghua Zheng, Haijun Wang, Ting Liu, 2013 .

Software Plagiarism Detection with Birthmarks Based on Dynamic Key Instruction Sequences

Qinghua Zheng, Ming Fan, Ting Liu, 2015, IEEE Transactions on Software Engineering.

Deterministic replay for MCAPI programs

Zijiang Yang, Mohamed Elwakil, 2011, PADTAD '11.

Formal Modeling and Analysis of Scientific Workflows Using Hierarchical State Machines

Shiyong Lu, Zijiang Yang, Ping Yang, 2007, Third IEEE International Conference on e-Science and Grid Computing (e-Science 2007).

LemK_MSA: A Multiple Sequence Alignment Method with Sequence Vectorization Based on Lempel-Ziv

Zijiang Yang, Guoli Ji, Jing Ci Yao, 2013 .

Using methodologies to embed knowledge into the information systems development process: An investigation into the IT sector in China

Zijiang Yang, Younes Benslimane, 2011, 2011 IEEE International Conference on Industrial Engineering and Engineering Management.

New UMA Paradigm: Class 2 Opportunistic Networks

Leszek Lilien, Zijiang Yang, Ajay Gupta, 2008 .

Efficient distributed SAT and SAT-based distributed Bounded Model Checking

Zijiang Yang, Aarti Gupta, Malay K. Ganai, 2005, International Journal on Software Tools for Technology Transfer.

Execution of A Requirement Model in Software Development

Mohsen Guizani, Zijiang Yang, Kevin J. Compton, 2004, IASSE.

Assess and Predict Automatic Generation Control Performances for Thermal Power Generation Units Based on Modeling Techniques

Zijiang Yang, Yan Zhao, Song Gao, 2018 .

Iterative Abstraction using SAT-based BMC with Proof Analysis

Zijiang Yang, Aarti Gupta, Pranav Ashar, 2003, ICCAD 2003.

GUICat: GUI testing as a service

Chao Wang, Lin Cheng, Zijiang Yang, 2016, 2016 31st IEEE/ACM International Conference on Automated Software Engineering (ASE).

PDC: Pattern discovery with confidence in DNA sequences

Yi Lu, Shiyong Lu, Farshad Fotouhi, 2006, ACST.

Peephole Partial Order Reduction

Chao Wang, Zijiang Yang, Vineet Kahlon, 2008, TACAS.

Optimization based accurate scheduling for generation and reserve of power system

Feng Gao, Zijiang Yang, Yunlong Gao, 2012 .

Indexing and Designing Deadbands for Industrial Alarm Signals

Jiandong Wang, Xingzhen Bai, Zhen Wang, 2019, IEEE Transactions on Industrial Electronics.

Microstructural Materials Design Via Deep Adversarial Learning Methodology

Wei Chen, Alok N. Choudhary, Xiaolin Li, 2018, Journal of Mechanical Design.

Scalable tag recommendation for software information sites

Jin Liu, Zijiang Yang, Guangyou Zhou, 2017, 2017 IEEE 24th International Conference on Software Analysis, Evolution and Reengineering (SANER).

HAVE: Detecting Atomicity Violations via Integrated Dynamic and Static Analysis

Zijiang Yang, Scott D. Stoller, Qichang Chen, 2009, FASE.

Kinematics and dynamics analysis of the main motion system of reciprocating machine tools

Yuan Wang, Zijiang Yang, Xiangning Pan, 2018 .

ObjSim: efficient testing of cyber-physical systems

Jun Sun, Zijiang Yang, 2020, TAV-CPS/IoT@ISSTA.

CONVUL: An Effective Tool for Detecting Concurrency Vulnerabilities

Zijiang Yang, Yan Cai, Haicheng Li, 2019, 2019 34th IEEE/ACM International Conference on Automated Software Engineering (ASE).

Cross System Bank Branch Evaluation Using Clustering and Data Envelopment Analysis

Zijiang Yang, 2010, ICIC.

Research on Optimization of Compensation Topology Parameters for a Wireless Power Transmission System With Wide Coupling Coefficient Fluctuation

Guiping Du, Zijiang Yang, Wei Zeng, 2020, IEEE Access.

Assertion guided symbolic execution of multithreaded programs

Chao Wang, Zijiang Yang, Aarti Gupta, 2015, ESEC/SIGSOFT FSE.

Debugging Multithreaded Programs as if They Were Sequential

Qinghua Zheng, Yu Hao, Pei Liu, 2016, 2016 International Conference on Software Analysis, Testing and Evolution (SATE).

Automated Localization for Unreproducible Builds

He Jiang, Zijiang Yang, Jifeng Xuan, 2018, 2018 IEEE/ACM 40th International Conference on Software Engineering (ICSE).

Software defect prediction based on kernel PCA and weighted extreme learning machine

Tao Zhang, Jin Liu, Xiapu Luo, 2019, Inf. Softw. Technol..

Disjunctive image computation for software verification

Chao Wang, Zijiang Yang, Aarti Gupta, 2007, TODE.

A Multi-Source Approach for Bug Triage

Jin Liu, Chuanxiang Ma, Xiao Yu, 2016, Int. J. Softw. Eng. Knowl. Eng..

Integrating SAT with Multiway Decision Graphs for efficient model checking

O.A. Mohamed, Zijiang Yang, S. Abed, 2007, 2007 Internatonal Conference on Microelectronics.

Using partial least squares and support vector machines for bankruptcy prediction

Zijiang Yang, Guoli Ji, Wenjie You, 2011, Expert Syst. Appl..

Efficient distributed SAT and SAT-based distributed Bounded Model Checking

Zijiang Yang, Aarti Gupta, Malay K. Ganai, 2003, International Journal on Software Tools for Technology Transfer.

Deterministic replay for message-passing-based concurrent programs

Zijiang Yang, Mohamed Elwakil, 2012, TODE.

DVT-PKM: An Improved GPU Based Parallel K-Means Algorithm

Bo Yan, Ye Zhang, Hong Zheng, 2014, ICIC.

Microblog Sentiment Classification Using Parallel SVM in Apache Spark

Bo Yan, Xing Tan, Zijiang Yang, 2017, 2017 IEEE International Congress on Big Data (BigData Congress).

Time-homogeneous top-K ranking using tensor decompositions

Zijiang Yang, Shengyuan Chen, M. Reza Peyghami, 2019, Optim. Methods Softw..

Explaining Software Failures by Cascade Fault Localization

Jian Liu, Chao Wang, Chen Zhao, 2015, TODE.

Systematic reduction of GUI test sequences

Chao Wang, Lin Cheng, Zijiang Yang, 2017, 2017 32nd IEEE/ACM International Conference on Automated Software Engineering (ASE).

Design of Alarm Trippoints for Univariate Analog Process Variables Based on Alarm Probability Plots

Yan Yu, Zijiang Yang, Jiandong Wang, 2017, IEEE Transactions on Industrial Electronics.

A Fuzzy Subspace Algorithm for Clustering High Dimensional Data

Zijiang Yang, Jianhong Wu, Guojun Gan, 2006, ADMA.

Integrating principal component analysis and optimal histogram estimation for Bayesian control loop diagnosis

Bin Yao, Zijiang Yang, Guoli Ji, 2016, 2016 IEEE International Conference on Advanced Intelligent Mechatronics (AIM).

Root-cause analysis of occurring alarms in thermal power plants based on Bayesian networks

Donghua Zhou, Song Gao, Jiandong Wang, 2018, International Journal of Electrical Power & Energy Systems.

F-Soft: Software Verification Platform

Zijiang Yang, Aarti Gupta, Malay K. Ganai, 2005, CAV.

The Bidding Audit Method Based on Big Data

Shiwei Zhu, Zijiang Yang, Moji Wei, 2018 .

Dynamic detection and removal of inactive clauses in SAT with application in image computation

Zijiang Yang, Aarti Gupta, Pranav Ashar, 2001, Proceedings of the 38th Design Automation Conference (IEEE Cat. No.01CH37232).

Techniques for reducing the computational requirements of symbolic reachability analysis

Zijiang Yang, 2003 .

The impact of absorptive capacity on the ex-post adoption of agile methods: The case of Extreme Programming model

Zijiang Yang, Younes Benslimane, Bouchaib Bahli, 2011, 2011 IEEE International Conference on Industrial Engineering and Engineering Management.

Engineering a Better Fuzzer with Synergically Integrated Optimizations

Jiaguang Sun, Yu Jiang, Zijiang Yang, 2019, 2019 IEEE 30th International Symposium on Software Reliability Engineering (ISSRE).

Is There a Best Symbolic Cycle-Detection Algorithm?

Kathi Fisler, Moshe Y. Vardi, Zijiang Yang, 2001, TACAS.

Policy analysis for administrative role based access control

Zijiang Yang, Mikhail I. Gofman, Ping Yang, 2006, 19th IEEE Computer Security Foundations Workshop (CSFW'06).

Efficiency analysis of cross-region bank branches using fuzzy data envelopment analysis

Desheng Dash Wu, Liang Liang, Zijiang Yang, 2006, Appl. Math. Comput..

SAT-Based Image Computation with Application in Reachability Analysis

Zijiang Yang, Aarti Gupta, Pranav Ashar, 2000, FMCAD.

Test Case Prioritization Based on Method Call Sequences

Qinghua Zheng, Di Cui, Ting Liu, 2018, 2018 IEEE 42nd Annual Computer Software and Applications Conference (COMPSAC).

A score level fusion framework for gait-based human recognition

Yuanyuan Zhang, Zijiang Yang, Shuming Jiang, 2013, 2013 IEEE 15th International Workshop on Multimedia Signal Processing (MMSP).

EdSynth: Synthesizing API Sequences with Conditionals and Loops

Sarfraz Khurshid, Kaiyuan Wang, Zijiang Yang, 2018, 2018 IEEE 11th International Conference on Software Testing, Verification and Validation (ICST).

Exploring community structure of software Call Graph and its applications in class cohesion measurement

Qinghua Zheng, Xiaohong Guan, Lidan Wang, 2015, J. Syst. Softw..

Radius aware probabilistic testing of deadlocks with guarantees

Zijiang Yang, Yan Cai, Z. Yang, 2016, 2016 31st IEEE/ACM International Conference on Automated Software Engineering (ASE).

Investigating The Influential Factors On Firefighter Injuries Using Statistical Machine Learning

Zijiang Yang, Youwu Liu, 2018, 2018 International Conference on Machine Learning and Cybernetics (ICMLC).

Optimizing software rejuvenation policy based on CDM for cloud system

Lei Zhu, Lei Wang, Zijiang Yang, 2017, 2017 12th IEEE Conference on Industrial Electronics and Applications (ICIEA).

Policy analysis for administrative role based access control without separate administration

Zijiang Yang, Mikhail I. Gofman, Ping Yang, 2015, J. Comput. Secur..

An Intelligent Control Scheme for Nonlinear Time-Varying Systems with Time Delay

Zijiang Yang, Guoli Ji, Wei Lin, 2010 .

DEA-based analysis of software project efficiency

Zijiang Yang, 1999 .

Offline symbolic analysis to infer Total Store Order

Satish Narayanasamy, Zijiang Yang, Dongyoon Lee, 2011, 2011 IEEE 17th International Symposium on High Performance Computer Architecture.

Accelerated Gradient and Block-Wise Gradient Methods for Big Data Factorization

Zijiang Yang, Shengyuan Chen, Kevin Yang, 2018, Canadian Conference on AI.

Solving partially observable problems with inaccurate PSR models

Yunlong Liu, Zijiang Yang, Guoli Ji, 2014, Inf. Sci..

Application of Fuzzy Classification in Bankruptcy Prediction

Zijiang Yang, Guojun Gan, 2008, ICIC.

A Novel Method for Progressive Multiple Sequence Alignment Based on Lempel-Ziv

Zijiang Yang, Guoli Ji, Congting Ye, 2009, ICONIP.

Tell You a Definite Answer: Whether Your Data is Tainted During Thread Scheduling

Yu Hao, Xiaodong Zhang, Pei Liu, 2020, IEEE Transactions on Software Engineering.

A GPU Based SVM Method with Accelerated Kernel Matrix Calculation

Bo Yan, Zijiang Yang, Yitian Ren, 2015, 2015 IEEE International Congress on Big Data.

Eliminating Path Redundancy via Postconditioned Symbolic Execution

Chao Wang, Zijiang Yang, Shengjian Guo, 2018, IEEE Transactions on Software Engineering.

FastTagRec: fast tag recommendation for software information sites

Xiao Liu, Jin Liu, John Grundy, 2018, Automated Software Engineering.

Opportunistic Networks for Emergency Applications and Their Standard Implementation Framework

Leszek Lilien, Zijiang Yang, Ajay Gupta, 2007, 2007 IEEE International Performance, Computing, and Communications Conference.

Iterative Abstraction using SAT-based BMC with Proof Analysis

Zijiang Yang, Aarti Gupta, Malay K. Ganai, 2003, ICCAD.

Itinerary-Based Access Control for Mobile Tasks in Scientific Workflows

Shiyong Lu, Zijiang Yang, Ping Yang, 2007, 21st International Conference on Advanced Information Networking and Applications Workshops (AINAW'07).

Using Counterexamples for Improving the Precision of Reachability Computation with Polyhedra

Chao Wang, Zijiang Yang, Aarti Gupta, 2007, CAV.

Using DEA-neural network approach to evaluate branch efficiency of a large Canadian bank

Desheng Dash Wu, Liang Liang, Zijiang Yang, 2006, Expert Syst. Appl..

A Distribution-Free Approach to Stochastic Efficiency Measurement with Inclusion of Expert Knowledge

Joseph C. Paradi, Zijiang Yang, Kerry Khoo-Fazari, 2013, J. Appl. Math..

Partial maximum correlation information: A new feature selection method for microarray data classification

Zijiang Yang, Guoli Ji, Mingshun Yuan, 2019, Neurocomputing.

An enhanced Customer Relationship Management classification framework with Partial Focus Feature Reduction

Zijiang Yang, Yan Tu, Zijiang Yang, 2013, Expert Syst. Appl..

Message Race Detection for Web Services by an SMT-Based Analysis

Zijiang Yang, Qichang Chen, Liqiang Wang, 2010, ATC.

Mixed symbolic representations for model checking software programs

Chao Wang, Zijiang Yang, Aarti Gupta, 2006, Fourth ACM and IEEE International Conference on Formal Methods and Models for Co-Design, 2006. MEMOCODE '06. Proceedings..

DEA evaluation of a Y2K software retrofit program

Joseph C. Paradi, Zijiang Yang, 2004, IEEE Transactions on Engineering Management.

Debugging support tool for MCAPI applications

Zijiang Yang, Mohamed Elwakil, 2010, PADTAD '10.

Towards an optimal classification model against imbalanced data for Customer Relationship Management

Zijiang Yang, Yan Tu, Younes Benslimane, 2011, 2011 Seventh International Conference on Natural Computation.

Prediction of DNA-binding proteins by interaction fusion feature representation and selective ensemble

Zijiang Yang, Guoli Ji, Xiu-Feng Wan, 2019, Knowl. Based Syst..

Improving Linguistic Pairwise Comparison Consistency via Linguistic Discrete Regions

Qinghua Zheng, Minnan Luo, Ting Liu, 2016, IEEE Transactions on Fuzzy Systems.

Whodunit? Causal Analysis for Counterexamples

Chao Wang, Zijiang Yang, Aarti Gupta, 2006, ATVA.

Cross Firm Bank Branch Benchmarking Using "Handicapped" Data Envelopment Analysis to Adjust for Corporate Strategic Effects

Joseph C. Paradi, Zijiang Yang, J. Paradi, 2006, Proceedings of the 39th Annual Hawaii International Conference on System Sciences (HICSS'06).

Learning from Imbalanced Data for Predicting the Number of Software Defects

Jin Liu, Xiao Yu, Zijiang Yang, 2017, 2017 IEEE 28th International Symposium on Software Reliability Engineering (ISSRE).

Dependence Guided Symbolic Execution

Qinghua Zheng, Xiaohong Guan, Chao Shen, 2017, IEEE Transactions on Software Engineering.

Exploiting thread-related system calls for plagiarism detection of multithreaded programs

Qinghua Zheng, Ming Fan, Ting Liu, 2016, J. Syst. Softw..

Model checking C programs using F-Soft

Chao Wang, Zijiang Yang, Vineet Kahlon, 2005, 2005 International Conference on Computer Design.

Opportunistic resource utilization networks - A new paradigm for specialized ad hoc networks

Leszek Lilien, Zijiang Yang, Ajay Gupta, 2010, Comput. Electr. Eng..

Hybrid intelligent control scheme of a polymerization kettle for ACR production

Wei Chen, Zijiang Yang, Guoli Ji, 2011, Knowl. Based Syst..

Software structure evaluation based on the interaction and encapsulation of methods

Qinghua Zheng, Ting Liu, Chao Zheng, 2012, Science China Information Sciences.

Model checking sequential software programs via mixed symbolic analysis

Chao Wang, Zijiang Yang, Aarti Gupta, 2009, TODE.

AtexRace: across thread and execution sampling for in-house race detection

Yu Guo, Zijiang Yang, Yan Cai, 2017, ESEC/SIGSOFT FSE.

Context Aware Machine Learning Approaches for Modeling Elastic Localization in Three-Dimensional Composite Microstructures

Ankit Agrawal, Alok Choudhary, Surya R. Kalidindi, 2017, Integrating Materials and Manufacturing Innovation.

A Synergistic Analysis Method for Explaining Failed Regression Tests

Jian Liu, Chao Wang, Chen Zhao, 2015, 2015 IEEE/ACM 37th IEEE International Conference on Software Engineering.

Linking commercial website functions to perceived usefulness: A free disposal hull approach

Zijiang Yang, Younes Benslimane, Zijiang Yang, 2007, Math. Comput. Model..

Abstraction and BDDs Complement SAT-Based BMC in DiVer

Chao Wang, Zijiang Yang, Aarti Gupta, 2003, CAV.

Directed test suite augmentation via exploiting program dependency

Qinghua Zheng, Xiaohong Guan, Ting Liu, 2014, CSTVA 2014.

Feature selection for high-dimensional multi-category data using PLS-based local recursive feature elimination

Zijiang Yang, Guoli Ji, Wenjie You, 2014, Expert Syst. Appl..

Using linear discriminant analysis and data mining approaches to identify E-commerce anomaly

Bo Yan, Zijiang Yang, Shouxin Cao, 2011, 2011 Seventh International Conference on Natural Computation.

Automated Testing of Definition-Use Data Flow for Multithreaded Programs

Qinghua Zheng, Yu Hao, Pei Liu, 2017, 2017 IEEE International Conference on Software Testing, Verification and Validation (ICST).

Early Detection of Smart Ponzi Scheme Contracts Based on Behavior Forest Similarity

Zijiang Yang, Zhenyu Chen, Weisong Sun, 2020, 2020 IEEE 20th International Conference on Software Quality, Reliability and Security (QRS).

A two-stage DEA model to evaluate the overall performance of Canadian life and health insurance companies

Zijiang Yang, Zijiang Yang, 2006, Math. Comput. Model..

Generating Data Race Witnesses by an SMT-Based Analysis

Chao Wang, Zijiang Yang, Karem A. Sakallah, 2011, NASA Formal Methods.

A novel feature selection method to predict protein structural class

Zijiang Yang, Guoli Ji, Guangzao Huang, 2018, Comput. Biol. Chem..

The Impact of Feature Selection on Defect Prediction Performance: An Empirical Comparison

Jin Liu, Zhou Xu, Zijiang Yang, 2016, 2016 IEEE 27th International Symposium on Software Reliability Engineering (ISSRE).

The Bayesian Network based program dependence graph and its application to fault localization

Xiao Liu, Jin Liu, Xiao Yu, 2017, J. Syst. Softw..

Using Learned PSR Model for Planning under Uncertainty

Yunlong Liu, Zijiang Yang, Guoli Ji, 2010, Canadian Conference on AI.

Debugging Multithreaded Programs as if They Were Sequential

Qinghua Zheng, Yu Hao, Xiaodong Zhang, 2018, IEEE Access.

Lag Synchronization of Unknown Chaotic Delayed Yang–Yang-Type Fuzzy Neural Networks With Noise Perturbation Based on Adaptive Control and Parameter Identification

Zijiang Yang, Maoan Han, Yonghui Xia, 2009, IEEE Transactions on Neural Networks.

Symbolic Analysis of Concurrency Errors in OpenMP Programs

Zijiang Yang, Daniel J. Quinlan, Chunhua Liao, 2013, 2013 42nd International Conference on Parallel Processing.

Bitwidth Reduction via Symbolic Interval Analysis for Software Model Checking

Srihari Cadambi, Zijiang Yang, Aarti Gupta, 2008, IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems.

Deterministic seismic hazard map for Taiwan developed using an in-house Excel-based program

Zijiang Yang, Duruo Huang, Jui-Pin Wang, 2012, Comput. Geosci..

A novel two-level nearest neighbor classification algorithm using an adaptive distance metric

Zijiang Yang, Yunlong Gao, Guoli Ji, 2012, Knowl. Based Syst..

Software survivability evaluation method based on software calling structure

Ting Liu, Chao Zheng, Zijiang Yang, 2013 .

Reviving Sequential Program Birthmarking for Multithreaded Software Plagiarism Detection

Qinghua Zheng, Ming Fan, Zijiang Yang, 2018, IEEE Transactions on Software Engineering.

Offline symbolic analysis for multi-processor execution replay

Satish Narayanasamy, Zijiang Yang, Cristiano Pereira, 2009, 2009 42nd Annual IEEE/ACM International Symposium on Microarchitecture (MICRO).

Learning from BDDs in SAT-based bounded model checking

Chao Wang, Zijiang Yang, Aarti Gupta, 2003, Proceedings 2003. Design Automation Conference (IEEE Cat. No.03CH37451).

Postconditioned Symbolic Execution

Jian Liu, Chao Wang, Chen Zhao, 2015, 2015 IEEE 8th International Conference on Software Testing, Verification and Validation (ICST).

Using range analysis for software verification

Anoop Gupta, Srihari Cadambi, Zijiang Yang, 2006 .

HEAT: An Integrated Static and Dynamic Approach for Thread Escape Analysis

Zijiang Yang, Qichang Chen, Liqiang Wang, 2009, 2009 33rd Annual IEEE International Computer Software and Applications Conference.

Exploiting Behavioral Hierarchy for Efficient Model Checking

Rajeev Alur, Zijiang Yang, Michael McDougall, 2002, CAV.

Dynamic Random Testing with Parameter Adjustment

Kai-Yuan Cai, Stephen S. Yau, Jia Yu, 2014, 2014 IEEE 38th International Computer Software and Applications Conference Workshops.

Hybrid FDTD/AUTOCAD® method for the analysis of BOR horns and reflectors

Raj Mittra, Zijiang Yang, Yinchao Chen, 2003 .

A Deep Adversarial Learning Methodology for Designing Microstructural Material Systems

Xiaolin Li, Ankit Agrawal, Alok Choudhary, 2018, Volume 2B: 44th Design Automation Conference.

Using the bootstrap method to detect influential DMUs in data envelopment analysis

Xiaogang Wang, Zijiang Yang, Dongming Sun, 2010, Ann. Oper. Res..

PLS-Based Gene Selection and Identification of Tumor-Specific Genes

Zijiang Yang, Guoli Ji, Wenjie You, 2011, IEEE Transactions on Systems, Man, and Cybernetics, Part C (Applications and Reviews).

A Dynamic AdaBoost Algorithm With Adaptive Changes of Loss Function

Zijiang Yang, Yunlong Gao, Guoli Ji, 2012, IEEE Transactions on Systems, Man, and Cybernetics, Part C (Applications and Reviews).

A Genetic k-Modes Algorithm for Clustering Categorical Data

Zijiang Yang, Jianhong Wu, Guojun Gan, 2005, ADMA.

Information flow analysis of scientific workflows

Shiyong Lu, Zijiang Yang, Mikhail I. Gofman, 2010, J. Comput. Syst. Sci..

Runtime Security Verification for Itinerary-Driven Mobile Agents

Shiyong Lu, Zijiang Yang, Ping Yang, 2006, 2006 2nd IEEE International Symposium on Dependable, Autonomic and Secure Computing.

Performance analysis of symbolic reachability algorithms in model checking

Zijiang Yang, 2000 .

New step down procedures for control of the familywise error rate

Zijiang Yang, 2008 .

Model Checking Approach to Secure Host Access Enforcement of Mobile Tasks in Scientific Workflows

Shiyong Lu, Zijiang Yang, Ping Yang, 2011, Int. J. Comput. Their Appl..

Feature selection by maximizing correlation information for integrated high-dimensional protein data

Zijiang Yang, Guoli Ji, Guangzao Huang, 2017, Pattern Recognit. Lett..

Partition-based decision heuristics for image computation using SAT and BDDs

Sharad Malik, Zijiang Yang, Aarti Gupta, 2001, IEEE/ACM International Conference on Computer Aided Design. ICCAD 2001. IEEE/ACM Digest of Technical Papers (Cat. No.01CH37281).

HEAT: a combined approach for thread escape analysis

Zijiang Yang, Qichang Chen, Liqiang Wang, 2011, Int. J. Syst. Assur. Eng. Manag..

sCompile: Critical Path Identification and Analysis for Smart Contracts pdf

Bo Gao, Jun Sun, Hao Xiao, 2018, ICFEM.

What Causes My Test Alarm? Automatic Cause Analysis for Test Alarms in System and Integration Testing

Xiaochen Li, He Jiang, Zijiang Yang, 2017, 2017 IEEE/ACM 39th International Conference on Software Engineering (ICSE).

A New Thread-Aware Birthmark for Plagiarism Detection of Multithreaded Programs

Qinghua Zheng, Ming Fan, Ting Liu, 2016, 2016 IEEE/ACM 38th International Conference on Software Engineering Companion (ICSE-C).

Detection of Correlated Alarms Based on Similarity Coefficients of Binary Data

Tongwen Chen, Zijiang Yang, Jiandong Wang, 2013, IEEE Transactions on Automation Science and Engineering.

Is deep learning better than traditional approaches in tag recommendation for software information sites?

Xiao Liu, Jin Liu, John C. Grundy, 2019, Inf. Softw. Technol..

Research on Server Load Prediction Based on Wavelet Packet Theory

Zijiang Yang, 2007, 2007 First IEEE International Symposium on Information Technologies and Applications in Education.

CRI: Symbolic Debugger for MCAPI Applications

Zijiang Yang, Liqiang Wang, Mohamed Elwakil, 2010, ATVA.

The MicroOppnet tool for Collaborative Computing experiments with class 2 opportunistic networks

Leszek Lilien, Zijiang Yang, Ajay Gupta, 2007, 2007 International Conference on Collaborative Computing: Networking, Applications and Worksharing (CollaborateCom 2007).

Guest editorial: special issue on concurrent software quality

Chao Wang, Ting Liu, Zijiang Yang, 2018, Software Quality Journal.

New pole-searching algorithm with applications to probabilistic circular slope stability assessment

Zijiang Yang, Duruo Huang, Jui-Pin Wang, 2013, Comput. Geosci..

Memory Distance Measurement for Concurrent Programs

Steve Carr, Zijiang Yang, Hao Li, 2017, LCPC.

Reducing Test Cases with Causality Partitions

Qinghua Zheng, Xiangyang Li, Xiaohong Guan, 2014, SEKE.

A discrete region-based approach to improve the consistency of pair-wise comparison matrix

Qinghua Zheng, Ting Liu, Zijiang Yang, 2013, 2013 IEEE International Conference on Fuzzy Systems (FUZZ-IEEE).

Preliminary assessment of a combined passive safety system for typical 3-loop PWR CPR1000

Zijiang Yang, Jianqiang Shan, Junli Gou, 2017 .