HOME

Zijiang James Yang





Zijiang James Yang is the founder of GuardStrike Inc. and a professor in the School of Computer Science at Xian Jiaotong University. His research is in the broad areas of software engineering and formal methods. The primary focus is to develop formal method based tools to support the debugging, analysis and verification of complex systems. He has published over 100 referred conference and journal papers. He is also an inventor of ten United States patents. .

Dr. Yang received his Ph.D. under the supervision of Prof. Rajeev Alur from the University of Pennsylvania, M.S. under the supervision of Prof. Moshe Vardi from Rice University, and B.S. from the University of Science and Technology of China, all in computer science. He was a recipient of the 2018 ACM SIGSOFT Distinguished Paper Award, 2015 CEAS outstanding researcher award, 2010 PADTAD best paper award, 2008 ACM TODAES best paper award and the 2008 CEAS outstanding new researcher award. He was a professor at Western Michigan University from 2003 to 2020 and also. a visiting professor at the University of Michigan from 2009 to 2013. He is the general chair of the 12th IEEE Conference on Software Testing, Validation and Verification (ICST).


Selected Projects

SelfDriveGuard, an autonomous driving simulation platform developed by GuardStrike, offers high-fidelity driving environment with photorealistic rendering of scenes and traffic flows.
MosGuard is a security protection system that scans system firmware for vulnerabilities based on vulnerability characteristics. More than 700 different versions of Android vulnerabilities have been recorded in the vulnerability database, which will be expanded to support more types of operating systems
In response to the increasing proliferation of facial forgery, GuardStrike independently developed a content security identification platform，It also integrates forgery identification scenarios and complex scenarios OCR functions, which can be applied to financial security, risk management and other scenarios to improve business security and efficiency.
Road inspection is a solution based on deep learning to automatically identify road disasters and road anomalies through AI model, replacing traditional manual road inspection to improve safety protection efficiency.

