Dianxiang Xu

169 papers A* 2A 4B 26C 30Misc 6Journal 53Unranked 44
YearRankTypeTitle / Venue / Authors
2026 J jnl
Detecting Obligation Races in NGAC Systems.
IEEE Trans. Dependable Secur. Comput.
Vladislav Dubrovenski, Dianxiang Xu
2025 J jnl
Analyzing Action Interference of Administrative Obligations for SMT-Based Verification.
J. Cybersecur. Priv.
Vladislav Dubrovenski, Leo Chen, Dianxiang Xu
2025 — conf
Building AI-Powered Responsible Workforce by Integrating Large Language Models into Computer Science Curriculum.
SIGCSE (2)
Brian K. Hare, Joan Gladbach, Syed Jawad Hussain Shah, Dianxiang Xu
2025 B conf
C2RustTV: An LLM-based Framework for C to Rust Translation and Validation.
COMPSAC
Han Zhou, Yu Luo, Mengtao Zhang, Dianxiang Xu
2025 J jnl
Detecting Code Vulnerabilities with Heterogeneous GNN Training.
CoRR
Yu Luo, Weifeng Xu, Dianxiang Xu
2025 J jnl
Detecting Errors in NGAC Policies via Fault-Based Testing.
IEEE Trans. Dependable Secur. Comput.
Erzhuo Chen, Vladislav Dubrovenski, Dianxiang Xu
2025 J jnl
Detecting code vulnerabilities with heterogeneous GNN training.
Int. J. Inf. Sec.
Yu Luo, Weifeng Xu, Dianxiang Xu
2025 B conf
From Text to STIX: Reducing Hallucinations through Fine-Tuned LLMs.
TrustCom
Ruoyao Xiao, Yu Luo, Weifeng Xu, Dianxiang Xu
2025 J jnl
HALURust: Exploiting Hallucinations of Large Language Models to Detect Vulnerabilities in Rust.
CoRR
Yu Luo, Han Zhou, Mengtao Zhang, Dylan De La Rosa, Hafsa Ahmed, Weifeng Xu, Dianxiang Xu
2025 — conf
Hybrid Edge Intelligence for Real-Time Intrusion Detection in Advanced Traffic Management Systems.
SP (Workshops)
Rohith Reddy Depa, Yunpeng Zhang, Dianxiang Xu
2025 B conf
Reconstructing Judicial Digital Forensic Evidence Graphs from Legal Documents Using Large Language Models.
COMPSAC
Omar Ramadan, Ruoyao Xiao, Dianxiang Xu, Weifeng Xu
2025 B conf
Security of LLM Agents: A Case Study Approach.
TrustCom
Casey Fan, Diyana Tial, Vladislav Dubrovenski, Mengtao Zhang, Yugyung Lee, Dianxiang Xu
2024 B conf
Analyzing Relationship Consistency in Digital Forensic Knowledge Graphs with Graph Learning.
TrustCom
Ruoyao Xiao, Yu Luo, Weifeng Xu, Harshmeet Lamba, Dianxiang Xu
2024 — conf
FELLMVP: An Ensemble LLM Framework for Classifying Smart Contract Vulnerabilities.
Blockchain
Yu Luo, Weifeng Xu, Karl Andersson, Mohammad Shahadat Hossain, Dianxiang Xu
2024 C conf
GNN-Based Transfer Learning and Tuning for Detecting Code Vulnerabilities across Different Programming Languages.
QRS
Irfan Ali Khan, Yu Luo, Weifeng Xu, Dianxiang Xu
2024 — conf
Predicting Code Vulnerability Types via Heterogeneous GNN Learning.
ESORICS (3)
Yu Luo, Weifeng Xu, Dianxiang Xu
2024 J jnl
SSI-FL: Self-sovereign identity based privacy-preserving federated learning.
J. Parallel Distributed Comput.
Rakib Ul Haque, A. S. M. Touhidul Hasan, Mohammed Ali Mohammed Al-Hababi, Yuqing Zhang, Dianxiang Xu
2023 C conf
Coverage-Based Testing of Obligations in NGAC Systems.
SACMAT
Erzhuo Chen, Vladislav Dubrovenski, Dianxiang Xu
2023 — conf
Dynamic Access Control with Administrative Obligations: A Case Study.
QRS Companion
Vladislav Dubrovenski, Md Nazmul Karim, Erzhuo Chen, Dianxiang Xu
2023 B conf
SMT-Based Verification of NGAC Policies.
COMPSAC
Vladislav Dubrovenski, Erzhuo Chen, Dianxiang Xu
2022 A conf
Compact Abstract Graphs for Detecting Code Vulnerability with GNN Models.
ACSAC
Yu Luo, Weifeng Xu, Dianxiang Xu
2022 J jnl
Predicting Integer Overflow Errors via Supervised Learning.
Int. J. Artif. Intell. Tools
Yu Luo, Weifeng Xu, Dianxiang Xu
2022 B conf
Towards Designing Shared Digital Forensics Instructional Materials.
COMPSAC
Weifeng Xu, Lin Deng, Dianxiang Xu
2022 C conf
Towards a Theory on Testing XACML Policies.
SACMAT
Dianxiang Xu, Roshan Shrestha, Ning Shen, Yunpeng Zhang
2022 C conf
Visualizing and Reasoning about Presentable Digital Forensic Evidence with Knowledge Graphs.
PST
Weifeng Xu, Dianxiang Xu
2021 B conf
Detecting Integer Overflow Errors in Java Source Code via Machine Learning.
ICTAI
Yu Luo, Weifeng Xu, Dianxiang Xu
2021 C conf
Mutation Analysis of NGAC Policies.
SACMAT
Erzhuo Chen, Vladislav Dubrovenski, Dianxiang Xu
2021 B conf
Quantifying Event Impact on the Bitcoin Blockchain.
COMPSAC
Anthony Luo, Dianxiang Xu
2020 A conf
A Bigram-based Inference Model for Retrieving Abbreviated Phrases in Source Code.
EASE
Abdulrahman Alatawi, Weifeng Xu, Dianxiang Xu
2020 J jnl
Assessing Holistic Impacts of Major Events on the Bitcoin Blockchain Network.
CoRR
Anthony Luo, Dianxiang Xu
2020 C conf
Automated Strong Mutation Testing of XACML Policies.
SACMAT
Dianxiang Xu, Roshan Shrestha, Ning Shen
2020 J jnl
Detecting Saturation Attacks Based on Self-Similarity of OpenFlow Traffic.
IEEE Trans. Netw. Serv. Manag.
Zhiyuan Li, Weijia Xing, Samer Khamaiseh, Dianxiang Xu
2020 B conf
vSwitchGuard: Defending OpenFlow Switches Against Saturation Attacks.
COMPSAC
Samer Khamaiseh, Edoardo Serra, Dianxiang Xu
2019 — conf
Detecting Saturation Attacks in SDN via Machine Learning.
ICCCS
Samer Khamaiseh, Edoardo Serra, Zhiyuan Li, Dianxiang Xu
2019 — conf
Deviant: A Mutation Testing Tool for Solidity Smart Contracts.
Blockchain
Patrick Chapman, Dianxiang Xu, Lin Deng, Yin Xiong
2019 J jnl
Effect of NO
IEEE Trans. Comput. Soc. Syst.
Qiang Zhang, Dianxiang Xu, Tianze Gao, Zhihe Wang
2019 C conf
Forensic Analysis of Bitcoin Transactions.
ISI
Yan Wu, Anthony Luo, Dianxiang Xu
2019 J jnl
Identifying suspicious addresses in Bitcoin thefts.
Digit. Investig.
Yan Wu, Anthony Luo, Dianxiang Xu
2018 — conf
Analysis and Prediction of Endorsement-Based Skill Assessment in LinkedIn.
COMPSAC (1)
Yan Wu, Nitish Dhakal, Dianxiang Xu, Jin-Hee Cho
2018 C conf
Automated Coverage-Based Testing of XACML Policies.
SACMAT
Dianxiang Xu, Roshan Shrestha, Ning Shen
2018 C conf
Detecting Saturation Attacks in Software-Defined Networks.
ISI
Zhiyuan Li, Weijia Xing, Dianxiang Xu
2018 — conf
Message from the SEPT Symposium Program Chairs.
COMPSAC (1)
Dianxiang Xu, Eun-Sun Cho
2018 — conf
Model Checking of Security Properties in Industrial Control Systems (ICS).
CODASPY
Roshan Shrestha, Hoda Mehrpouyan, Dianxiang Xu
2018 C conf
Model-Based Testing of Obligatory ABAC Systems.
QRS
Samer Khamaiseh, Patrick Chapman, Dianxiang Xu
2018 J jnl
Network slicing to improve multicasting in HPC clusters.
Clust. Comput.
Izzat Alsmadi, Abdallah Khreishah, Dianxiang Xu
2018 J jnl
Statistical Unigram Analysis for Source Code Repository.
Int. J. Semantic Comput.
Weifeng Xu, Dianxiang Xu, Abdulrahman Alatawi, Omar el Ariss, Yunkai Liu
2018 C conf
XPA: An Open Soruce IDE for XACML Policies (S).
SEKE
Roshan Shrestha, Shuai Peng, Turner Lehmbecker, Dianxiang Xu
2017 B conf
Bayesian Unigram-Based Inference for Expanding Abbreviations in Source Code.
ICTAI
Abdulrahman Alatawi, Weifeng Xu, Dianxiang Xu
2017 — conf
Measurement of Source Code Readability Using Word Concreteness and Memory Retention of Variable Names.
COMPSAC (1)
Weifeng Xu, Dianxiang Xu, Lin Deng
2017 B conf
Predicting Friendship Strength for Privacy Preserving: A Case Study on Facebook.
ASONAM
Nitish Dhakal, Francesca Spezzano, Dianxiang Xu
2017 — conf
Software Security Testing via Misuse Case Modeling.
DASC/PiCom/DataCom/CyberSciTech
Samer Khamaiseh, Dianxiang Xu
2017 — conf
Statistical Unigram Analysis for Source Code Repository.
BigMM
Dianxiang Xu, Omar el Ariss, Yunkai Liu, Abdulrahman Alatawi
2016 J jnl
Analysis of Healthcare Workflows in Accordance with Access Control Policies.
Int. J. Heal. Inf. Syst. Informatics
Sandeep Lakaraju, Dianxiang Xu, Yong Wang
2016 C conf
Automated Fault Localization of XACML Policies.
SACMAT
Dianxiang Xu, Zhenyu Wang, Shuai Peng, Ning Shen
2016 J jnl
Automated Integration Testing Using Logical Contracts.
IEEE Trans. Reliab.
Dianxiang Xu, Weifeng Xu, Manghui Tu, Ning Shen, William C. Chu, Chih-Hung Chang
2016 C conf
Conformance Testing of Balana: An Open Source Implementation of the XACML3.0 Standard.
SEKE
Sung-Ju Fan Chiang, Daniel Chen, Dianxiang Xu
2016 C conf
Interaction-based Reputation Model in Online Social Networks.
ICISSP
Izzat Alsmadi, Dianxiang Xu, Jin-Hee Cho
2016 B conf
Message from the SEPT Organizing Committee.
COMPSAC
Bhavani Thuraisingham, Dianxiang Xu, Hiroki Takakura, Mohammad Zulkernine, Elisa Bertino
2016 B conf
Privacy and Social Capital in Online Social Networks.
GLOBECOM
Jin-Hee Cho, Izzat Alsmadi, Dianxiang Xu
2016 C conf
Towards automatic repair of access control policies.
PST
Dianxiang Xu, Shuai Peng
2015 J jnl
An Automated Test Generation Technique for Software Quality Assurance.
IEEE Trans. Reliab.
Dianxiang Xu, Weifeng Xu, Michael Kent, Lijo Thomas, Linzhang Wang
2015 J jnl
Automated Model-Based Testing of Role-Based Access Control Using Predicate/Transition Nets.
IEEE Trans. Computers
Dianxiang Xu, Michael Kent, Lijo Thomas, Tejeddine Mouelhi, Yves Le Traon
2015 J jnl
Detecting Incorrect Uses of Combining Algorithms in XACML 3.0 Policies.
Int. J. Softw. Eng. Knowl. Eng.
Dianxiang Xu, Ning Shen, Yunpeng Zhang
2015 C conf
Fault-Based Testing of Combining Algorithms in XACML3.0 Policies.
SEKE
Dianxiang Xu, Ning Shen, Yunpeng Zhang
2015 C conf
Formalizing Semantic Differences between Combining Algorithms in XACML 3.0 Policies.
QRS
Dianxiang Xu, Yunpeng Zhang, Ning Shen
2015 B conf
Message from SEPT Symposium Organizing Committee.
COMPSAC
Bhavani Thuraisingham, Dianxiang Xu, Hiroki Takakura, Mohammad Zulkernine, Elisa Bertino
2015 — conf
Model-Based Testing of SDN Firewalls: A Case Study.
TSA
Izzat Alsmadi, Milson Munakami, Dianxiang Xu
2015 J jnl
Security of Software Defined Networks: A survey.
Comput. Secur.
Izzat Alsmadi, Dianxiang Xu
2014 — conf
Automated Generation of Integration Test Sequences from Logical Contracts.
COMPSAC Workshops
Dianxiang Xu, Weifeng Xu, Manghui Tu
2014 C conf
Effectiveness of Automated Function Testing with Petri Nets: A Series of Controlled Experiments.
SEKE
Dianxiang Xu, Ning Shen
2014 — conf
Integrated Modeling and Analysis of Attribute Based Access Control Policies and Workflows in Healthcare.
TSA
Sandeep Lakkaraju, Dianxiang Xu
2014 — conf
Rule-Based Test Input Generation from Bytecode.
SERE
Weifeng Xu, Tao Ding, Dianxiang Xu
2014 — conf
Specification and Analysis of Attribute-Based Access Control Policies: An Overview.
SERE (Companion)
Dianxiang Xu, Yunpeng Zhang
2014 J jnl
Toward a mature industrial practice of software test automation.
Softw. Qual. J.
Hong Zhu, Daniel Hoffman, John Hughes, Dianxiang Xu
2013 J jnl
A threat model-based approach to security testing.
Softw. Pract. Exp.
Aaron Marback, Hyunsook Do, Ke He, Samuel Kondamarri, Dianxiang Xu
2013 C conf
An Approach for Analyzing Software Specifications in Petri Nets.
SEKE
Junhua Ding, Dianxiang Xu, Jidong Ge
2013 — conf
An UML Behavior Diagram Based Automatic Testing Approach.
COMPSAC Workshops
Chih-Hung Chang, Chih-Wei Lu, William C. Chu, Xin-Hao Huang, Dianxiang Xu, Tse-Chuan Hsu, Yu-Bin Lai
2013 J jnl
Data Placement in P2P Data Grids Considering the Availability, Security, Access Performance and Load Balancing.
J. Grid Comput.
Manghui Tu, Hui Ma, Liangliang Xiao, I-Ling Yen, Farokh B. Bastani, Dianxiang Xu
2013 J jnl
Guest Editor's Introduction.
Int. J. Softw. Eng. Knowl. Eng.
Dianxiang Xu, Omar el Ariss
2013 — conf
Maximizing the Availability of Replicated Services in Widely Distributed Systems Considering Network Availability.
SERE
Manghui Tu, Liangliang Xiao, Dianxiang Xu
2013 B conf
Mining Test Oracles for Test Inputs Generated from Java Bytecode.
COMPSAC
Weifeng Xu, Tao Ding, Hanlin Wang, Dianxiang Xu
2013 J jnl
Resilience as a New System Engineering for Cloud Computing.
J. Commun.
Manghui Tu, Dianxiang Xu
2013 A conf
Software security testing of an online banking system: a unique research experience for undergraduates and computer teachers.
SIGCSE
Dianxiang Xu
2013 Misc conf
System resilience modeling and enhancement for the cloud.
ICNC
Manghui Tu, Dianxiang Xu
2013 Misc conf
Testing access control and obligation policies.
ICNC
Dianxiang Xu, Michael Sanford, Zhaoliang Liu, Spencer Johnson, Mark Emry, Brad Brockmueller, Michael To
2012 — ed.
7th International Workshop on Automation of Software Test, AST 2012, Zurich, Switzerland, June 2-3, 2012
AST@ICSE
Daniel Hoffman, John Hughes, Dianxiang Xu
2012 B conf
A Methodology for Building Effective Test Models with Function Nets.
COMPSAC
Dianxiang Xu, William C. Chu
2012 C conf
A model-based approach to automated testing of access control policies.
SACMAT
Dianxiang Xu, Lijo Thomas, Michael Kent, Tejeddine Mouelhi, Yves Le Traon
2012 C conf
Automated Generation of Concurrent Test Code from Function Nets.
SEKE
Dianxiang Xu, Janghwan Tae
2012 J jnl
Automated Security Test Generation with Formal Threat Models.
IEEE Trans. Dependable Secur. Comput.
Dianxiang Xu, Manghui Tu, Michael Sanford, Lijo Thomas, Daniel Woodraska, Weifeng Xu
2012 — conf
Mining Executable Specifications of Web Applications from Selenium IDE Tests.
SERE
Dianxiang Xu, Weifeng Xu, Bharath K. Bavikati, W. Eric Wong
2012 C conf
Model-Based Metamorphic Testing: A Case Study.
SEKE
Junhua Ding, Dianxiang Xu
2012 J jnl
On the Development of Digital Forensics Curriculum.
J. Digit. Forensics Secur. Law
Manghui Tu, Dianxiang Xu, Cristian Balan, Kyle Cronin
2012 J jnl
Secure System Modeling: Integrating Security Attacks with Statecharts.
Int. J. Softw. Informatics
Omar el Ariss, Dianxiang Xu
2012 — ch.
System Modeling with UML State Machines.
Handbook of Finite State Based Models and Applications
Omar el Ariss, Dianxiang Xu
2012 J jnl
Testing aspect-oriented programs with finite state machines.
Softw. Test. Verification Reliab.
Dianxiang Xu, Omar el Ariss, Weifeng Xu, Linzhang Wang
2012 J jnl
Towards Better Fault Localization: A Crosstab-Based Statistical Approach.
IEEE Trans. Syst. Man Cybern. Part C
W. Eric Wong, Vidroha Debroy, Dianxiang Xu
2011 B conf
A Tool for Automated Test Code Generation from High-Level Petri Nets.
Petri Nets
Dianxiang Xu
2011 J jnl
Integrating Safety Analysis With Functional Modeling.
IEEE Trans. Syst. Man Cybern. Part A
Omar el Ariss, Dianxiang Xu, W. Eric Wong
2011 — conf
Metamorphic testing of a Monte Carlo modeling program.
AST@ICSE
Junhua Ding, Tong Wu, Dianxiang Xu, Jun Q. Lu, Xin-Hua Hu
2011 — conf
Modeling security attacks with statecharts.
QoSA/ISARCS
Omar el Ariss, Dianxiang Xu
2011 — conf
Mutation Analysis of Magento for Evaluating Threat Model-Based Security Testing.
COMPSAC Workshops
Lijo Thomas, Weifeng Xu, Dianxiang Xu
2011 B conf
Reach Availability Modeling of Replicated Services.
COMPSAC
Manghui Tu, Dianxiang Xu, Zhonghang Xia, Jicheng Fu
2011 C conf
Security Analysis of FileZilla Server Using Threat Models.
SEKE
Michael Sanford, Daniel Woodraska, Dianxiang Xu
2011 Misc conf
Security mutation testing of the FileZilla FTP server.
SAC
Daniel Woodraska, Michael Sanford, Dianxiang Xu
2011 — conf
Towards an Enhanced Design Level Security: Integrating Attack Trees with Statecharts.
SSIRI
Omar el Ariss, Jianfei Wu, Dianxiang Xu
2010 C conf
A Stochastic Model for Optimizing the Patching Time of Software Bugs.
SEKE
Yong Wang, Dianxiang Xu, William M. Lively, Dick B. Simmons
2010 — conf
A Systematic Capture and Replay Strategy for Testing Complex GUI Based Java Applications.
ITNG
Omar el Ariss, Dianxiang Xu, Santosh Dandey, Bradley Vender, Philip E. McClean, Brian M. Slator
2010 A conf
Prioritizing State-Based Aspect Tests.
ICST
Dianxiang Xu, Junhua Ding
2010 J jnl
Software Test Automation.
Adv. Softw. Eng.
Phillip A. Laplante, Fevzi Belli, Jerry Gao, Greg Kapfhammer, Keith W. Miller, W. Eric Wong, Dianxiang Xu
2010 J jnl
Uml-Based Modeling and Analysis of Security Threats.
Int. J. Softw. Eng. Knowl. Eng.
Jun Kong, Dianxiang Xu, Xiaoqin Zeng
2009 — conf
A Comparative Study of Access Control Languages.
SSIRI
Sathish Pinagapani, Dianxiang Xu, Jun Kong
2009 J jnl
Aspect-Oriented Modeling and Verification with Finite State Machines.
J. Comput. Sci. Technol.
Dianxiang Xu, Omar el Ariss, Weifeng Xu, Lin-Zhang Wang
2009 — conf
Automated Evaluation of Runtime Object States against Model-Level States for State-Based Test Execution.
ICST Workshops
Weifeng Xu, Dianxiang Xu
2009 J jnl
Automated Test Code Generation from Class State Models.
Int. J. Softw. Eng. Knowl. Eng.
Dianxiang Xu, Weifeng Xu, W. Eric Wong
2009 — conf
Mining for Core Patterns in Stock Market Data.
ICDM Workshops
Jianfei Wu, Anne Denton, Omar el Ariss, Dianxiang Xu
2009 Misc conf
Modeling and integrating aspects with UML activity diagrams.
SAC
Zhanqi Cui, Linzhang Wang, Xuandong Li, Dianxiang Xu
2009 — conf
Security Test Generation Using Threat Trees.
AST@ICSE
Aaron Marback, Hyunsook Do, Ke He, Samuel Kondamarri, Dianxiang Xu
2009 J jnl
Specifying behavioral semantics of UML diagrams through graph transformations.
J. Syst. Softw.
Jun Kong, Kang Zhang, Jing Dong, Dianxiang Xu
2008 B conf
A Systematic Approach for Integrating Fault Trees into System Statecharts.
COMPSAC
Omar el Ariss, Dianxiang Xu, W. Eric Wong, Yuting Chen, Yann-Hang Lee
2008 B conf
A UML-Based Framework for Design and Analysis of Dependable Software.
COMPSAC
Jun Kong, Dianxiang Xu
2008 J jnl
Aspect-oriented specification of threat-driven security requirements.
Int. J. Comput. Appl. Technol.
Dianxiang Xu, Vivek Goel, Kendall E. Nygard, W. Eric Wong
2008 — conf
Multi-agent designs for ambient systems.
AMBI-SYS
Kendall E. Nygard, Dianxiang Xu, Jonathan Pikalek, Martin C. Lundell
2008 — ch.
Software Security.
Wiley Encyclopedia of Computer Science and Engineering
Dianxiang Xu
2008 J jnl
Testing Aspect-Oriented Programs with UML Design Models.
Int. J. Softw. Eng. Knowl. Eng.
Dianxiang Xu, Weifeng Xu, W. Eric Wong
2007 — conf
A Threat Model Driven Approach for Security Testing.
SESS@ICSE
Linzhang Wang, W. Eric Wong, Dianxiang Xu
2007 C conf
Automated Test Code Generation from UML Protocol State Machines.
SEKE
Dianxiang Xu, Weifeng Xu, W. Eric Wong
2007 — conf
Generation of test requirements from aspectual use cases.
WTAOP@AOSD
Dianxiang Xu, Xudong He
2007 — conf
Model Checking Aspect-Oriented Design Specification.
COMPSAC (1)
Dianxiang Xu, Izzat Alsmadi, Weifeng Xu
2007 — ed.
Proceedings of the 3rd workshop on Testing aspect-oriented programs, WTAOP 2007, Vancouver, British Columbia, Canada, March 12-13, 2007
WTAOP@AOSD
Dianxiang Xu, Roger T. Alexander
2006 J jnl
A formal model-based approach for developing an interoperable mobile agent system.
Multiagent Grid Syst.
Junhua Ding, Peter J. Clarke, Dianxiang Xu, Xudong He, Yi Deng
2006 — conf
An Aspect-Oriented Approach to Security Requirements Analysis.
COMPSAC (2)
Dianxiang Xu, Vivek Goel, Kendall E. Nygard
2006 C conf
Ensuring Consistent Use/Misuse Case Decomposition for Secure Systems.
SEKE
Joshua J. Pauli, Dianxiang Xu
2006 B conf
Integrating Functional and Security Requirements with Use Case Decomposition.
ICECCS
Joshua J. Pauli, Dianxiang Xu
2006 — conf
State-based incremental testing of aspect-oriented programs.
AOSD
Dianxiang Xu, Weifeng Xu
2006 — conf
State-based testing of integration aspects.
WTAOP
Weifeng Xu, Dianxiang Xu
2006 J jnl
Threat-Driven Modeling and Verification of Secure Software Using Aspect-Oriented Petri Nets.
IEEE Trans. Software Eng.
Dianxiang Xu, Kendall E. Nygard
2005 C conf
A State-Based Approach to Testing Aspect-Oriented Programs.
SEKE
Dianxiang Xu, Weifeng Xu, Kendall E. Nygard
2005 — conf
A Study on Illumination Invariant Face Recognition Methods Based on Multiple Eigenspaces.
ISNN (2)
Wu-Jun Li, Chong-Jun Wang, Dianxiang Xu, Bin Luo, Zhaoqian Chen
2005 A* conf
A threat-driven approach to modeling and verifying secure software.
ASE
Dianxiang Xu, Kendall E. Nygard
2005 — conf
An Aspect-Oriented Approach to Mobile Agent Access Control.
ITCC (1)
Dianxiang Xu, Vivek Goel
2005 C conf
Design an Interoperable Mobile Agent System Based on Predicate Transition Net Models.
SEKE
Junhua Ding, Dianxiang Xu, Yi Deng, Peter J. Clarke, Xudong He
2005 — conf
Misuse Case-Based Design and Analysis of Secure Software Architecture.
ITCC (2)
Joshua J. Pauli, Dianxiang Xu
2005 — conf
Threat-Driven Architectural Design of Secure Information Systems.
ICEIS (3)
Dianxiang Xu, Joshua J. Pauli
2005 — conf
Trade-off Analysis of Misuse Case-based Secure Software Architectures: A Case Study.
MSVVEIS
Joshua J. Pauli, Dianxiang Xu
2004 — conf
A Petri Net Based Software Architecture for UAV Simulation.
Software Engineering Research and Practice
Dianxiang Xu, Priti Borse, Ken Grigsby, Kendall E. Nygard
2004 J jnl
Development of a distributed multi-player computer game for scientific experimentation of team training protocols.
Electron. Libr.
Sen Cao Richard, Richard A. Volz, Jamison Johnson, Jonathan Whetzel, Dianxiang Xu, Maitreyi Nanjanath
2004 B conf
Illumination Invariant Face Recognition Based on Neural Network Ensemble.
ICTAI
Wu-Jun Li, Chong-Jun Wang, Dianxiang Xu, Shifu Chen
2003 J jnl
A Formal Architectural Model for Logical Agent Mobility.
IEEE Trans. Software Eng.
Dianxiang Xu, Jianwen Yin, Yi Deng, Junhua Ding
2003 Misc conf
Collaborative Agents for C2 Teamwork Simulation.
IC-AI
Dianxiang Xu, Michael S. Miller, Richard A. Volz, Thomas R. Ioerger
2003 B conf
Human-Agent Teamwork for Distributed Team Training.
ICTAI
Dianxiang Xu, Richard A. Volz, Michael S. Miller, Jesse Plymale
2003 J jnl
Modeling and Analyzing Multi-Agent Behaviors Using Predicate/Transition Nets.
Int. J. Softw. Eng. Knowl. Eng.
Dianxiang Xu, Richard A. Volz, Thomas R. Ioerger, John Yen
2002 Misc conf
Generating Parallel Based on Planning Graph Analysis of Predicate/Transition Nets.
IC-AI
Dianxiang Xu, Richard A. Volz, Thomas R. Ioerger
2002 C conf
Modeling and verifying multi-agent behaviors using predicate/transition nets.
SEKE
Dianxiang Xu, Richard A. Volz, Thomas R. Ioerger, John Yen
2001 A* conf
CAST: Collaborative Agents for Simulating Teamwork.
IJCAI
John Yen, Jianwen Yin, Thomas R. Ioerger, Michael S. Miller, Dianxiang Xu, Richard A. Volz
2000 B conf
Modeling mobile agent systems with high level Petri nets.
SMC
Dianxiang Xu, Yi Deng
1999 J jnl
A Type System of Logic Objects.
ACM SIGPLAN Notices
Dianxiang Xu
1999 — conf
Reasoning about Inheritance and Cloning Behaviors of Software Agents.
TOOLS (31)
Xiaocong Fan, Dianxiang Xu, Guoliang Zheng
1999 J jnl
Reasoning about concurrent actions in multi-agent systems.
J. Comput. Sci. Technol.
Xiaocong Fan, Dianxiang Xu, Jianmin Hou, Guoliang Zheng
1998 J jnl
A logic based language for networked agents.
Inf. Softw. Technol.
Dianxiang Xu
1998 J jnl
Reasoning about team tracking.
ACM SIGSOFT Softw. Eng. Notes
Xiaocong Fan, Dianxiang Xu, Jianmin Hou, Guoliang Zheng
1998 C conf
SPLAW: A Computable Agent-Oriented Programming Language.
ISORC
Xiaocong Fan, Dianxiang Xu, Jianmin Hou, Guoliang Zheng
1998 J jnl
SPLAW: A Computable Language for Agent-oriented Programming.
ACM SIGPLAN Notices
Xiaocong Fan, Dianxiang Xu, Jianmin Hou, Guoliang Zheng
1998 J jnl
Towards an object-oriented logic framework for knowledge based systems.
Knowl. Based Syst.
Dianxiang Xu
1996 J jnl
Towards a declarative semantics of inheritance with exceptions.
J. Comput. Sci. Technol.
Dianxiang Xu, Guoliang Zheng
1995 J jnl
Inheritance as sublation and its semantics.
ACM SIGSOFT Softw. Eng. Notes
Dianxiang Xu, Guoliang Zheng
1995 J jnl
Logical Objects with Constraints.
ACM SIGPLAN Notices
Dianxiang Xu, Guoliang Zheng
1995 J jnl
Logical object as a basis of knowledge based systems.
J. Comput. Sci. Technol.
Dianxiang Xu, Guoliang Zheng
1994 B conf
KBMDL: A Knowledge Based Model Description Language for Decision Support.
ICTAI
Shifu Chen, Dianxiang Xu