杨子江
开通时间：..
最后更新时间：..
黄浴、杨子江，《自动驾驶系统开发》，16开576页，清华大学出版社，2024.
[AAAI] Peiyuan Tang, Xiaodong Zhang, Chunze Yang, Haoran Yuan, Jun Sun, Danfeng Shan, and Zijiang James Yang. Unleashing the Power of Visual Foundation Models for Generalizable Semantic Segmentation. In 39th Annual AAAI Conference on Artificial Intelligence. 2025. CCF A Paper.
[FSE] Songyang Yan, Xiaodong Zhang, Kunkun Hao, Haojie Xin, Yonggang Luo, Jucheng Yang, Ming Fan, Chao Yang, Jun Sun, Zijiang Yang. On-Demand Scenario Generation for Testing Automated Driving Systems[C]. ACM International Conference on the Foundations of Software Engineering (FSE), 2025. CCF A Paper.
Demo: Apollo & Carla co-simulation
[TOSEM] Pan, Weifeng, Wei Wu, Hua Ming, Dae-Kyoo Kim, Zijiang Yang, and Yutao Ma. Toward the Fractal Dimension of Classes. ACM Transactions on Software Engineering and Methodology 34, no. 2 (2025): 1-50. CCF A Paper.
[ICASSP] Chunze Yang, Xiaodong Zhang, Peiyuan Tang, Haoran Yuan, Haojie Xin, Zijiang James Yang. Domain Connection based Unsupervised Domain Adaptation for Semantic Segmentation[C]. 2025 IEEE International Conference on Acoustics, Speech, and Signal Processing (ICASSP), 2025.
[ICRA] Haojie Xin, Xiaodong Zhang, Songyang Yan, Jun Sun, Zijiang Yang. Causal Contrastive Learning with Data Augmentations for Imitation-based Planning[C]. 2025 IEEE International Conference on Robotics and Automation (ICRA), 2025.
[TOSEM] Pan, Weifeng; Kessentini, Marouane; Ming, Hua; Yang, Zijiang. EASE: An effort-aware extension of unsupervised key class identification approaches. ACM Transactions on Software Engineering and Methodology (TOSEM), 2024. Volume 33, Issue 4, Article No.: 84, Pages 1 - 43. April 2024. CCF A Paper.
[MM] Jiawei Lin, Zhaoyun Jiang, Jiaqi Guo, Shizhao Sun, Ting Liu, Zijiang James Yang, Jian-Guang Lou, Dongmei Zhang,IconDM: Text-Guided Icon Set Expansion Using Diffusion Models, 32nd ACM Multimedia Conference (MM), 2024
[ITSC] Haojie Xin, Xiaodong Zhang, Renzhi Tang, Songyang Yan, Qianrui Zhao, Chunze Yang, Wen Cui, Zijiang Yang, LitSim: A Conflict-Aware Policy for Long-Term Interactive Traffic Simulation, 27th IEEE International Conference on Intelligent Transportation Systems（ITSC），2024
[TIV] Hao, Kunkun and Cui, Wen and Luo, Yonggang and Xie, Lecheng and Bai, Yuqiao and Yang, Jucheng and Yan, Songyang and Pan, Yuxi and Yang, Zijiang，Adversarial Safety-Critical Scenario Generation using Naturalistic Human Driving Priors，IEEE Transactions on Intelligent Vehicles, November 2023.
[TSE] Y Zhou, Y Sun, Y Tang, Y Chen, J Sun, CM Poskitt, Y Liu, Z Yang, Specification-based Autonomous Driving System Testing, IEEE Transactions on Software Engineering PP(99):1-19, June 2023. CCF A Paper.
[TSE] 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 Transactions on Software Engineering (TSE), March 2023, pp. 1118-1151, vol. 49. CCF A Paper.
[CVPR] Zhaoyun Jiang, Jiaqi Guo, Shizhao Sun, Huayu Deng, Zhongkai Wu, Vuksan Mijovic, Zijiang James Yang, Jian-Guang Lou, Dongmei Zhang, LayoutFormer++: Conditional Graphic Layout Generation via Constraint，Serialization and Decoding Space Restriction，Proceedings of the IEEE/CVF Conference on Computer Vision and Pattern Recognition (CVPR2023). CCF A Paper.
[NeurIPS] Jiawei Lin, Jiaqi Guo, Shizhao Sun, Zijiang James Yang, Jian-Guang Lou, Dongmei Zhang， LayoutPrompter: Awaken the Design Ability of Large Language Models， Proceedings of the 37th Conference on Neural Information Processing Systems (NeurIPS 2023). CCF A Paper.
[COMPSAC] Yuqi Guo; Zheheng Liang; Shihao Zhu; Jinqiu Wang; Zijiang Yang; Wuqiang Shen，Jinbo Zhang, Yan Cai; Sound Predictive Fuzzing for Multi-threaded Programs, IEEE 47th Annual Computers, Software, and Applications Conference (COMPSAC), 2023.
[ISSTA] X Zhang, W Zhao, Y Sun, J Sun, Y Shen, X Dong, Z Yang，Testing automated driving systems by breaking many laws efficiently，Proceedings of the 32nd ACM SIGSOFT International Symposium on Software Testing and Analysis(ISSTA)，July 2023.CCF A Paper.
[ICSE] Weifeng Pan, Xin Du, Hua Ming, Dae-Kyoo Kim, Zijiang Yang. Identifying Key Classes for Initial Software Comprehension: Can We Do It Better? Proceedings of the 45th IEEE/ACM International Conference on Software Engineering (ICSE), 2023. CCF A Paper.
[TSE] 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 Transactions on Software Engineering (TSE), Dec. 2022, pp. 5176-5187, vol. 48. CCF A Paper.
[ICSE] 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. CCF A Paper.
[ASE] Yang Sun, Christopher Poskitt, Jun Sun, Yuqi Chen, Zijiang Yang. LawBreaker: An Approach for Specifying Traffic Laws and Fuzzing Autonomous Vehicles. 37th IEEE/ACM International Conference on Automated Software Engineering (ASE), 2022. CCF A Paper.
[AAMAS] Xinlei Pan，Chaowei Xiao，Warren He，Shuang Yang，Jian Peng，Mingjie Sun，Jinfeng Yi，Zijiang Yang，Mingyan Liu， Bo Li，Dawn Song. Characterizing Attacks on Deep Reinforcement Learning. International Joint Conference on Autonomous Agents and Multi-agent Systems, Auckland, New Zealand, 2022.
[TSE] 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(TSE). 47(11), 2421-2437, 2021. CCF A Paper.
[ACL] 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. CCF A Paper.
[FSE] 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. CCF A Paper.
[JSS] Jianlei Chi, Yu Qu, Qinghua Zheng, Zijiang Yang, Wuxia Jin, Di Cui, Ting Liu. Relation-based test case prioritization for regression testing. Journal of Systems and Software, 2020.
[DMKD] 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).
[JCST] 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).
[TSE] 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). CCF A Paper.
[TSE] 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(TSE), 2019. CCF A Paper.
[TSE] 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(TSE), 2019. CCF A Paper.
[TSE] 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(TSE), 2019. CCF A Paper.
[IST] 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. 109:1-13, 2019.
[IST] 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. 106:182-200, 2019.
[ASE] Ruijie Meng, Biyun Zhu, Hao Yun, Haicheng Li, Yan Cai, Zijiang Yang. CONVUL: An Effective Tool for Detecting Concurrency Vulnerabilities. 34th IEEE/ACM International Conference on Automated Software Engineering (ASE), 2019. CCF A Paper.
[ICFEM] Jialiang Chang, Bo Gao, Hao Xiao, Jun Sun, Yan Cai, Zijiang Yang. sCompile: Critical path identification and analysis for smart contracts. International Conference on Formal Engineering Methods. 2019.
[ISSTA] Jiaqi Guo, Shuyue Li, Jian-Guang Lou, Zijiang Yang, Ting Liu. Sara: self-replay augmented record and replay for Android in industrial cases. the 28th ACM SIGSOFT International Symposium on Software Testing and Analysis (ISSTA), 2019. CCF A Paper.
[ISSRE] Jie Liang, Yuanliang Chen, Mingzhe Wang, Yu Jiang, Zijiang Yang, Chengnian Sun, Xun Jiao, Jiaguang Sun. Engineering a better fuzzer with synergically integrated optimizations. 30th IEEE International Symposium on Software Reliability Engineering (ISSRE), Berlin, Germany, Oct 28-31, 2019.
[ASEJ] Jin Liu, Pingyi Zhou, Zijiang Yang, Xiao Liu, John Grundy. FastTagRec: fast tag recommendation for software information sites. Automated Software Engineering 25(4), 2018. CCF A Paper.
[TSE] 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 Transactions on Software Engineering, 2018. CCF A Paper.
[IEEE Access] Xiaodong Zhang, Zijiang Yang, Qinghua Zheng, Yu Hao, Pei Liu, Lechen Yu, Ting Liu. Debugging multithreaded programs as if they were sequential. IEEE Access, 2018.
[JSS] Yan Zheng, Zan Wang, Xiangyu Fan, Xiang Chen, Zijiang Yang. Localizing multiple software faults based on evolution algorithm. Journal of Systems and Software, 2018.
[COMPSAC] Jianlei Chi, Yu Qu, Qinghua Zheng, Zijiang Yang, Wuxia Jin, Di Cui, Ting Liu. Test Case Prioritization Based on Method Call Sequences. IEEE 42nd Annual Computer Software and Applications Conference (COMPSAC), 2018.
[JSS] Xiao Yu, Jin Liu, Zijiang Yang, Xiao Liu. The Bayesian Network based program dependence graph and its application to fault localization. Journal of Systems and Software, 2017.
[TSE] 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). 2017. CCF A Paper.
[TSE] 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). 2017. CCF A Paper.
[TSE] 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. CCF A Paper.
[ISSRE] Xiao Yu, Jin Liu, Zijiang Yang, Xiangyang Jia, Qi Ling, Sizhe Ye. Learning from imbalanced data for predicting the number of software defects. IEEE 28th International Symposium on Software Reliability Engineering (ISSRE), 2017.
[LCPC] Hao Li, Jialiang Chang, Zijiang Yang, Steve Carr. Memory Distance Measurement for Concurrent Programs. International Workshop on Languages and Compilers for Parallel Computing. 2017.
[ASE] Lin Cheng, Zijiang Yang, Chao Wang. Systematic reduction of GUI test sequences. 32nd IEEE/ACM International Conference on Automated Software Engineering (ASE), 2017. CCF A Paper.
[FSE] Yu Guo, Yan Cai, Zijiang Yang. AtexRace: across thread and execution sampling for in-house race detection. the 11th Joint Meeting on Foundations of Software Engineering (FSE), 2017. CCF A Paper.
[ICSE] 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. CCF A Paper.
[ICST] 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.
[SANER] 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.
[JSS] Zhenzhou Tian, Ting Liu, Qinghua Zheng, Ming Fan, Eryue Zhuang and Zijiang Yang. Exploiting Thread-Related System Calls for Plagiarism Detection of Multithreaded Programs. Journal of Systems and Software (JSS), 119: 136-148, 2016.
[TFS] 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.
[ISSRE] 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.
[ASE] 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. CCF A Paper.
[ASE] 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. CCF A Paper.
[ICSE] 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.
[TSE] 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. CCF A Paper.
[TODAES] 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.
[JSS] 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.
[JCS] 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.
[FSE] 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. CCF A Paper.
[ICSE] 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. CCF A Paper.
[ICST] 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.
[ICPC] Zhenzhou Tian, Qinghua Zheng, Ting Liu, Ming Fan, Xiaodong Zhang, Zijiang Yang: Plagiarism detection for multithreaded software based on thread-aware software birthmarks. 22nd International Conference on Program Comprehension, Hyderabad, India, June 2-3, 2014.
[SEKE] 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, Vancouver, Canada, July 1-3, 2014.
[CSTVA] Haijun Wang, Xiaohong Guan, Qinghua Zheng, Ting Liu, Chao Shen, Zijiang Yang: Directed test suite augmentation via exploiting program dependency. 6th International Workshop on Constraints in Software Testing, Verification, and Analysis, Hyderabad, India, May 31, 2014.
[IJCA] 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.
[IFIP WG 11.3] Ping Yang, Mikhail I. Gofman, Zijiang Yang: Policy Analysis for Administrative Role Based Access Control without Separate Administration. 27th Annual IFIP WG 11.3 Conference, Newark, NJ, USA, July 15-17, 2013.
[FUZZ-IEEE] 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, Hyderabad, India, 7-10 July, 2013.
[ICPP] Hongyi Ma, Steve Diersen, Liqiang Wang, Chunhua Liao, Daniel J. Quinlan, Zijiang Yang: Symbolic Analysis of Concurrency Errors in OpenMP Programs. 42nd International Conference on Parallel Processing, Lyon, France, October 1-4, 2013.
[EuroSec] BengHeng Ng, EarlenceFernandes, AjitAluri, AtulPrakash and Zijiang Yang. Beyond Instruction Level Taint Propagation. The Sixth European Workshop on Systems Security, 2013.
[TODAES] Mohamed Elwakil and Zijiang Yang. Deterministic Replay for Message-passing Based Concurrent Programs. ACM Transactions on Design Automation of Embedded Systems. Volume 17 Issue 3, June 2012.
[IJSAEM] Qichang Chen, Liqiang Wang, and Zijiang Yang. HEAT: A Combined Approach for Thread Escape Analysis. International Journal of Systems Assurance Engineering and Management, Springer. Volume 2, Number 2, pages 135-143, 2011.
[IJCA] 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.
[HVC] 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.
[PADTAD] 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.
[HPCA] 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), San Antonio, TX, February 12-16, 2011. CCF A Paper.
[NFM] 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.
[JCSS] Ping Yang, Shiyong Lu, Mikhail Gofman, and Zijiang Yang, Information Flow Analysis of Scientific Workflows, Journal of Computer and System Sciences (JCSS). 2010.
[ICFEM] Zijiang Yang and Karem Sakallah , Trace-Driven Verification of Multithreaded Programs. 12nd International Conference on Formal Engineering Methods, LNCS, Springer-Verlag. 2010.
[ATVA] Mohamed Elwakil, Zijiang Yang, and Liqiang Wang. CRI: Symbolic Debugger for MCAPI Applications. 8th International Symposium on Automated Technology for Verification and Analysis (ATVA). Singapore. LNCS, Springer-Verlag. 2010.
[ATC] 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.
[PADTAD] 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.
[TODAES] 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.
[CEE] L. Lilien, A. Gupta, Z. Kamal, and Z. Yang, "Opportunistic Resource Utilization Networks—A New Paradigm for Specialized Ad Hoc Networks," special issue on Emerging Wireless Networks, Computers & Electrical Engineering, Elsevier, 2009.
[Micro] Dongyoon Lee, Mahmoud Said, Satish Narayanasamy, Zijiang Yang, Cristiano Pereira. Offline Symblolic Analysis for Multi-Processor Replay. The 42nd IEEE/ACM International Symposium on Microarchitecure (Micro), December 12-16, New York, NY, USA. CCF A Paper.
[FASE] 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.
[IFM] 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.
[COMPSAC] Qichang Chen, Liqiang Wang, Zijiang Yang. HEAT: An Integrated Static and Dynamic Approach for Thread Escape Analysis. 33rd Annual IEEE International Computer Software and Applications Conference (COMPSAC) . Seattle,Washington. IEEE Press, 2009.
[TCAD] 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. CCF A Paper.
[TCS] 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.
[EC2] Zijiang Yang and Karem Sakallah, SMT-based Symbolic Model Checking for Multi-Threaded Programs, position paper, Exploiting Concurrency Efficiently and Correctly (EC2), Princeton, NJ, July 2008.
[TACAS] C. Wang, Z. Yang, and A. Gupta, Peephole Partial Order Reduction, 14th International Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS), Budapest, Hungary, April 2008.
[TODAES] Chao Wang, 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.
[CAV] Chao Wang, Zijiang Yang, Aarti Gupta, and Franjo Ivancic, Using Counterexamples for Improving the Precision of Reachability Computation With Polyhedra, 19th International Conference on Computer Aided Verification (CAV), Berlin, Germany, July 3-7, 2007. CCF A Paper.
[ICM] 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.
[eScience WS] P. Yang, Z. Yang, and S. Lu, Formal Modeling and Analysis of Scientific Workflows Using Hierarchical State Machines, 2nd International Workshop on Scientific Workflows and Business Workflow Standards in e-Science, held in conjunction with IEEE international conference on e-science and grid computing, 2007.
[UbiSafe] Zijiang Yang, Shiyong Lu and Ping Yang, Itinerary-Based Access Control for Mobile Tasks in Scientific Workflows, The 2007 IEEE International Symposium on Ubisafe Computing (UbiSafe), Niagara Falls, Ontario, Canada, May 21-23, 2007.
[NetCri] Leszek Lilien, Ajay Gupta, and Zijiang Yang, 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), New Orleans, Louisiana, April 11-13, 2007.
[CollaborateCom] 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.
[STTT] Malay Ganai, Aarti Gupta, Zijiang Yang and Pranav Ashar, Efficient Distributed SAT and SAT-based Distributed Bounded Model Checking, International Journal on Software Tools for Technology Transfer (STTT), Volume 8, Numbers 4-5, August 2006, Springer.
[ATVA] Chao Wang, Zijiang Yang, Aarti Gupta, and Franjo Ivancic, Whodunit? Causal Analysis for Counterexamples, Fourth international symposium on Automated Technology for Verification and Analysis (ATVA’06), Beijing, China, 2006.
[Memocode] Zijiang Yang, Chao Wang, Aarti Gupta, and Franjo Ivancic, Mixed Symbolic Representations for Model Checking Software Programs, ACM/IEEE International Conference on Formal Methods and Models for Codesign (Memocode’06), Napa, California, USA, 2006.
[DASC] Zijiang Yang, Shiyong Lu, and Ping Yang, Runtime Security Verification for Itinerary-Driven Mobile Code, IEEE International Symposium on Dependable, Autonomic and Secure Computing (DASC’06), Indiana University, Purdue University, Indianapolis, USA, 2006.
[SVV] Aleks Zaks, Ilya Shlyakhter, Franjo Ivancic, Zijiang Yang, Srihari Cadambi, Malay Ganai, Aarti Gupta and Pranav Ashar Using Range Analysis for Software Verification, 4th International Workshop on Software Verification and Validation (SVV), Seattle, USA, 2006.
[DATE] C. Wang, Z. Yang, F. Ivancic, and A. Gupta, Disjunctive Image Computation for Embedded Software Verification, Design, Automation and Test in Europe (DATE), Munich, Germany. March 2006.
[IASTED ACST] Y. Lu, S. Lu, F. Fotouhi, Z. Yang and Y. Sun, PDC: Pattern Discovery with Confidence in DNA Sequences, IASTED International Conference on Advances in Computer Science and Technology, Puerto Vallarta, Mexico, 2006.
[ICCD] F. Ivancic, I. Shlyakhter, A. Gupta, M. K. Ganai, V. Kahlon, C. Wang, and Z. Yang, Model Checking C Programs Using F-Soft, invited paper, IEEE International Conference on Computer Design(ICCD), 2005.
[CAV] F.Ivancic, Z. Yang, M. Ganai, A. Gupta, I. Shlyakhter and P.Ashar, F-Soft: Software Verification Platform, 17th International Conference on Computer-Aided Verification (CAV), 2005. CCF A Paper.
[Trusted Internet WS] V. Bhuse, A. Gupta, M. Terwilliger, Z. Kamal, and Z. Yang, Using Routing Data for Information Authentication in Sensor Networks, 3rd International Trusted Internet Workshop, 2004.
[ISoLA] F. Ivancic, Z. Yang, M. Ganai, A. Gupta, and P.Ashar, Efficient SAT-based Bounded Model Checking for Software Verification, 1st International Symposium on Leveraging Applications of Formal Methods (ISoLA), 2004.
[FMCAD] Z. Yang and R.Alur, Variable Reuse for Efficient Image Computation, 5th International Conference on Formal Methods in Computer-Aided Design (FMCAD), 2004.
[IASSE] W.Shen, Z. Yang and M.Guizani, Execution of a Requirement Model in Software Development, ISCA 13th International Conference on Intelligent & Adaptive Systems and Software Engineering (IASSE),2004.
[ICCAD] A. Gupta, M. Ganai, Z. Yang and P. Ashar, Iterative Abstraction using SAT-based BMC with Resolution, International Conference on Computer Aided Design(ICCAD), 2003.
[CAV] A. Gupta, M. Ganai, C.Wang, Z. Yang and P. Ashar, Abstraction and BDDs Complement SATBased BMC in DiVer, 15th International Conference on Computer-Aided Verification(CAV), 2003. CCF A Paper.
[CHARME] M. Ganai, A. Gupta, Z. Yang and P. Ashar, Efficient Distributed SAT and SAT-based Distributed Bounded Model Checking, 12th Advanced Research Working Conference on Correct Hardware Design and Verification Methods(CHARME), 2003.
[DAC] A. Gupta, C. Wang, M. Ganai, Z. Yang, and P. Ashar, Learning from BDDs in SAT-based Bounded Model Checking, 40th Design Automation Conference(DAC), 2003. CCF A Paper.
[CAV] R. Alur, M. McDougall, and Z. Yang, Exploiting Behavioral Hierarchy for Efficient Model Checking, 14th International Conference on Computer-Aided Verification(CAV), 2002. CCF A Paper.
[ICCAD] A. Gupta, Z. Yang, P. Ashar, L. Zhang and S. Malik, Partition-Based Decision Heuristics for Image Computation Using SAT and BDDs, International Conference on Computer Aided Design(ICCAD), 2001.
[DAC] A. Gupta, A. Gupta, Z. Yang, and P. Ashar, Dynamic Detection and Removal of Inactive Clauses in SAT with Application in Image Computation, 38th Design Automation Conference(DAC), 2001. CCF A Paper.
[TACAS] K. Fisler, R. Fraer, G. Kamhi, M. Vardi, and Z. Yang, Is There a Best Symbolic Cycle-Detection Algorithm? Tools and Algorithms for the Construction and Analysis of Systems 1 (TACAS), 2001.
[FMCAD] A. Gupta, Z. Yang, A. Gupta and P. Ashar, SAT Based State Reachability Analysis and Model Checking, 3rd International Conference on Formal Methods in Computer-Aided Design (FMCAD), 2000.
Reachability Analysis for Program Verification, Patent Number 7,926,039, April 12, 2011.
SAT-Based Image Computation with Application in Reachability Analysis, Patent Number: 6,728,665, April 27, 2004
Dynamic Detection and Removal of Inactive Clauses in SAT with Application in Image Computation, Patent Number: 6,496,961, December 17, 2002.
Partition-based decision heuristics for SAT and image computation using SAT and BDDs, Patent Number: 6,651,234, November 18, 2003.
Efficient distributed SAT and SAT-based distributed bounded model checking, Patent Number: 7,203,917, April 10, 2007.
System and Method for Modeling Abstraction, and Analysis of Software, Patent Number: 7,346,486, March 18, 2008.
Disjunctive image computation for sequential systems, Patent Number 7,693,690, April 6, 2010.
Efficient approaches for bounded model checking, Patent Number 7,711,525, May 4, 2010
Iterative abstraction using SAT-based BMC with proof analysis, Patent Number 7,742,907, June 22, 2010.
Software Verification Using Range Analysis, Patent Number 8,131,532, March 6, 2012.
