KBMDL: A Knowledge Based Model Description Language for Decision Support. - Shifu Chen; Dianxiang Xu (ICTAI, 1994)

Logical object as a basis of knowledge based systems. - Dianxiang Xu; Guoliang Zheng (J. Comput. Sci. Technol., 1995)

Logical Objects with Constraints. - Dianxiang Xu; Guoliang Zheng (ACM SIGPLAN Notices, 1995)

Inheritance as sublation and its semantics. - Dianxiang Xu; Guoliang Zheng (ACM SIGSOFT Softw. Eng. Notes, 1995)

Towards a declarative semantics of inheritance with exceptions. - Dianxiang Xu; Guoliang Zheng (J. Comput. Sci. Technol., 1996)

SPLAW: A Computable Agent-Oriented Programming Language. - Xiaocong Fan; Dianxiang Xu; Jianmin Hou; Guoliang Zheng (ISORC, 1998)

A logic based language for networked agents. - Dianxiang Xu (Inf. Softw. Technol., 1998)

Towards an object-oriented logic framework for knowledge based systems. - Dianxiang Xu (Knowl. Based Syst., 1998)

SPLAW: A Computable Language for Agent-oriented Programming. - Xiaocong Fan; Dianxiang Xu; Jianmin Hou; Guoliang Zheng (ACM SIGPLAN Notices, 1998)

Reasoning about team tracking. - Xiaocong Fan; Dianxiang Xu; Jianmin Hou; Guoliang Zheng (ACM SIGSOFT Softw. Eng. Notes, 1998)

Reasoning about Inheritance and Cloning Behaviors of Software Agents. - Xiaocong Fan; Dianxiang Xu; Guoliang Zheng (TOOLS (31), 1999)

Reasoning about concurrent actions in multi-agent systems. - Xiaocong Fan; Dianxiang Xu; Jianmin Hou; Guoliang Zheng (J. Comput. Sci. Technol., 1999)

A Type System of Logic Objects. - Dianxiang Xu (ACM SIGPLAN Notices, 1999)

Modeling mobile agent systems with high level Petri nets. - Dianxiang Xu; Yi Deng 001 (SMC, 2000)

CAST: Collaborative Agents for Simulating Teamwork. - John Yen; Jianwen Yin; Thomas R. Ioerger; Michael S. Miller; Dianxiang Xu; Richard A. Volz (IJCAI, 2001)

Generating Parallel Based on Planning Graph Analysis of Predicate/Transition Nets. - Dianxiang Xu; Richard A. Volz; Thomas R. Ioerger (IC-AI, 2002)

Modeling and verifying multi-agent behaviors using predicate/transition nets. - Dianxiang Xu; Richard A. Volz; Thomas R. Ioerger; John Yen (SEKE, 2002)

Collaborative Agents for C2 Teamwork Simulation. - Dianxiang Xu; Michael S. Miller; Richard A. Volz; Thomas R. Ioerger (IC-AI, 2003)

Human-Agent Teamwork for Distributed Team Training. - Dianxiang Xu; Richard A. Volz; Michael S. Miller; Jesse Plymale (ICTAI, 2003)

Modeling and Analyzing Multi-Agent Behaviors Using Predicate/Transition Nets. - Dianxiang Xu; Richard A. Volz; Thomas R. Ioerger; John Yen (Int. J. Softw. Eng. Knowl. Eng., 2003)

A Formal Architectural Model for Logical Agent Mobility. - Dianxiang Xu; Jianwen Yin; Yi Deng 001; Junhua Ding (IEEE Trans. Software Eng., 2003)

Illumination Invariant Face Recognition Based on Neural Network Ensemble. - Wu-Jun Li; Chong-Jun Wang; Dianxiang Xu; Shifu Chen (ICTAI, 2004)

A Petri Net Based Software Architecture for UAV Simulation. - Dianxiang Xu; Priti Borse; Ken Grigsby; Kendall E. Nygard (Software Engineering Research and Practice, 2004)

Development of a distributed multi-player computer game for scientific experimentation of team training protocols. - Sen Cao Richard; Richard A. Volz; Jamison Johnson; Jonathan Whetzel; Dianxiang Xu; Maitreyi Nanjanath (Electron. Libr., 2004)

