| 2026 | COMPSAC | LLM-Based Data Generation and Augmentation for Rust Vulnerability Detection. | Irfan Ali Khan, Yu Luo, Weifeng Xu, Dianxiang Xu |
| 2025 | COMPSAC | Reconstructing Judicial Digital Forensic Evidence Graphs from Legal Documents Using Large Language Models. | Omar Ramadan, Ruoyao Xiao, Dianxiang Xu, Weifeng Xu |
| 2025 | COMPSAC | C2RustTV: An LLM-based Framework for C to Rust Translation and Validation. | Han Zhou, Yu Luo, Mengtao Zhang, Dianxiang Xu |
| 2025 | SIGCSE | Building AI-Powered Responsible Workforce by Integrating Large Language Models into Computer Science Curriculum. | Brian K. Hare, Joan Gladbach, Syed Jawad Hussain Shah, Dianxiang Xu |
| 2025 | TrustCom | Security of LLM Agents: A Case Study Approach. | Casey Fan, Diyana Tial, Vladislav Dubrovenski, Mengtao Zhang, Yugyung Lee, Dianxiang Xu |
| 2025 | TrustCom | From Text to STIX: Reducing Hallucinations through Fine-Tuned LLMs. | Ruoyao Xiao, Yu Luo, Weifeng Xu, Dianxiang Xu |
| 2025 | SP | Hybrid Edge Intelligence for Real-Time Intrusion Detection in Advanced Traffic Management Systems. | Rohith Reddy Depa, Yunpeng Zhang, Dianxiang Xu |
| 2024 | ESORICS | Predicting Code Vulnerability Types via Heterogeneous GNN Learning. | Yu Luo, Weifeng Xu, Dianxiang Xu |
| 2024 | QRS | GNN-Based Transfer Learning and Tuning for Detecting Code Vulnerabilities across Different Programming Languages. | Irfan Ali Khan, Yu Luo, Weifeng Xu, Dianxiang Xu |
| 2024 | TrustCom | Analyzing Relationship Consistency in Digital Forensic Knowledge Graphs with Graph Learning. | Ruoyao Xiao, Yu Luo, Weifeng Xu, Harshmeet Lamba, Dianxiang Xu |
| 2023 | COMPSAC | SMT-Based Verification of NGAC Policies. | Vladislav Dubrovenski, Erzhuo Chen, Dianxiang Xu |
| 2023 | QRS | Dynamic Access Control with Administrative Obligations: A Case Study. | Vladislav Dubrovenski, Md Nazmul Karim, Erzhuo Chen, Dianxiang Xu |
| 2023 | SACMAT | Coverage-Based Testing of Obligations in NGAC Systems. | Erzhuo Chen, Vladislav Dubrovenski, Dianxiang Xu |
| 2022 | ACSAC | Compact Abstract Graphs for Detecting Code Vulnerability with GNN Models. | Yu Luo, Weifeng Xu, Dianxiang Xu |
| 2022 | COMPSAC | Towards Designing Shared Digital Forensics Instructional Materials. | Weifeng Xu, Lin Deng, Dianxiang Xu |
| 2022 | PST | Visualizing and Reasoning about Presentable Digital Forensic Evidence with Knowledge Graphs. | Weifeng Xu, Dianxiang Xu |
| 2022 | SACMAT | Towards a Theory on Testing XACML Policies. | Dianxiang Xu, Roshan Shrestha, Ning Shen, Yunpeng Zhang |
| 2021 | COMPSAC | Quantifying Event Impact on the Bitcoin Blockchain. | Anthony Luo, Dianxiang Xu |
| 2021 | ICTAI | Detecting Integer Overflow Errors in Java Source Code via Machine Learning. | Yu Luo, Weifeng Xu, Dianxiang Xu |
| 2021 | SACMAT | Mutation Analysis of NGAC Policies. | Erzhuo Chen, Vladislav Dubrovenski, Dianxiang Xu |
| 2020 | COMPSAC | vSwitchGuard: Defending OpenFlow Switches Against Saturation Attacks. | Samer Khamaiseh, Edoardo Serra, Dianxiang Xu |
| 2020 | EASE | A Bigram-based Inference Model for Retrieving Abbreviated Phrases in Source Code. | Abdulrahman Alatawi, Weifeng Xu, Dianxiang Xu |
| 2020 | SACMAT | Automated Strong Mutation Testing of XACML Policies. | Dianxiang Xu, Roshan Shrestha, Ning Shen |
| 2019 | ISI | Forensic Analysis of Bitcoin Transactions. | Yan Wu, Anthony Luo, Dianxiang Xu |
| 2018 | COMPSAC | Analysis and Prediction of Endorsement-Based Skill Assessment in LinkedIn. | Yan Wu, Nitish Dhakal, Dianxiang Xu, Jin-Hee Cho |
| 2018 | COMPSAC | Message from the SEPT Symposium Program Chairs. | Dianxiang Xu, Eun-Sun Cho |
| 2018 | ISI | Detecting Saturation Attacks in Software-Defined Networks. | Zhiyuan Li, Weijia Xing, Dianxiang Xu |
| 2018 | QRS | Model-Based Testing of Obligatory ABAC Systems. | Samer Khamaiseh, Patrick Chapman, Dianxiang Xu |
| 2018 | SEKE | XPA: An Open Soruce IDE for XACML Policies (S). | Roshan Shrestha, Shuai Peng, Turner Lehmbecker, Dianxiang Xu |
| 2018 | SACMAT | Automated Coverage-Based Testing of XACML Policies. | Dianxiang Xu, Roshan Shrestha, Ning Shen |
| 2017 | COMPSAC | Measurement of Source Code Readability Using Word Concreteness and Memory Retention of Variable Names. | Weifeng Xu, Dianxiang Xu, Lin Deng |
| 2017 | DASC | Software Security Testing via Misuse Case Modeling. | Samer Khamaiseh, Dianxiang Xu |
| 2017 | ICTAI | Bayesian Unigram-Based Inference for Expanding Abbreviations in Source Code. | Abdulrahman Alatawi, Weifeng Xu, Dianxiang Xu |
| 2016 | COMPSAC | Message from the SEPT Organizing Committee. | Bhavani Thuraisingham, Dianxiang Xu, Hiroki Takakura, Mohammad Zulkernine, Elisa Bertino |
| 2016 | GLOBECOM | Privacy and Social Capital in Online Social Networks. | Jin-Hee Cho, Izzat Alsmadi, Dianxiang Xu |
| 2016 | ICISSP | Interaction-based Reputation Model in Online Social Networks. | Izzat Alsmadi, Dianxiang Xu, Jin-Hee Cho |
| 2016 | PST | Towards automatic repair of access control policies. | Dianxiang Xu, Shuai Peng |
| 2016 | SEKE | Conformance Testing of Balana: An Open Source Implementation of the XACML3.0 Standard. | Sung-Ju Fan Chiang, Daniel Chen, Dianxiang Xu |
| 2016 | SACMAT | Automated Fault Localization of XACML Policies. | Dianxiang Xu, Zhenyu Wang, Shuai Peng, Ning Shen |
| 2015 | COMPSAC | Message from SEPT Symposium Organizing Committee. | Bhavani Thuraisingham, Dianxiang Xu, Hiroki Takakura, Mohammad Zulkernine, Elisa Bertino |
| 2015 | QRS | Formalizing Semantic Differences between Combining Algorithms in XACML 3.0 Policies. | Dianxiang Xu, Yunpeng Zhang, Ning Shen |
| 2015 | SEKE | Fault-Based Testing of Combining Algorithms in XACML3.0 Policies. | Dianxiang Xu, Ning Shen, Yunpeng Zhang |
| 2014 | COMPSAC | Automated Generation of Integration Test Sequences from Logical Contracts. | Dianxiang Xu, Weifeng Xu, Manghui Tu |
| 2014 | SEKE | Effectiveness of Automated Function Testing with Petri Nets: A Series of Controlled Experiments. | Dianxiang Xu, Ning Shen |
| 2013 | COMPSAC | An UML Behavior Diagram Based Automatic Testing Approach. | Chih-Hung Chang, Chih-Wei Lu, William C. Chu, Xin-Hao Huang, Dianxiang Xu, Tse-Chuan Hsu, Yu-Bin Lai |
| 2013 | COMPSAC | Mining Test Oracles for Test Inputs Generated from Java Bytecode. | Weifeng Xu, Tao Ding, Hanlin Wang, Dianxiang Xu |
| 2013 | SIGCSE | Software security testing of an online banking system: a unique research experience for undergraduates and computer teachers. | Dianxiang Xu |
| 2013 | SEKE | An Approach for Analyzing Software Specifications in Petri Nets. | Junhua Ding, Dianxiang Xu, Jidong Ge |
| 2012 | COMPSAC | A Methodology for Building Effective Test Models with Function Nets. | Dianxiang Xu, William C. Chu |
| 2012 | SEKE | Model-Based Metamorphic Testing: A Case Study. | Junhua Ding, Dianxiang Xu |
| 2012 | SEKE | Automated Generation of Concurrent Test Code from Function Nets. | Dianxiang Xu, Janghwan Tae |
| 2012 | SACMAT | A model-based approach to automated testing of access control policies. | Dianxiang Xu, Lijo Thomas, Michael Kent, Tejeddine Mouelhi, Yves Le Traon |
| 2011 | COMPSAC | Mutation Analysis of Magento for Evaluating Threat Model-Based Security Testing. | Lijo Thomas, Weifeng Xu, Dianxiang Xu |
| 2011 | COMPSAC | Reach Availability Modeling of Replicated Services. | Manghui Tu, Dianxiang Xu, Zhonghang Xia, Jicheng Fu |
| 2011 | ICSE | Metamorphic testing of a Monte Carlo modeling program. | Junhua Ding, Tong Wu, Dianxiang Xu, Jun Q. Lu, Xin-Hua Hu |
| 2011 | SAC | Security mutation testing of the FileZilla FTP server. | Daniel Woodraska, Michael Sanford, Dianxiang Xu |
| 2011 | SEKE | Security Analysis of FileZilla Server Using Threat Models. | Michael Sanford, Daniel Woodraska, Dianxiang Xu |
| 2010 | ICST | Prioritizing State-Based Aspect Tests. | Dianxiang Xu, Junhua Ding |
| 2010 | SEKE | A Stochastic Model for Optimizing the Patching Time of Software Bugs. | Yong Wang, Dianxiang Xu, William M. Lively, Dick B. Simmons |
| 2009 | ICDM | Mining for Core Patterns in Stock Market Data. | Jianfei Wu, Anne Denton, Omar el Ariss, Dianxiang Xu |
| 2009 | ICSE | Security Test Generation Using Threat Trees. | Aaron Marback, Hyunsook Do, Ke He, Samuel Kondamarri, Dianxiang Xu |
| 2009 | ICST | Automated Evaluation of Runtime Object States against Model-Level States for State-Based Test Execution. | Weifeng Xu, Dianxiang Xu |
| 2009 | SAC | Modeling and integrating aspects with UML activity diagrams. | Zhanqi Cui, Linzhang Wang, Xuandong Li, Dianxiang Xu |
| 2008 | COMPSAC | A Systematic Approach for Integrating Fault Trees into System Statecharts. | Omar el Ariss, Dianxiang Xu, W. Eric Wong, Yuting Chen, Yann-Hang Lee |
| 2008 | COMPSAC | A UML-Based Framework for Design and Analysis of Dependable Software. | Jun Kong, Dianxiang Xu |
| 2007 | COMPSAC | Model Checking Aspect-Oriented Design Specification. | Dianxiang Xu, Izzat Alsmadi, Weifeng Xu |
| 2007 | ICSE | A Threat Model Driven Approach for Security Testing. | Linzhang Wang, W. Eric Wong, Dianxiang Xu |
| 2007 | SEKE | Automated Test Code Generation from UML Protocol State Machines. | Dianxiang Xu, Weifeng Xu, W. Eric Wong |
| 2006 | COMPSAC | An Aspect-Oriented Approach to Security Requirements Analysis. | Dianxiang Xu, Vivek Goel, Kendall E. Nygard |
| 2006 | ICECCS | Integrating Functional and Security Requirements with Use Case Decomposition. | Joshua J. Pauli, Dianxiang Xu |
| 2006 | ISSTA | State-based testing of integration aspects. | Weifeng Xu, Dianxiang Xu |
| 2006 | SEKE | Ensuring Consistent Use/Misuse Case Decomposition for Secure Systems. | Joshua J. Pauli, Dianxiang Xu |
| 2005 | ISNN | A Study on Illumination Invariant Face Recognition Methods Based on Multiple Eigenspaces. | Wu-Jun Li, Chong-Jun Wang, Dianxiang Xu, Bin Luo, Zhaoqian Chen |
| 2005 | SEKE | Design an Interoperable Mobile Agent System Based on Predicate Transition Net Models. | Junhua Ding, Dianxiang Xu, Yi Deng, Peter J. Clarke, Xudong He |
| 2005 | SEKE | A State-Based Approach to Testing Aspect-Oriented Programs. | Dianxiang Xu, Weifeng Xu, Kendall E. Nygard |
| 2004 | ICTAI | Illumination Invariant Face Recognition Based on Neural Network Ensemble. | Wu-Jun Li, Chong-Jun Wang, Dianxiang Xu, Shifu Chen |
| 2003 | ICTAI | Human-Agent Teamwork for Distributed Team Training. | Dianxiang Xu, Richard A. Volz, Michael S. Miller, Jesse Plymale |
| 2002 | SEKE | Modeling and verifying multi-agent behaviors using predicate/transition nets. | Dianxiang Xu, Richard A. Volz, Thomas R. Ioerger, John Yen |
| 2001 | IJCAI | CAST: Collaborative Agents for Simulating Teamwork. | John Yen, Jianwen Yin, Thomas R. Ioerger, Michael S. Miller, Dianxiang Xu, Richard A. Volz |
| 2000 | SMC | Modeling mobile agent systems with high level Petri nets. | Dianxiang Xu, Yi Deng |
| 1998 | ISORC | SPLAW: A Computable Agent-Oriented Programming Language. | Xiaocong Fan, Dianxiang Xu, Jianmin Hou, Guoliang Zheng |
| 1994 | ICTAI | KBMDL: A Knowledge Based Model Description Language for Decision Support. | Shifu Chen, Dianxiang Xu |