Professional Activities

  • Co-chair, IEEE Technical Committee on Autonomous Vehicle Software
  • General Chair, the 12th IEEE Conference on Software Testing, Validation and Verification (ICST), 2019.


    • Publications


    2022

    1. Weifeng Pan, Hua Ming, Dae-Kyoo Kim, and Zijiang Yang，Pride: Prioritizing Documentation Effort Based on a PageRank-Like Algorithm and Simple Filtering Rules，IEEE Trans. Software Eng (TSE), 2022, to appear.
    2. Weifeng Pan, Hua Ming, Zijiang Yang, and Tian Wang, Comments on “Using k-core Decomposition on Class Dependency Networks to Improve Bug Prediction Model’s Practical Performance”, IEEE Trans. Software Eng (TSE), 2022, to appear.
    3. M. Fan, W. Wei, W. Jin, Z. Yang, T. Liu. Explanation-Guided Fairness Testing through Genetic Algorithm. IEEE International Conference on Software Engineering (ICSE), 2022.

    2021

    1. J. Guo, Z. Si, Y. Wang, Q. Liu, M. Fan, J. LOU, Z. Yang, T. Liu. Chase: A Large-Scale and Pragmatic Chinese Dataset for Cross-Database Context-Dependent Text-to-SQL. 57th Annual Meeting of the Association for Computational Linguistics (ACL), Bangkok, Thailand, 2021.
    2. H. Wang, Y. Lin, Z. Yang, J. Sun, Y. Liu, J. Dong, Q. Zheng, T. Liu. Explaining Regressions via Alignment Slicing and Mending. IEEE Transactions on Software Engineering. 47(11), 2421-2437, 2021.
    3. Kunpeng Yu, Chenxu Wang, Yan Cai, Xiapu Luo, Zijiang Yang, Detecting concurrency vulnerabilities based on partial orders of memory and thread events, the 29th ACM Joint Meeting on European Software Engineering Conference and Symposium on the Foundations of Software Engineering (FSE), 2021.

    2020

    1. Jihong Wang, Minnan Luo, Fnu Suya, Jundong Li, Zijiang Yang, Qinghua Zheng: Scalable attack on graph data by injecting vicious nodes. Data Mining and Knowledge Discovery (DMKD) 34(5): 1363-1389 (2020)
    2. Fengjuan Gao, Yu Wang, Linzhang Wang, Zijiang Yang, Xuandong Li: Automatic Buffer Overflow Warning Validation. Journal of Computer Science and Technology (JCST). 35(6): 1406-1427 (2020)
    3. Jianlei Chi, Yu Qu, Qinghua Zheng, Zijiang Yang, Wuxia Jin, Di Cui, Ting Liu: Relation-based test case prioritization for regression testing. Journal of System Software，2020.
    4. Xiaodong Zhang, Zijiang Yang, Qinghua Zheng, Yu Hao, Pei Liu, Ting Liu: Tell You a Definite Answer: Whether Your Data is Tainted During Thread Scheduling. IEEE Trans. Software Eng (TSE). 46(9): 916-931 (2020)
    5. Jihong Wang, Minnan Luo, Fnu Suya, Jundong Li, Zijiang Yang, Qinghua Zheng: Scalable Attack on Graph Data by Injecting Vicious Nodes. CoRR abs/2004.13825 (2020)
    6. Lin Cheng, Zijiang Yang: GRCNN: Graph Recognition Convolutional Neural Network for Synthesizing Programs from Flow Charts. CoRR abs/2011.05980 (2020)

    2019

    1. Zhou Xu, Jin Liu, Xiapu Luo, Zijiang Yang, Yifeng Zhang, Peipei Yuan, Yutian Tang, Tao Zhang.Software defect prediction based on kernel PCA and weighted extreme learning machine. Information and Software Technology (IST). 106: 182-200,2019.
    2. Pingyi Zhou, Jin Liu, Xiao Liu, Zijiang Yang, John Grundy. Is deep learning better than traditional approaches in tag recommendation for software information sites? Information and Software Technology (IST). 109: 1-13,2019.
    3. Jian Gao, Yu Jiang, Zhe Liu, Xin Yang, Cong Wang, Xun Jiao, Zijiang Yang, Jiaguang Sun. Semantic Learning and Emulation Based Cross-platform Binary Vulnerability Seeker. IEEE Transactions on Software Engineering, 2019.
    4. Haijun Wang, Yun Lin, Zijiang Yang, Jun Sun, Yang Liu, Jin Song Dong, Qinghua Zheng, Ting Liu. Explaining regressions via alignment slicing and mending. IEEE Transactions on Software Engineering, 2019.
    5. Weifeng Pan, Hua Ming, Carl Chang, Zijiang Yang, Dae-Kyoo Kim. ElementRank: Ranking Java Software Classes and Packages using a Multilayer Complex Network-Based Approach. IEEE Transactions on Software Engineering, 2019.

    2018

    1. [BIB]Zhilei Ren, He Jiang, Jifeng Xuan and Zijiang Yang. Automated Localization for Unreproducible Builds. The 40th International Conference on Software Engineering (ICSE), May 27-June 3, 2018. Gothenburg, Sweden.
    2. [BIB]Qiuping Yi, Zijiang Yang, Shengjian Guo, Chao Wang, Jian Liu and Chen Zhao. Eliminating Path Redundancy via Postconditioned Symbolic Execution. IEEE Transactions on Software Engineering (TSE). 44(1): 25-43 (2018).

    3. Xiaodong Zhang, Zijiang Yang, Qinghua Zheng, Yu Hao, Pei Liu, Lechen Yu, Ting Liu: Debugging Multithreaded Programs as if They Were Sequential. IEEE Access 6: 40024-40040 (2018).
    4. Jin Liu, Pingyi Zhou, Zijiang Yang, Xiao Liu, John Grundy: FastTagRec: fast tag recommendation for software information sites. Automated Software Engineering 25(4): 675-701 (2018).
    5. Zhenzhou Tian, Ting Liu, Qinghua Zheng, Eryue Zhuang, Ming Fan, Zijiang Yang: Reviving Sequential Program Birthmarking for Multithreaded Software Plagiarism Detection. IEEE Transactions on Software Engineering (TSE). 44(5): 491-511 (2018).

    2017

    1. [BIB]Lin Cheng, Zijiang Yang, Chao Wang. Systematic Reduction of GUI Test Sequences. The 32nd EEE/ACM International Conference on Automated Software Engineering (ASE), October 30-November 3, 2017. Urbana-Champaign, Illinois, USA.
    2. [BIB]Xiao Yu, Jin Liu, Zijiang Yang,Qing Li, Xiangyang Jia. Learning from Imbalanced Data for Predicting the Number of Software Defects. The 28th International Symposium on Software Reliability Engineering (ISSRE), October 23-26, 2017. Toulouse, France.
    3. [BIB]Hao Li, Jialiang Chang, Zijiang Yang, Steve Carr. Memory Distance Measurement for Concurrent Programs. The 30th International Workshop on Languages and Compilers for Parallel Computing. October 11-13, 2017. College Station, TX, USA.
    4. [BIB]Yu Guo, Yan Cai and Zijiang Yang. AtexRace: Across Thread and Execution Sampling for In-house Race Detection. ACM SIGSOFT Symposium on the Foundations of Software Engineering (FSE). September 4-8, 2017. Paderborn, Germany.
    5. [BIB]Xiao Yu, Jin Liu, Zijiang Yang and Xiao Liu. The Bayesian Network Based Program Dependence Graph and Its Application to Fault Localization. Journal of Systems and Software (JSS).134: 44-53 (2017).
    6. [BIB]Zhenzhou Tian, Ting Liu, Qinghua Zheng, Eryue Zhuang, Ming Fan and Zijiang Yang. Reviving Sequential Program Birthmarking for Multithreaded Software Plagiarism Detection. IEEE Transactions on Software Engineering (TSE). Volumn PP, Issue 99, 2017.
    7. [BIB]He Jiang, Xiaochen Li, Zijiang Yang and Jifeng Xuan. What Causes My Test Alarm? Automatic Cause Analysis for Test Alarms in System and Integration Testing. The 39th International Conference on Software Engineering (ICSE), May 20-28, 2017. Buenos Aires, Argentina.
    8. [BIB]Xiaodong Zhang, Zijiang Yang, Qinghua Zheng, Pei Liu, Jialiang Chang, Yu Hao and Ting Liu. Automated Testing of Definition-Use Data Flow for Multithreaded Programs. The 10th IEEE International Conference on Software Testing, Verification and Validation (ICST), March 13-18, 2017. Tokyo, Japan.
    9. [BIB]Haijun Wang, Ting Liu, Xiaohong Guan, Chao Shen, and Zijiang Yang. Dependence Guided Symbolic Execution. IEEE Transactions on Software Engineering (TSE). 43(3): 252-271, 2017.
    10. [BIB]Pingyi Zhou, Jin Liu, Zijiang Yang and Guangyou Zhou. Scalable Tag Recommendation for Software Information Sites. The 24th IEEE International Conference on Software Analysis, Evolution, and Reengineering (SANER), February 20-24, 2017. Klagenfurt, Austria.

    2016

    1. [BIB]Zhou Xu, Jin Liu, Gege An and Zijiang Yang. The Impact of Feature Selection on Defect Prediction Performance: An Empirical Comparison. The 27th International Symposium on Software Reliability Engineering (ISSRE), October 23-27, 2016. Ottawa, Canada.
    2. [BIB]Yan Cai and Zijiang Yang. Radius Aware Probabilistic Testing of Deadlocks with Guarantees. The 31st IEEE/ACM International Conference on Automated Software Engineering (ASE), September 3-7, 2016. Singapore.
    3. [BIB]Lin Cheng, Jialiang Chang, Zijiang Yang and Chao Wang. GUICat: GUI Testing as a Service. The 31st IEEE/ACM International Conference on Automated Software Engineering (ASE), September 3-7,  2016.  Singapore. Tool Paper.
    4. [BIB]Zhenzhou Tian, Ting Liu, Qinghua Zheng, Eryue Zhuang, Ming Fan, Zijiang Yang. Exploiting Thread-Related System Calls for Plagiarism Detection of Multithreaded Programs. Journal of Systems and Software (JSS), 119: 136-148, 2016.
    5. [BIB]Zhenzhou Tian, Ting Liu, Qinghua Zheng, Feifei Tong, Ming Fan, Zijiang Yang. A New Thread-Aware Birthmark for Plagiarism Detection of Multithreaded Programs. The 38th International Conference on Software Engineering (ICSE), May 14-22, 2016. Austin, USA. Poster.
    6. [BIB]Hengshan Zhang, Qinghua Zheng, Ting Liu, Zijiang Yang, Minnan Luo, Yu Qu. Improving Linguistic Pairwise Comparison Consistency via Linguistic Discrete Regions. IEEE Transactions on Fuzzy Systems (TFS).  24(3): 600-614, 2016.
    7. [BIB]Jin Liu, Yiqiuzi Tian, Xiao Yu, Zijiang Yang, Xiangyang Jia, Chuanxiang Ma, Zheng Xu. A Multi-Source Approach for Bug Triage. International Journal of Software Engineering and Knowledge Engineering 26(9-10): 1593-1604 (2016)

    2015

    1. [BIB]Shengjian Guo, Markus Kusano, Chao Wang, Zijiang Yang, and Aarti Gupta. Assertion guided symbolic execution of multithreaded programs. ACM SIGSOFT Symposium on the Foundations of Software Engineering (FSE), Bergamo, Italy. August 31-September 4, 2015.
    2. [BIB]Qiuping Yi, Zijiang Yang, Jian Liu, Zhao Chen, and Chao Wang. A synergistic analysis method for explaining failed regression tests. The 37th International Conference on Software Engineering (ICSE), May 16-24, 2015. Firenze, Italy.
    3. [BIB]Zhenzhou Tian, Qinghua Zheng, Ting Liu, Ming Fan, Eryue Zhuang and Zijiang Yang. Software Plagiarism Detection with Birthmarks based on Dynamic Key Instruction Sequences. IEEE Transactions on Software Engineering (TSE). Vol PP, Num 99, 2015.
    4. [BIB]Qiuping Yi, Zijiang Yang, Shengjian Guo, Chao Wang, Jian Liu and Chen Zhao. Postconditioned Symbolic Execution. The 8th IEEE International Conference on Software Testing, Verification and Validation (ICST),  April 13-17, 2015. Graz, Austria.
    5. [BIB]Yu Qu, Xiaohong Guan, Qinghua Zheng, Ting Liu, Lidan Wang, Yuqiao Hou, Zijiang Yang. Exploring Community Structure of Software Call Graph and its Applications in Class Cohesion Measurement. Journal of Systems and Software (JSS), 2015.
    6. [BIB]Qiuping Yi, Zijiang Yang, Jian Liu, Chen Zhao, and Chao Wang. Explaining software failures by cascade fault localization. ACM Transactions on Design Automation of Electronic Systems (TODAES), 2015.
    7. [BIB]Ping Yang, Mikhail I. Gofman, Scott Stoller, and Zijiang Yang. Policy Analysis for Administrative Role Based Access Control without Separate Administration. Journal of Computer Security (JCS),  23(1) , 2015.

    2014

    1. [BIB]Haijun Wang, Xiaohong Guan, Qinghua Zheng, Ting Liu, Xiangyang Li, Lechen Yu, Zijiang Yang. Reducing Test Cases with Causality Partitions. The 26th International Conference on Software Engineering and Knowledge Engineering (SEKE), Vancouver, Canada, July 1-3, 2014.
    2. [BIB]Zhenzhou Tian, Qinghua Zheng, Ting Liu, Ming Fan, Xiaodong Zhang, Zijiang Yang. Plagiarism detection for multithreaded software based on thread-aware software birthmarks. The 22nd International Conference on Program Comprehension (ICPC), Hyderabad, India, June 2-3, 2014.
    3. [BIB]Haijun Wang, Xiaohong Guan, Qinghua Zheng, Ting Liu, Chao Shen, Zijiang Yang. Directed test suite augmentation via exploiting program dependency. The 6th International Workshop on Constraints in Software Testing, Verification, and Analysis (CSTVA). May 31, 2014. Hyderabad, India.

    2013

    1. [BIB]Hengshan Zhang, Qinghua Zheng, Ting Liu, Zijiang Yang, Jiahe Liu. A discrete region-based approach to improve the consistency of pair-wise comparison matrix . IEEE International Conference on Fuzzy Systems (FUZZ-IEEE). July 7-10, 2013, Hyderabad, India.
    2. [BIB]Hongyi Ma, Steve R. Diersen, Liqiang Wang, Chunhua Liao, Daniel Quinlan, and Zijiang Yang. Symbolic Analysis of Concurrency Errors in OpenMP Programs. The 42nd International Conference on Parallel Processing (ICPP-2013). October 1-4, 2013, Lyon, France.
    3. [BIB]Ping Yang, Mikhail Gofman, and Zijiang Yang, Policy Analysis for Administrative Role Based Access Control without Separate Administration. The 27th IFIP WG 11.3 Conference on Data and Applications Security and Privacy (DBSEC13), 2013.
    4. [BIB]Beng Heng Ng,  Earlence Fernandes,  Ajit Aluri,  Atul Prakash, David Velazquez and Zijiang Yang, Beyond Instruction Level Taint Propagation. European Workshop on System Security (EUROSEC), 2013.
    5. [BIB]Zijiang Yang, Shiyong Lu, Ping Yang and Andrey Kashlev, Trustworthy and Dynamic Mobile Task Scheduling in Data-Intensive Scientific Workflow Environments. International Journal of Computer Applications. Vol. 20, No. 2, June 2013.

    2012

    1. [BIB]Mohamed Elwakil and Zijiang Yang. Deterministic Replay for Message-passing Based Concurrent Programs. ACM Transactions on Design Automation of Embedded Systems. Volumn 17, Issue 3, June 2012.

    2011

    1. [BIB] Qichang Chen, Liqiang Wang, and Zijiang Yang. HEAT: A Combined Approach for Thread Escape Analysis. International Journal of Systems Assurance Engineering and Management (JSAEM), 2(2), 2011. Springer.
    2. [BIB] Qichang Chen, Liqiang Wang, and Zijiang Yang. SAM: Self-adaptive Dynamic Analysis for Multithreaded Programs. In Haifa Verification Conference (HVC) 2011. Haifa, Israel. Dec. 2011. Springer-Verlag.
    3. [BIB] Mohamed Elwakil and  Zijiang Yang. Deterministic Replay for MCAPI Applications. The 9th Workshop on Parallel and Distributed Systems: Testing, Analysis and Debugging (PADTAD), Toronto, Canada, July 2011.
    4. [BIB] Chao Wang, Zijiang Yang and Aarti Gupta*,* Reachability Analysis for Program Verification. Patent Number 7,926,039. Issued  on April 12, 2011.
    5. [BIB] Dongyoon Lee, Mahmoud Said, Satish Narayanasamy, Zijiang Yang, Offline Symbolic Analysis to Infer Total Store Order. The 17th International Symposium on High-Performance Computer Architecture (HPCA 17), San Antonio, TX, February 12-16,  2011.
    6. [BIB] Mahmoud Said, Chao Wang, Zijiang Yang and Karem Sakallah, Generating Data Race  Witnesses by an SMT-based Analysis. The 3rd NASA Formal Methods Symposium, Pasadena, CA, April 18-20,  2011. LNCS 6617, Springer-Verlag.
    7. [BIB] Zijiang Yang, Shiyong Lu, Ping Yang, and Fahima Bhuyan, Model Checking Approach to Secure Host Access Enforcement of Mobile Tasks in Scientific Workflows, International Journal of Computers and Their Applications (IJCA), 18(3), pp.148-159, 2011.

    2010

    1. [BIB] Aarti Gupta, Malay Ganai, Zijiang Yang and Pranav Ashar. Iterative Abstraction Using SAT-Based BMC with Proof Analysis. Patent Number 7,203,917.  Issued on June 22, 2010.
    2. [BIB] Malay Ganai, Lintao Zhang, Aarti Gupta, Zijiang Yang and Pranav Ashar. Efficient approaches for bounded model checking. Patent Number  7,711,525. Issued  on May 4, 2010.
    3. [BIB] Chao Wang, Aarti Gupta, Zijiang Yang and Franjo Ivancic*,* Disjunctive image computation for sequential systems, Patent Number 7,693,690. Issued  on April 6, 2010.
    4. [BIB] Zijiang Yang and Karem Sakallah, Trace-Driven Verification of Multithreaded Programs. The 12nd International Conference on Formal Engineering Methods, LNCS 6447, Springer-Verlag. 2010.
    5. [BIB] Mohamed Elwakil, Zijiang Yang, and Liqiang Wang. CRI: Symbolic Debugger for MCAPI Applications. The 8th International Symposium on Automated Technology for Verification and Analysis (ATVA). Singapore. LNCS, Springer-Verlag. 2010.
    6. [BIB] Mohamed Elwakil, Zijiang Yang, Liqiang Wang, and Qichang Chen. Message Race Detection for Web Services by an SMT-Based Analysis. The 7th International Conference on Autonomic and Trusted Computing (ATC 2010) . LNCS, Springer-Verlag. 2010.
    7. [BIB] Mohamed Elwakil and  Zijiang Yang. Debugging Support Tool for MCAPI Applications. The 8th Workshop on Parallel and Distributed Systems: Testing, Analysis and Debugging (PADTAD)  2010. Best Paper Award.
    8. [BIB] Ping Yang, Shiyong Lu, Mikhail Gofman, and Zijiang Yang, Information Flow Analysis of Scientific Workflows, Journal of Computer and System Sciences (JCSS), volume 76(6), pages 390-402, 2010.
    9. [BIB] L. Lilien, A. Gupta, Z. Kamal, and Z. Yang, Opportunistic Resource Utilization Networks—A New Paradigm for Specialized Ad Hoc Networks, Journal of Computers & Electrical Engineering (JCEE), Volume 36 Issue 2, Pages 328-340, March, 2010.

    2009

    1. [BIB] Dongyoon Lee, Mahmoud Said, Satish Narayanasamy, Zijiang Yang and Cristiano Pereira , Offline Symblolic Analysis for Multi-Processor Replay. The 42nd IEEE/ACM International Symposium on Microarchitecure (Micro-42),  December 12-16, New York, NY, USA.
    2. [BIB] Zijiang Yang, Chao Wang, Aarti Gupta, Franjo Ivancic, Model Checking Sequential Software Programs Via Mixed Symbolic Analysis. ACM Transactions on Design Automation of Electronic Systems (TODAES), Volume 14, Issue 1, January, 2009, ACM.
    3. [BIB] Qichang Chen, Liqiang Wang, Zijiang Yang, and Scott D. Stoller. HAVE: Integrated Dynamic and Static Analysis for Atomicity Violations. International Conference on Fundamental Approaches to Software Engineering (FASE), European Joint Conferences on Theory and Practice of Software (ETAPS). York, UK. Springer-Verlag, 2009.
    4. [BIB] Z. Yang, B. Al-Rawi, K. Sakallah, X. Huang, S.A. Smolka and R. Grosu. Dynamic Path Reduction for Software Model Checking. The 7th International Conference on Integrated Formal Methods, Duesseldorf, Germany, February 2009, Springer, LNCS.
    5. [BIB] Qichang Chen, Liqiang Wang, Zijiang Yang. HEAT: A Combined Static and Dynamic Approach for Escape Analysis. 33rd Annual IEEE International Computer Software and Applications Conference (COMPSAC) . Seattle,Washington. IEEE Press, 2009.

    2008

    1. [BIB] Franjo Ivancic, Pranav Ashar, Malay Ganai, Aarti Gupta, and Zijiang Yang. System and Method for Modeling, Abstraction, and Analysis of Software. Patent Number 7,346,486. Issued on March 18, 2008.
    2. [BIB] Aleksandr Zaks, Zijiang Yang, Ilya Shlyakhter, Franjo Ivancic, Srihari Cadambi, Malay K. Ganai, Aarti Gupta, and Pranav Ashar, Bitwidth Reduction via Symbolic Interval Analysis for Software Model Checking,  IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems (TCAD),  Volume 27(8), August 2008, IEEE.
    3. [BIB] Franjo Ivancic, Zijiang Yang, Malay Ganai, Aarti Gupta, and Pranav Ashar, Efficient SAT-based Bounded Model Checking for Software Verification,  Theoretical Computer Science (TCS), Volume 404(3), September 2008,  Elsevier.
    4. [LNK][BIB] Zijiang Yang and Karem Sakallah, SMT-based Symbolic Model Checking for Multi-Threaded Programs,  Exploiting Concurrency Efficiently and Correctly Workshop, Princeton, NJ, July 2008.
    5. [BIB] Chao Wang, Zijiang Yang and Aarti Gupta, Peephole Partial Order Reduction, 14th International Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS), Budapest, Hungary, April 2008.

    2007

    1. [BIB] Aarti Gupta, Malay Ganai, Zijiang Yang and P. Ashar. Efficient distributed SAT and SAT-based distributed bounded model checking. Patent Number 7,203,917. Issued on April 10, 2007.
    2. [LNK][BIB] Formal Modelling and Analysis of Scientific Workflows Using Hierarchical State Machines, 2nd International Workshop on Scientific Workflows and Business Workflow Standards in e-Science, held in conjuction with IEEE international conference on e-science and grid computing, (with P. Yang, Z. and S. Lu), 2007.
    3. [BIB] Using Counterexamples for Improving the Precision of Reachability Computation with Polyhedra. 19th International Conference on  Computer Aided Verification (CAV), (with Chao Wang, Aarti Gupta, and Franjo Ivancic),  Berlin, Germany, July 3-7, 2007.
    4. [BIB] Chao Wang, Zijiang Yang, Franjo Ivancic, and Aarti Gupta. Disjunctive Image Computation for Software Verification. ACM Transactions on Design Automation of Electronic Systems (TODAES),  volume 12(2), April 2007, article 10, ACM. ACM TODAES 2008 Best Paper Award.
    5. [LNK][BIB] Itinerary-Based Access Control for Mobile Tasks in Scientific Workflows, The 2007 IEEE International Symposium on Ubisafe Computing (UbiSafe-07), (with Shiyong Lu and Ping Yang), Niagara Falls, Ontario, Canada, May 21-23, 2007.
    6. [LNK][BIB] Opportunistic Networks for Emergency Applications and Their Standard Implementation Framework, The First International Workshop on Next Generation Networks for First Responders and Critical Infrastructure (NetCri07), (with Leszek Lilien, Ajay Gupta), New Orleans, Louisiana, April 11-13, 2007.
    7. [PDF][BIB] Sa’ed Abed, Otmane A. Mohamed, Zijiang Yang, and Ghiath A. Sammane, Integrating SAT with Multiway Decision Graphs for Efficient Model Checking, The 19th IEEE International Conference on Microelectronics, Cairo, Eygpt, December 29-31, 2007.
    8. Z.H. Kamal, A. Gupta, L. Lilien, and Z. Yang, The MicroOppnet Tool for Collaboration Experiments with Class 2 Opportunistic Networks, Proc. The 3rd International Conference on Collaborative Computing: Networking, Applications and Worksharing (CollaborateCom 2007),  White Plains, New York, November 2007.

    2006

    1. [BIB] Whodunit? Causal Analysis for Counterexamples. Fourth international symposium on Automated Technology for Verification and Analysis (ATVA'06), (with Chao Wang, Aarti Gupta, and Franjo Ivancic), Beijing, China, 2006.
    2. [LNK][BIB] Efficient Distributed SAT and SAT-based Distributed Bounded Model Checking. International Journal on Software Tools for Technology Transfer (STTT), (with Malay Ganai, Aarti Gupta, and Pranav Ashar), Volume 8, Numbers 4-5, August 2006, Springer.
    3. [BIB] Mixed Symbolic Representations for Model Checking Software Programs, ACM/IEEE International Conference on Formal Methods and Models for Codesign (Memocode'06),  (with Chao Wang, Aarti Gupta, and Franjo Ivancic), Napa, California, USA, 2006.
    4. [BIB] Runtime Security Verification for Itinerary-Driven Mobile Code,  IEEE International Symposium on Dependable, Autonomic and Secure Computing (DASC'06), (with Shiyong Lu, and Ping Yang),  Indiana University, Purdue University, Indianapolis, USA, 2006.
    5. [BIB]Aleks Zaks, Ilya Shlyakhter, Franjo Ivancic, Srihari Cadambi, Zijiang Yang, Malay Ganai, Aarti Gupta and Pranav Ashar. Using Range Analysis for Software Verification, 4th International Workshop on Software Verification and Validation(SVV'06), Seattle, USA, 2006.
    6. [BIB] Disjunctive Image Computation for Embedded Software Verification, Design, Automation and Test in Europe (DATE'06), (with C. Wang, F. Ivancic, and A. Gupta), Munich, Germany. March 2006.
    7. [LNK][BIB] PDC: Pattern Discovery with Confidence in DNA Sequences, IASTED International Conference on Advances in Computer Science and Technology, (with Y. Lu, S. Lu, F. Fotouhi, Y. Sun and L. Liang), Puerto Vallarta, Mexico, 2006.

    2005

    1. [BIB] Model Checking C Programs Using F-Soft, invited paper, IEEE International Conference on Computer Design (ICCD), (withF. Ivancic, I. Shlyakhter, A. Gupta, M. K. Ganai, V. Kahlon, C. Wang), 2005.
    2. [BIB] F-Soft: Software Verification Platform, 17th International Conference on Computer-Aided Verification(CAV), (with F.Ivancic,M. Ganai, A. Gupta, I. Shlyakhter and P.Ashar), 2005.

    2004

    1. [LNK][BIB] Aarti Gupta, Zijiang Yang and Pranav Ashar. SAT-Based Image Computation with Application in Reachability Analysis . Patent Number: 6,728,665. Issued on April 27, 2004.
    2. [LNK][BIB] Using Routing Data for Information Authentication in Sensor Networks, 3rd International Trusted Internet Workshop, (with V. Bhuse, A. Gupta, M. Terwilliger, and Z. Kamal), 2004.
    3. [LNK][BIB] Efficient SAT-based Bounded Model Checking for Software Verification, 1st International Symposium on Leveraging Applications of Formal Methods (ISoLA),(with P.Ashar, M. Ganai, A. Gupta, and F.Ivancic), 2004.
    4. [LNK][BIB] Variable Reuse for Efficient Image Computation, 5th International Conference on Formal Methods in Computer-Aided Design (FMCAD),(with R.Alur), 2004.
    5. [LNK][BIB] Execution of a Requirement Model in Software Development, ISCA 13th International Conference on Intelligent & Adaptive Systems and Software Engineering (IASSE),(with W.Shen,  M.Guizani, K. Compton and J. Huggins),2004.

    2003

    1. [LNK][BIB]  Aarti Gupta, Zijiang Yang, Pranav Ashar and Sharad Malik. Partition-based decision heuristics for SAT and image computation using SAT and BDDs. Patent Number: 6,651,234. Issued on November 18, 2003.
    2. [LNK][BIB] Iterative Abstraction using SAT-based BMC with Resolution, International Conference on Computer Aided Design(ICCAD), (with A. Gupta, M. Ganai, and P. Ashar), 2003.
    3. [LNK][BIB] Abstraction and BDDs Complement SAT-Based BMC in DiVer, 15th International Conference on Computer-Aided Verification(CAV), (with A. Gupta, M. Ganai, C. Wang and P. Ashar), 2003.
    4. [LNK][BIB] Efficient Distributed SAT and SAT-based Distributed Bounded Model Checking, 12th Advanced Research Working Conference on Correct Hardware Design and Verification Methods(CHARME), (with M. Ganai, A. Gupta and P. Ashar), 2003.
    5. [LNK][BIB] Learning from BDDs in SAT-based Bounded Model Checking, 40th Design Automation Conference(DAC), (with A. Gupta, C. Wang, M. Ganai, and P. Ashar) ,2003.

    2002

    1. [LNK][BIB] Aarti Gupta, Zijiang Yang, Anubhav Gupta, and Pranav Ashar . Dynamic Detection and Removal of Inactive Clauses in SAT with Application in Image Computation. Patent Number: 6,496,961. Issued on December 17, 2002.
    2. [LNK][BIB] Exploiting Behavioral Hierarchy for Efficient Model Checking, 14th International Conference on Computer-Aided Verification(CAV), (with R. Alur and M. McDougall), 2002.
    2001
    1. [LNK][BIB] Partition-Based Decision Heuristics for Image Computation Using SAT and BDDs, International Conference on Computer Aided Design(ICCAD), (with A. Gupta, P. Ashar, L. Zhang and S. Malik), 2001.
    2. [LNK][BIB] Dynamic Detection and Removal of Inactive Clauses in SAT with Application in Image Computation, 38th Design Automation Conference(DAC), (with A. Gupta, A. Gupta, and P. Ashar), 2001.
    3. [LNK][BIB] Is There a Best Symbolic Cycle-Detection Algorithm? Tools and Algorithms for the Construction and Analysis of Systems (TACAS), (with K. Fisler, R. Fraer, G. Kamhi and M. Vardi), 2001.

    2000

    1. [BIB] SAT Based State Reachability Analysis and Model Checking, 3rd International Conference on Formal Methods in Computer-Aided Design (FMCAD), (with A. Gupta, A. Gupta and P. Ashar), 2000.