Threat-Driven Architectural Design of Secure Information Systems. - Dianxiang Xu; Joshua J. Pauli (ICEIS (3), 2005)

A Study on Illumination Invariant Face Recognition Methods Based on Multiple Eigenspaces. - Wu-Jun Li; Chong-Jun Wang; Dianxiang Xu; Bin Luo 003; Zhaoqian Chen (ISNN (2), 2005)

Misuse Case-Based Design and Analysis of Secure Software Architecture. - Joshua J. Pauli; Dianxiang Xu (ITCC (2), 2005)

An Aspect-Oriented Approach to Mobile Agent Access Control. - Dianxiang Xu; Vivek Goel (ITCC (1), 2005)

A threat-driven approach to modeling and verifying secure software. - Dianxiang Xu; Kendall E. Nygard (ASE, 2005)

Design an Interoperable Mobile Agent System Based on Predicate Transition Net Models. - Junhua Ding; Dianxiang Xu; Yi Deng 001; Peter J. Clarke; Xudong He (SEKE, 2005)

A State-Based Approach to Testing Aspect-Oriented Programs. - Dianxiang Xu; Weifeng Xu; Kendall E. Nygard (SEKE, 2005)

Trade-off Analysis of Misuse Case-based Secure Software Architectures: A Case Study. - Joshua J. Pauli; Dianxiang Xu (MSVVEIS, 2005)

State-based incremental testing of aspect-oriented programs. - Dianxiang Xu; Weifeng Xu (AOSD, 2006)

An Aspect-Oriented Approach to Security Requirements Analysis. - Dianxiang Xu; Vivek Goel; Kendall E. Nygard (COMPSAC (2), 2006)

Integrating Functional and Security Requirements with Use Case Decomposition. - Joshua J. Pauli; Dianxiang Xu (ICECCS, 2006)

State-based testing of integration aspects. - Weifeng Xu; Dianxiang Xu (WTAOP, 2006)

Ensuring Consistent Use/Misuse Case Decomposition for Secure Systems. - Joshua J. Pauli; Dianxiang Xu (SEKE, 2006)

A formal model-based approach for developing an interoperable mobile agent system. - Junhua Ding; Peter J. Clarke; Dianxiang Xu; Xudong He; Yi Deng 001 (Multiagent Grid Syst., 2006)

Threat-Driven Modeling and Verification of Secure Software Using Aspect-Oriented Petri Nets. - Dianxiang Xu; Kendall E. Nygard (IEEE Trans. Software Eng., 2006)

Generation of test requirements from aspectual use cases. - Dianxiang Xu; Xudong He (WTAOP@AOSD, 2007)

Model Checking Aspect-Oriented Design Specification. - Dianxiang Xu; Izzat Alsmadi; Weifeng Xu (COMPSAC (1), 2007)

A Threat Model Driven Approach for Security Testing. - Linzhang Wang; W. Eric Wong; Dianxiang Xu (SESS@ICSE, 2007)

Automated Test Code Generation from UML Protocol State Machines. - Dianxiang Xu; Weifeng Xu; W. Eric Wong (SEKE, 2007)

Multi-agent designs for ambient systems. - Kendall E. Nygard; Dianxiang Xu; Jonathan Pikalek; Martin C. Lundell (AMBI-SYS, 2008)

A Systematic Approach for Integrating Fault Trees into System Statecharts. - Omar el Ariss; Dianxiang Xu; W. Eric Wong; Yuting Chen 001; Yann-Hang Lee (COMPSAC, 2008)

A UML-Based Framework for Design and Analysis of Dependable Software. - Jun Kong; Dianxiang Xu (COMPSAC, 2008)

Aspect-oriented specification of threat-driven security requirements. - Dianxiang Xu; Vivek Goel; Kendall E. Nygard; W. Eric Wong (Int. J. Comput. Appl. Technol., 2008)

Testing Aspect-Oriented Programs with UML Design Models. - Dianxiang Xu; Weifeng Xu; W. Eric Wong (Int. J. Softw. Eng. Knowl. Eng., 2008)

Software Security. - Dianxiang Xu (Wiley Encyclopedia of Computer Science and Engineering, 2008)

Mining for Core Patterns in Stock Market Data. - Jianfei Wu; Anne Denton; Omar el Ariss; Dianxiang Xu (ICDM Workshops, 2009)

Security Test Generation Using Threat Trees. - Aaron Marback; Hyunsook Do; Ke He; Samuel Kondamarri; Dianxiang Xu (AST, 2009)

Automated Evaluation of Runtime Object States against Model-Level States for State-Based Test Execution. - Weifeng Xu; Dianxiang Xu (ICST Workshops, 2009)

Modeling and integrating aspects with UML activity diagrams. - Zhanqi Cui; Linzhang Wang; Xuandong Li; Dianxiang Xu (SAC, 2009)

A Comparative Study of Access Control Languages. - Sathish Pinagapani; Dianxiang Xu; Jun Kong (SSIRI, 2009)

Automated Test Code Generation from Class State Models. - Dianxiang Xu; Weifeng Xu; W. Eric Wong (Int. J. Softw. Eng. Knowl. Eng., 2009)

Aspect-Oriented Modeling and Verification with Finite State Machines. - Dianxiang Xu; Omar el Ariss; Weifeng Xu; Lin-Zhang Wang (J. Comput. Sci. Technol., 2009)

Specifying behavioral semantics of UML diagrams through graph transformations. - Jun Kong; Kang Zhang 001; Jing Dong 005; Dianxiang Xu (J. Syst. Softw., 2009)

Prioritizing State-Based Aspect Tests. - Dianxiang Xu; Junhua Ding (ICST, 2010)

A Systematic Capture and Replay Strategy for Testing Complex GUI Based Java Applications. - Omar el Ariss; Dianxiang Xu; Santosh Dandey; Bradley Vender; Philip E. McClean; Brian M. Slator (ITNG, 2010)

A Stochastic Model for Optimizing the Patching Time of Software Bugs. - Yong Wang 023; Dianxiang Xu; William M. Lively; Dick B. Simmons (SEKE, 2010)

Software Test Automation. - Phillip A. Laplante; Fevzi Belli; Jerry Gao 002; Greg Kapfhammer; Keith W. Miller 001; W. Eric Wong; Dianxiang Xu (Adv. Softw. Eng., 2010)

Uml-Based Modeling and Analysis of Security Threats. - Jun Kong; Dianxiang Xu; Xiaoqin Zeng (Int. J. Softw. Eng. Knowl. Eng., 2010)

A Tool for Automated Test Code Generation from High-Level Petri Nets. - Dianxiang Xu (Petri Nets, 2011)

Mutation Analysis of Magento for Evaluating Threat Model-Based Security Testing. - Lijo Thomas; Weifeng Xu; Dianxiang Xu (COMPSAC Workshops, 2011)

Reach Availability Modeling of Replicated Services. - Manghui Tu; Dianxiang Xu; Zhonghang Xia; Jicheng Fu (COMPSAC, 2011)

Metamorphic testing of a Monte Carlo modeling program. - Junhua Ding; Tong Wu; Dianxiang Xu; Jun Q. Lu; Xin-Hua Hu (AST, 2011)

Modeling security attacks with statecharts. - Omar el Ariss; Dianxiang Xu (QoSA/ISARCS, 2011)

Security mutation testing of the FileZilla FTP server. - Daniel Woodraska; Michael Sanford; Dianxiang Xu (SAC, 2011)

Security Analysis of FileZilla Server Using Threat Models. - Michael Sanford; Daniel Woodraska; Dianxiang Xu (SEKE, 2011)

Towards an Enhanced Design Level Security: Integrating Attack Trees with Statecharts. - Omar el Ariss; Jianfei Wu; Dianxiang Xu (SSIRI, 2011)

Integrating Safety Analysis With Functional Modeling. - Omar el Ariss; Dianxiang Xu; W. Eric Wong (IEEE Trans. Syst. Man Cybern. Part A, 2011)

A Methodology for Building Effective Test Models with Function Nets. - Dianxiang Xu; William C. Chu (COMPSAC, 2012)

A model-based approach to automated testing of access control policies. - Dianxiang Xu; Lijo Thomas; Michael Kent; Tejeddine Mouelhi; Yves Le Traon (SACMAT, 2012)

Model-Based Metamorphic Testing: A Case Study. - Junhua Ding; Dianxiang Xu (SEKE, 2012)

Automated Generation of Concurrent Test Code from Function Nets. - Dianxiang Xu; Janghwan Tae (SEKE, 2012)

Mining Executable Specifications of Web Applications from Selenium IDE Tests. - Dianxiang Xu; Weifeng Xu; Bharath K. Bavikati; W. Eric Wong (SERE, 2012)

Secure System Modeling: Integrating Security Attacks with Statecharts. - Omar el Ariss; Dianxiang Xu (Int. J. Softw. Informatics, 2012)

On the Development of Digital Forensics Curriculum. - Manghui Tu; Dianxiang Xu; Cristian Balan; Kyle Cronin (J. Digit. Forensics Secur. Law, 2012)

Testing aspect-oriented programs with finite state machines. - Dianxiang Xu; Omar el Ariss; Weifeng Xu; Linzhang Wang (Softw. Test. Verification Reliab., 2012)

Automated Security Test Generation with Formal Threat Models. - Dianxiang Xu; Manghui Tu; Michael Sanford; Lijo Thomas; Daniel Woodraska; Weifeng Xu (IEEE Trans. Dependable Secur. Comput., 2012)

Towards Better Fault Localization: A Crosstab-Based Statistical Approach. - W. Eric Wong; Vidroha Debroy; Dianxiang Xu (IEEE Trans. Syst. Man Cybern. Part C, 2012)

System Modeling with UML State Machines. - Omar el Ariss; Dianxiang Xu (Handbook of Finite State Based Models and Applications, 2012)

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 (COMPSAC Workshops, 2013)

Mining Test Oracles for Test Inputs Generated from Java Bytecode. - Weifeng Xu; Tao Ding; Hanlin Wang; Dianxiang Xu (COMPSAC, 2013)

System resilience modeling and enhancement for the cloud. - Manghui Tu; Dianxiang Xu (ICNC, 2013)

Testing access control and obligation policies. - Dianxiang Xu; Michael Sanford; Zhaoliang Liu; Spencer Johnson; Mark Emry; Brad Brockmueller; Michael To (ICNC, 2013)

An Approach for Analyzing Software Specifications in Petri Nets. - Junhua Ding; Dianxiang Xu; Jidong Ge (SEKE, 2013)

Software security testing of an online banking system: a unique research experience for undergraduates and computer teachers. - Dianxiang Xu (SIGCSE, 2013)

Maximizing the Availability of Replicated Services in Widely Distributed Systems Considering Network Availability. - Manghui Tu; Liangliang Xiao; Dianxiang Xu (SERE, 2013)

Data Placement in P2P Data Grids Considering the Availability, Security, Access Performance and Load Balancing. - Manghui Tu; Hui Ma 006; Liangliang Xiao; I-Ling Yen; Farokh B. Bastani; Dianxiang Xu (J. Grid Comput., 2013)

Guest Editor's Introduction. - Dianxiang Xu; Omar el Ariss (Int. J. Softw. Eng. Knowl. Eng., 2013)

Resilience as a New System Engineering for Cloud Computing. - Manghui Tu; Dianxiang Xu (J. Commun., 2013)

A threat model-based approach to security testing. - Aaron Marback; Hyunsook Do; Ke He; Samuel Kondamarri; Dianxiang Xu (Softw. Pract. Exp., 2013)

Automated Generation of Integration Test Sequences from Logical Contracts. - Dianxiang Xu; Weifeng Xu; Manghui Tu (COMPSAC Workshops, 2014)

Effectiveness of Automated Function Testing with Petri Nets: A Series of Controlled Experiments. - Dianxiang Xu; Ning Shen (SEKE, 2014)

Rule-Based Test Input Generation from Bytecode. - Weifeng Xu; Tao Ding; Dianxiang Xu (SERE, 2014)

Specification and Analysis of Attribute-Based Access Control Policies: An Overview. - Dianxiang Xu; Yunpeng Zhang (SERE (Companion), 2014)

Integrated Modeling and Analysis of Attribute Based Access Control Policies and Workflows in Healthcare. - Sandeep Lakkaraju; Dianxiang Xu (TSA, 2014)

Toward a mature industrial practice of software test automation. - Hong Zhu 002; Daniel Hoffman; John Hughes 001; Dianxiang Xu (Softw. Qual. J., 2014)

Message from SEPT Symposium Organizing Committee. - Bhavani Thuraisingham; Dianxiang Xu; Hiroki Takakura; Mohammad Zulkernine; Elisa Bertino (COMPSAC, 2015)

Formalizing Semantic Differences between Combining Algorithms in XACML 3.0 Policies. - Dianxiang Xu; Yunpeng Zhang; Ning Shen (QRS, 2015)

Fault-Based Testing of Combining Algorithms in XACML3.0 Policies. - Dianxiang Xu; Ning Shen; Yunpeng Zhang (SEKE, 2015)

Model-Based Testing of SDN Firewalls: A Case Study. - Izzat Alsmadi; Milson Munakami; Dianxiang Xu (TSA, 2015)

Security of Software Defined Networks: A survey. - Izzat Alsmadi; Dianxiang Xu (Comput. Secur., 2015)

Detecting Incorrect Uses of Combining Algorithms in XACML 3.0 Policies. - Dianxiang Xu; Ning Shen; Yunpeng Zhang (Int. J. Softw. Eng. Knowl. Eng., 2015)

Automated Model-Based Testing of Role-Based Access Control Using Predicate/Transition Nets. - Dianxiang Xu; Michael Kent; Lijo Thomas; Tejeddine Mouelhi; Yves Le Traon (IEEE Trans. Computers, 2015)

An Automated Test Generation Technique for Software Quality Assurance. - Dianxiang Xu; Weifeng Xu; Michael Kent; Lijo Thomas; Linzhang Wang (IEEE Trans. Reliab., 2015)

Message from the SEPT Organizing Committee. - Bhavani Thuraisingham; Dianxiang Xu; Hiroki Takakura; Mohammad Zulkernine; Elisa Bertino (COMPSAC, 2016)

Privacy and Social Capital in Online Social Networks. - Jin-Hee Cho; Izzat Alsmadi; Dianxiang Xu (GLOBECOM, 2016)

Interaction-based Reputation Model in Online Social Networks. - Izzat Alsmadi; Dianxiang Xu; Jin-Hee Cho (ICISSP, 2016)

Towards automatic repair of access control policies. - Dianxiang Xu; Shuai Peng (PST, 2016)

Automated Fault Localization of XACML Policies. - Dianxiang Xu; Zhenyu Wang; Shuai Peng; Ning Shen (SACMAT, 2016)

Conformance Testing of Balana: An Open Source Implementation of the XACML3.0 Standard. - Sung-Ju Fan Chiang; Daniel Chen; Dianxiang Xu (SEKE, 2016)

Analysis of Healthcare Workflows in Accordance with Access Control Policies. - Sandeep Lakaraju; Dianxiang Xu; Yong Wang 045 (Int. J. Heal. Inf. Syst. Informatics, 2016)

Automated Integration Testing Using Logical Contracts. - Dianxiang Xu; Weifeng Xu; Manghui Tu; Ning Shen; William C. Chu; Chih-Hung Chang (IEEE Trans. Reliab., 2016)

Predicting Friendship Strength for Privacy Preserving: A Case Study on Facebook. - Nitish Dhakal; Francesca Spezzano; Dianxiang Xu (ASONAM, 2017)

Statistical Unigram Analysis for Source Code Repository. - Dianxiang Xu; Omar el Ariss; Yunkai Liu; Abdulrahman Alatawi (BigMM, 2017)

Measurement of Source Code Readability Using Word Concreteness and Memory Retention of Variable Names. - Weifeng Xu; Dianxiang Xu; Lin Deng 001 (COMPSAC (1), 2017)

Software Security Testing via Misuse Case Modeling. - Samer Khamaiseh; Dianxiang Xu (DASC/PiCom/DataCom/CyberSciTech, 2017)

Bayesian Unigram-Based Inference for Expanding Abbreviations in Source Code. - Abdulrahman Alatawi; Weifeng Xu; Dianxiang Xu (ICTAI, 2017)

Model Checking of Security Properties in Industrial Control Systems (ICS). - Roshan Shrestha; Hoda Mehrpouyan; Dianxiang Xu (CODASPY, 2018)

Analysis and Prediction of Endorsement-Based Skill Assessment in LinkedIn. - Yan Wu; Nitish Dhakal; Dianxiang Xu; Jin-Hee Cho (COMPSAC (1), 2018)

Message from the SEPT Symposium Program Chairs. - Dianxiang Xu; Eun-Sun Cho (COMPSAC (1), 2018)

Detecting Saturation Attacks in Software-Defined Networks. - Zhiyuan Li 002; Weijia Xing; Dianxiang Xu (ISI, 2018)

Model-Based Testing of Obligatory ABAC Systems. - Samer Khamaiseh; Patrick Chapman; Dianxiang Xu (QRS, 2018)

Automated Coverage-Based Testing of XACML Policies. - Dianxiang Xu; Roshan Shrestha; Ning Shen (SACMAT, 2018)

XPA: An Open Soruce IDE for XACML Policies (S). - Roshan Shrestha; Shuai Peng; Turner Lehmbecker; Dianxiang Xu (SEKE, 2018)

Network slicing to improve multicasting in HPC clusters. - Izzat Alsmadi; Abdallah Khreishah; Dianxiang Xu (Clust. Comput., 2018)

Statistical Unigram Analysis for Source Code Repository. - Weifeng Xu; Dianxiang Xu; Abdulrahman Alatawi; Omar el Ariss; Yunkai Liu (Int. J. Semantic Comput., 2018)

Deviant: A Mutation Testing Tool for Solidity Smart Contracts. - Patrick Chapman; Dianxiang Xu; Lin Deng 001; Yin Xiong (Blockchain, 2019)

Detecting Saturation Attacks in SDN via Machine Learning. - Samer Khamaiseh; Edoardo Serra; Zhiyuan Li 002; Dianxiang Xu (ICCCS, 2019)

Forensic Analysis of Bitcoin Transactions. - Yan Wu 009; Anthony Luo; Dianxiang Xu (ISI, 2019)

Identifying suspicious addresses in Bitcoin thefts. - Yan Wu 009; Anthony Luo; Dianxiang Xu (Digit. Investig., 2019)

Effect of NO2 on O3 Using Complex Network Topology Analysis. - Qiang Zhang 049; Dianxiang Xu; Tianze Gao; Zhihe Wang (IEEE Trans. Comput. Soc. Syst., 2019)

vSwitchGuard: Defending OpenFlow Switches Against Saturation Attacks. - Samer Khamaiseh; Edoardo Serra; Dianxiang Xu (COMPSAC, 2020)

A Bigram-based Inference Model for Retrieving Abbreviated Phrases in Source Code. - Abdulrahman Alatawi; Weifeng Xu; Dianxiang Xu (EASE, 2020)

Automated Strong Mutation Testing of XACML Policies. - Dianxiang Xu; Roshan Shrestha; Ning Shen (SACMAT, 2020)

Assessing Holistic Impacts of Major Events on the Bitcoin Blockchain Network. - Anthony Luo; Dianxiang Xu (CoRR, 2020)

Detecting Saturation Attacks Based on Self-Similarity of OpenFlow Traffic. - Zhiyuan Li 002; Weijia Xing; Samer Khamaiseh; Dianxiang Xu (IEEE Trans. Netw. Serv. Manag., 2020)

Quantifying Event Impact on the Bitcoin Blockchain. - Anthony Luo; Dianxiang Xu (COMPSAC, 2021)

Detecting Integer Overflow Errors in Java Source Code via Machine Learning. - Yu Luo; Weifeng Xu; Dianxiang Xu (ICTAI, 2021)

Mutation Analysis of NGAC Policies. - Erzhuo Chen; Vladislav Dubrovenski; Dianxiang Xu (SACMAT, 2021)

Compact Abstract Graphs for Detecting Code Vulnerability with GNN Models. - Yu Luo; Weifeng Xu; Dianxiang Xu (ACSAC, 2022)

Towards Designing Shared Digital Forensics Instructional Materials. - Weifeng Xu; Lin Deng 001; Dianxiang Xu (COMPSAC, 2022)

Visualizing and Reasoning about Presentable Digital Forensic Evidence with Knowledge Graphs. - Weifeng Xu; Dianxiang Xu (PST, 2022)

Towards a Theory on Testing XACML Policies. - Dianxiang Xu; Roshan Shrestha; Ning Shen; Yunpeng Zhang (SACMAT, 2022)

Predicting Integer Overflow Errors via Supervised Learning. - Yu Luo; Weifeng Xu; Dianxiang Xu (Int. J. Artif. Intell. Tools, 2022)

SMT-Based Verification of NGAC Policies. - Vladislav Dubrovenski; Erzhuo Chen; Dianxiang Xu (COMPSAC, 2023)

Dynamic Access Control with Administrative Obligations: A Case Study. - Vladislav Dubrovenski; Md Nazmul Karim; Erzhuo Chen; Dianxiang Xu (QRS Companion, 2023)

Coverage-Based Testing of Obligations in NGAC Systems. - Erzhuo Chen; Vladislav Dubrovenski; Dianxiang Xu (SACMAT, 2023)

FELLMVP: An Ensemble LLM Framework for Classifying Smart Contract Vulnerabilities. - Yu Luo; Weifeng Xu; Karl Andersson 001; Mohammad Shahadat Hossain; Dianxiang Xu (Blockchain, 2024)

Predicting Code Vulnerability Types via Heterogeneous GNN Learning. - Yu Luo; Weifeng Xu; Dianxiang Xu (ESORICS (3), 2024)

GNN-Based Transfer Learning and Tuning for Detecting Code Vulnerabilities across Different Programming Languages. - Irfan Ali Khan; Yu Luo; Weifeng Xu; Dianxiang Xu (QRS, 2024)

Analyzing Relationship Consistency in Digital Forensic Knowledge Graphs with Graph Learning. - Ruoyao Xiao; Yu Luo; Weifeng Xu; Harshmeet Lamba; Dianxiang Xu (TrustCom, 2024)

SSI-FL: Self-sovereign identity based privacy-preserving federated learning. - Rakib Ul Haque; A. S. M. Touhidul Hasan; Mohammed Ali Mohammed Al-Hababi; Yuqing Zhang 001; Dianxiang Xu (J. Parallel Distributed Comput., 2024)

Reconstructing Judicial Digital Forensic Evidence Graphs from Legal Documents Using Large Language Models. - Omar Ramadan; Ruoyao Xiao; Dianxiang Xu; Weifeng Xu (COMPSAC, 2025)

C2RustTV: An LLM-based Framework for C to Rust Translation and Validation. - Han Zhou; Yu Luo; Mengtao Zhang; Dianxiang Xu (COMPSAC, 2025)

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 (SIGCSE (2), 2025)

Hybrid Edge Intelligence for Real-Time Intrusion Detection in Advanced Traffic Management Systems. - Rohith Reddy Depa; Yunpeng Zhang; Dianxiang Xu (SP (Workshops), 2025)

Detecting Errors in NGAC Policies via Fault-Based Testing. - Erzhuo Chen; Vladislav Dubrovenski; Dianxiang Xu (IEEE Trans. Dependable Secur. Comput., 2025)

Detecting Code Vulnerabilities with Heterogeneous GNN Training. - Yu Luo; Weifeng Xu; Dianxiang Xu (CoRR, 2025)

HALURust: Exploiting Hallucinations of Large Language Models to Detect Vulnerabilities in Rust. - Yu Luo; Han Zhou; Mengtao Zhang; Dylan De La Rosa; Hafsa Ahmed; Weifeng Xu; Dianxiang Xu (CoRR, 2025)