Dianxiang Xu

According to our database, Dianxiang Xu authored at least 150 papers between 1994 and 2023.

Collaborative distances:

• Dijkstra number of three.
• Erdős number of three.

2023

Coverage-Based Testing of Obligations in NGAC Systems.

Erzhuo Chen, Vladislav Dubrovenski, Dianxiang Xu

Proceedings of the 28th ACM Symposium on Access Control Models and Technologies, 2023

Dynamic Access Control with Administrative Obligations: A Case Study.

Vladislav Dubrovenski, Md Nazmul Karim, Erzhuo Chen, Dianxiang Xu

Proceedings of the 23rd IEEE International Conference on Software Quality, 2023

SMT-Based Verification of NGAC Policies.

Vladislav Dubrovenski, Erzhuo Chen, Dianxiang Xu

Proceedings of the 47th IEEE Annual Computers, Software, and Applications Conference, 2023

2022

Predicting Integer Overflow Errors via Supervised Learning.

Yu Luo, Weifeng Xu, Dianxiang Xu

Int. J. Artif. Intell. Tools, December, 2022

Towards a Theory on Testing XACML Policies.

Dianxiang Xu, Roshan Shrestha, Ning Shen, Yunpeng Zhang

Proceedings of the SACMAT '22: The 27th ACM Symposium on Access Control Models and Technologies, New York, NY, USA, June 8, 2022

Visualizing and Reasoning about Presentable Digital Forensic Evidence with Knowledge Graphs.

Weifeng Xu, Dianxiang Xu

Proceedings of the 19th Annual International Conference on Privacy, Security & Trust, 2022

Towards Designing Shared Digital Forensics Instructional Materials.

Weifeng Xu, Lin Deng, Dianxiang Xu

Proceedings of the 46th IEEE Annual Computers, Software, and Applications Conferenc, 2022

Compact Abstract Graphs for Detecting Code Vulnerability with GNN Models.

Yu Luo, Weifeng Xu, Dianxiang Xu

Proceedings of the Annual Computer Security Applications Conference, 2022

2021

Mutation Analysis of NGAC Policies.

Erzhuo Chen, Vladislav Dubrovenski, Dianxiang Xu

Proceedings of the SACMAT '21: The 26th ACM Symposium on Access Control Models and Technologies, 2021

Detecting Integer Overflow Errors in Java Source Code via Machine Learning.

Yu Luo, Weifeng Xu, Dianxiang Xu

Proceedings of the 33rd IEEE International Conference on Tools with Artificial Intelligence, 2021

Quantifying Event Impact on the Bitcoin Blockchain.

Anthony Luo, Dianxiang Xu

Proceedings of the IEEE 45th Annual Computers, Software, and Applications Conference, 2021

2020

Detecting Saturation Attacks Based on Self-Similarity of OpenFlow Traffic.

Zhiyuan Li, Weijia Xing, Samer Khamaiseh, Dianxiang Xu

IEEE Trans. Netw. Serv. Manag., 2020

Assessing Holistic Impacts of Major Events on the Bitcoin Blockchain Network.

Anthony Luo, Dianxiang Xu

CoRR, 2020

Automated Strong Mutation Testing of XACML Policies.

Dianxiang Xu, Roshan Shrestha, Ning Shen

Proceedings of the 25th ACM Symposium on Access Control Models and Technologies, 2020

A Bigram-based Inference Model for Retrieving Abbreviated Phrases in Source Code.

Abdulrahman Alatawi, Weifeng Xu, Dianxiang Xu

Proceedings of the EASE '20: Evaluation and Assessment in Software Engineering, 2020

vSwitchGuard: Defending OpenFlow Switches Against Saturation Attacks.

Samer Khamaiseh, Edoardo Serra, Dianxiang Xu

Proceedings of the 44th IEEE Annual Computers, Software, and Applications Conference, 2020

2019

Effect of NO₂ on O₃ Using Complex Network Topology Analysis.

Qiang Zhang, Dianxiang Xu, Tianze Gao, Zhihe Wang

IEEE Trans. Comput. Soc. Syst., 2019

Identifying suspicious addresses in Bitcoin thefts.

Yan Wu, Anthony Luo, Dianxiang Xu

Digit. Investig., 2019

Forensic Analysis of Bitcoin Transactions.

Yan Wu, Anthony Luo, Dianxiang Xu

Proceedings of the 2019 IEEE International Conference on Intelligence and Security Informatics, 2019

Detecting Saturation Attacks in SDN via Machine Learning.

Samer Khamaiseh, Edoardo Serra, Zhiyuan Li, Dianxiang Xu

Proceedings of the 2019 4th International Conference on Computing, 2019

Deviant: A Mutation Testing Tool for Solidity Smart Contracts.

Patrick Chapman, Dianxiang Xu, Lin Deng, Yin Xiong

Proceedings of the IEEE International Conference on Blockchain, 2019

2018

Statistical Unigram Analysis for Source Code Repository.

Weifeng Xu, Dianxiang Xu, Abdulrahman Alatawi, Omar el Ariss, Yunkai Liu

Int. J. Semantic Comput., 2018

Network slicing to improve multicasting in HPC clusters.

Izzat Alsmadi, Abdallah Khreishah, Dianxiang Xu

Clust. Comput., 2018

XPA: An Open Soruce IDE for XACML Policies (S).

Roshan Shrestha, Shuai Peng, Turner Lehmbecker, Dianxiang Xu

Proceedings of the 30th International Conference on Software Engineering and Knowledge Engineering, 2018

Automated Coverage-Based Testing of XACML Policies.

Dianxiang Xu, Roshan Shrestha, Ning Shen

Proceedings of the 23nd ACM on Symposium on Access Control Models and Technologies, 2018

Model-Based Testing of Obligatory ABAC Systems.

Samer Khamaiseh, Patrick Chapman, Dianxiang Xu

Proceedings of the 2018 IEEE International Conference on Software Quality, 2018

Detecting Saturation Attacks in Software-Defined Networks.

Zhiyuan Li, Weijia Xing, Dianxiang Xu

Proceedings of the 2018 IEEE International Conference on Intelligence and Security Informatics, 2018

Message from the SEPT Symposium Program Chairs.

Dianxiang Xu, Eun-Sun Cho

Proceedings of the 2018 IEEE 42nd Annual Computer Software and Applications Conference, 2018

Analysis and Prediction of Endorsement-Based Skill Assessment in LinkedIn.

Yan Wu, Nitish Dhakal, Dianxiang Xu, Jin-Hee Cho

Proceedings of the 2018 IEEE 42nd Annual Computer Software and Applications Conference, 2018

Model Checking of Security Properties in Industrial Control Systems (ICS).

Roshan Shrestha, Hoda Mehrpouyan, Dianxiang Xu

Proceedings of the Eighth ACM Conference on Data and Application Security and Privacy, 2018

2017

Bayesian Unigram-Based Inference for Expanding Abbreviations in Source Code.

Abdulrahman Alatawi, Weifeng Xu, Dianxiang Xu

Proceedings of the 29th IEEE International Conference on Tools with Artificial Intelligence, 2017

Software Security Testing via Misuse Case Modeling.

Samer Khamaiseh, Dianxiang Xu

Proceedings of the 15th IEEE Intl Conf on Dependable, 2017

Measurement of Source Code Readability Using Word Concreteness and Memory Retention of Variable Names.

Weifeng Xu, Dianxiang Xu, Lin Deng

Proceedings of the 41st IEEE Annual Computer Software and Applications Conference, 2017

Statistical Unigram Analysis for Source Code Repository.

Dianxiang Xu, Omar el Ariss, Yunkai Liu, Abdulrahman Alatawi

Proceedings of the Third IEEE International Conference on Multimedia Big Data, 2017

Predicting Friendship Strength for Privacy Preserving: A Case Study on Facebook.

Nitish Dhakal, Francesca Spezzano, Dianxiang Xu

Proceedings of the 2017 IEEE/ACM International Conference on Advances in Social Networks Analysis and Mining 2017, Sydney, Australia, July 31, 2017

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

Analysis of Healthcare Workflows in Accordance with Access Control Policies.

Sandeep Lakaraju, Dianxiang Xu, Yong Wang

Int. J. Heal. Inf. Syst. Informatics, 2016

Conformance Testing of Balana: An Open Source Implementation of the XACML3.0 Standard.

Sung-Ju Fan Chiang, Daniel Chen, Dianxiang Xu

Proceedings of the 28th International Conference on Software Engineering and Knowledge Engineering, 2016

Automated Fault Localization of XACML Policies.

Dianxiang Xu, Zhenyu Wang, Shuai Peng, Ning Shen

Proceedings of the 21st ACM on Symposium on Access Control Models and Technologies, 2016

Towards automatic repair of access control policies.

Dianxiang Xu, Shuai Peng

Proceedings of the 14th Annual Conference on Privacy, Security and Trust, 2016

Interaction-based Reputation Model in Online Social Networks.

Izzat Alsmadi, Dianxiang Xu, Jin-Hee Cho

Proceedings of the 2nd International Conference on Information Systems Security and Privacy, 2016

Privacy and Social Capital in Online Social Networks.

Jin-Hee Cho, Izzat Alsmadi, Dianxiang Xu

Proceedings of the 2016 IEEE Global Communications Conference, 2016

Message from the SEPT Organizing Committee.

Bhavani Thuraisingham, Dianxiang Xu, Hiroki Takakura, Mohammad Zulkernine, Elisa Bertino

Proceedings of the 40th IEEE Annual Computer Software and Applications Conference, 2016

2015

An Automated Test Generation Technique for Software Quality Assurance.

Dianxiang Xu, Weifeng Xu, Michael Kent, Lijo Thomas, Linzhang Wang

IEEE Trans. Reliab., 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

Detecting Incorrect Uses of Combining Algorithms in XACML 3.0 Policies.

Dianxiang Xu, Ning Shen, Yunpeng Zhang

Int. J. Softw. Eng. Knowl. Eng., 2015

Security of Software Defined Networks: A survey.

Izzat Alsmadi, Dianxiang Xu

Comput. Secur., 2015

Model-Based Testing of SDN Firewalls: A Case Study.

Izzat Alsmadi, Milson Munakami, Dianxiang Xu

Proceedings of the 2015 Second International Conference on Trustworthy Systems and Their Applications, 2015

Fault-Based Testing of Combining Algorithms in XACML3.0 Policies.

Dianxiang Xu, Ning Shen, Yunpeng Zhang

Proceedings of the 27th International Conference on Software Engineering and Knowledge Engineering, 2015

Formalizing Semantic Differences between Combining Algorithms in XACML 3.0 Policies.

Dianxiang Xu, Yunpeng Zhang, Ning Shen

Proceedings of the 2015 IEEE International Conference on Software Quality, 2015

Message from SEPT Symposium Organizing Committee.

Bhavani Thuraisingham, Dianxiang Xu, Hiroki Takakura, Mohammad Zulkernine, Elisa Bertino

Proceedings of the 39th IEEE Annual Computer Software and Applications Conference, 2015

2014

Toward a mature industrial practice of software test automation.

Hong Zhu, Daniel Hoffman, John Hughes, Dianxiang Xu

Softw. Qual. J., 2014

Integrated Modeling and Analysis of Attribute Based Access Control Policies and Workflows in Healthcare.

Sandeep Lakkaraju, Dianxiang Xu

Proceedings of the 2014 International Conference on Trustworthy Systems and their Applications, 2014

Specification and Analysis of Attribute-Based Access Control Policies: An Overview.

Dianxiang Xu, Yunpeng Zhang

Proceedings of the IEEE Eighth International Conference on Software Security and Reliability, 2014

Rule-Based Test Input Generation from Bytecode.

Weifeng Xu, Tao Ding, Dianxiang Xu

Proceedings of the Eighth International Conference on Software Security and Reliability, 2014

Effectiveness of Automated Function Testing with Petri Nets: A Series of Controlled Experiments.

Dianxiang Xu, Ning Shen

Proceedings of the 26th International Conference on Software Engineering and Knowledge Engineering, 2014

Automated Generation of Integration Test Sequences from Logical Contracts.

Dianxiang Xu, Weifeng Xu, Manghui Tu

Proceedings of the IEEE 38th Annual Computer Software and Applications Conference, 2014

2013

A threat model-based approach to security testing.

Aaron Marback, Hyunsook Do, Ke He, Samuel Kondamarri, Dianxiang Xu

Softw. Pract. Exp., 2013

Resilience as a New System Engineering for Cloud Computing.

Manghui Tu, Dianxiang Xu

J. Commun., 2013

Guest Editor's Introduction.

Dianxiang Xu, Omar el Ariss

Int. J. Softw. Eng. Knowl. Eng., 2013

Data Placement in P2P Data Grids Considering the Availability, Security, Access Performance and Load Balancing.

Manghui Tu, Hui Ma, Liangliang Xiao, I-Ling Yen, Farokh B. Bastani, Dianxiang Xu

J. Grid Comput., 2013

Maximizing the Availability of Replicated Services in Widely Distributed Systems Considering Network Availability.

Manghui Tu, Liangliang Xiao, Dianxiang Xu

Proceedings of the IEEE 7th International Conference on Software Security and Reliability, 2013

Software security testing of an online banking system: a unique research experience for undergraduates and computer teachers.

Dianxiang Xu

Proceedings of the 44th ACM Technical Symposium on Computer Science Education, 2013

An Approach for Analyzing Software Specifications in Petri Nets.

Junhua Ding, Dianxiang Xu, Jidong Ge

Proceedings of the 25th International Conference on Software Engineering and Knowledge Engineering, 2013

Testing access control and obligation policies.

Dianxiang Xu, Michael Sanford, Zhaoliang Liu, Spencer Johnson, Mark Emry, Brad Brockmueller, Michael To

Proceedings of the International Conference on Computing, Networking and Communications, 2013

System resilience modeling and enhancement for the cloud.

Manghui Tu, Dianxiang Xu

Proceedings of the International Conference on Computing, Networking and Communications, 2013

Mining Test Oracles for Test Inputs Generated from Java Bytecode.

Weifeng Xu, Tao Ding, Hanlin Wang, Dianxiang Xu

Proceedings of the 37th Annual IEEE Computer Software and Applications Conference, 2013

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

Proceedings of the IEEE 37th Annual Computer Software and Applications Conference, 2013

2012

System Modeling with UML State Machines.

Omar el Ariss, Dianxiang Xu

Proceedings of the Handbook of Finite State Based Models and Applications., 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

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

Testing aspect-oriented programs with finite state machines.

Dianxiang Xu, Omar el Ariss, Weifeng Xu, Linzhang Wang

Softw. Test. Verification Reliab., 2012

On the Development of Digital Forensics Curriculum.

Manghui Tu, Dianxiang Xu, Cristian Balan, Kyle Cronin

J. Digit. Forensics Secur. Law, 2012

Secure System Modeling: Integrating Security Attacks with Statecharts.

Omar el Ariss, Dianxiang Xu

Int. J. Softw. Informatics, 2012

Mining Executable Specifications of Web Applications from Selenium IDE Tests.

Dianxiang Xu, Weifeng Xu, Bharath K. Bavikati, W. Eric Wong

Proceedings of the Sixth International Conference on Software Security and Reliability, 2012

Automated Generation of Concurrent Test Code from Function Nets.

Dianxiang Xu, Janghwan Tae

Proceedings of the 24th International Conference on Software Engineering & Knowledge Engineering (SEKE'2012), 2012

Model-Based Metamorphic Testing: A Case Study.

Junhua Ding, Dianxiang Xu

Proceedings of the 24th International Conference on Software Engineering & Knowledge Engineering (SEKE'2012), 2012

A model-based approach to automated testing of access control policies.

Dianxiang Xu, Lijo Thomas, Michael Kent, Tejeddine Mouelhi, Yves Le Traon

Proceedings of the 17th ACM Symposium on Access Control Models and Technologies, 2012

A Methodology for Building Effective Test Models with Function Nets.

Dianxiang Xu, William C. Chu

Proceedings of the 36th Annual IEEE Computer Software and Applications Conference, 2012

2011

Integrating Safety Analysis With Functional Modeling.

Omar el Ariss, Dianxiang Xu, W. Eric Wong

IEEE Trans. Syst. Man Cybern. Part A, 2011

Towards an Enhanced Design Level Security: Integrating Attack Trees with Statecharts.

Omar el Ariss, Jianfei Wu, Dianxiang Xu

Proceedings of the Fifth International Conference on Secure Software Integration and Reliability Improvement, 2011

Security Analysis of FileZilla Server Using Threat Models.

Michael Sanford, Daniel Woodraska, Dianxiang Xu

Proceedings of the 23rd International Conference on Software Engineering & Knowledge Engineering (SEKE'2011), 2011

Security mutation testing of the FileZilla FTP server.

Daniel Woodraska, Michael Sanford, Dianxiang Xu

Proceedings of the 2011 ACM Symposium on Applied Computing (SAC), TaiChung, Taiwan, March 21, 2011

Modeling security attacks with statecharts.

Omar el Ariss, Dianxiang Xu

Proceedings of the 7th International Conference on the Quality of Software Architectures, 2011

Metamorphic testing of a Monte Carlo modeling program.

Junhua Ding, Tong Wu, Dianxiang Xu, Jun Q. Lu, Xin-Hua Hu

Proceedings of the 6th International Workshop on Automation of Software Test, 2011

Reach Availability Modeling of Replicated Services.

Manghui Tu, Dianxiang Xu, Zhonghang Xia, Jicheng Fu

Proceedings of the 35th Annual IEEE International Computer Software and Applications Conference, 2011

Mutation Analysis of Magento for Evaluating Threat Model-Based Security Testing.

Lijo Thomas, Weifeng Xu, Dianxiang Xu

Proceedings of the Workshop Proceedings of the 35th Annual IEEE International Computer Software and Applications Conference, 2011

A Tool for Automated Test Code Generation from High-Level Petri Nets.

Dianxiang Xu

Proceedings of the Applications and Theory of Petri Nets - 32nd International Conference, 2011

2010

Uml-Based Modeling and Analysis of Security Threats.

Jun Kong, Dianxiang Xu, Xiaoqin Zeng

Int. J. Softw. Eng. Knowl. Eng., 2010

Software Test Automation.

Phillip A. Laplante, Fevzi Belli, Jerry Gao, Greg Kapfhammer, Keith W. Miller, W. Eric Wong, Dianxiang Xu

Adv. Softw. Eng., 2010

A Stochastic Model for Optimizing the Patching Time of Software Bugs.

Yong Wang, Dianxiang Xu, William M. Lively, Dick B. Simmons

Proceedings of the 22nd International Conference on Software Engineering & Knowledge Engineering (SEKE'2010), Redwood City, San Francisco Bay, CA, USA, July 1, 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

Proceedings of the Seventh International Conference on Information Technology: New Generations, 2010

Prioritizing State-Based Aspect Tests.

Dianxiang Xu, Junhua Ding

Proceedings of the Third International Conference on Software Testing, 2010

2009

Specifying behavioral semantics of UML diagrams through graph transformations.

Jun Kong, Kang Zhang, Jing Dong, Dianxiang Xu

J. Syst. Softw., 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

Automated Test Code Generation from Class State Models.

Dianxiang Xu, Weifeng Xu, W. Eric Wong

Int. J. Softw. Eng. Knowl. Eng., 2009

A Comparative Study of Access Control Languages.

Sathish Pinagapani, Dianxiang Xu, Jun Kong

Proceedings of the Third IEEE International Conference on Secure Software Integration and Reliability Improvement, 2009

Modeling and integrating aspects with UML activity diagrams.

Zhanqi Cui, Linzhang Wang, Xuandong Li, Dianxiang Xu

Proceedings of the 2009 ACM Symposium on Applied Computing (SAC), 2009

Automated Evaluation of Runtime Object States against Model-Level States for State-Based Test Execution.

Weifeng Xu, Dianxiang Xu

Proceedings of the Second International Conference on Software Testing Verification and Validation, 2009

Security Test Generation Using Threat Trees.

Aaron Marback, Hyunsook Do, Ke He, Samuel Kondamarri, Dianxiang Xu

Proceedings of the 4th International Workshop on Automation of Software Test, 2009

Mining for Core Patterns in Stock Market Data.

Jianfei Wu, Anne Denton, Omar el Ariss, Dianxiang Xu

Proceedings of the ICDM Workshops 2009, 2009

2008

Software Security.

Dianxiang Xu

Proceedings of the Wiley Encyclopedia of Computer Science and Engineering, 2008

Testing Aspect-Oriented Programs with UML Design Models.

Dianxiang Xu, Weifeng Xu, W. Eric Wong

Int. J. Softw. Eng. Knowl. Eng., 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

A UML-Based Framework for Design and Analysis of Dependable Software.

Jun Kong, Dianxiang Xu

Proceedings of the 32nd Annual IEEE International Computer Software and Applications Conference, 2008

A Systematic Approach for Integrating Fault Trees into System Statecharts.

Omar el Ariss, Dianxiang Xu, W. Eric Wong, Yuting Chen, Yann-Hang Lee

Proceedings of the 32nd Annual IEEE International Computer Software and Applications Conference, 2008

Multi-agent designs for ambient systems.

Kendall E. Nygard, Dianxiang Xu, Jonathan Pikalek, Martin C. Lundell

Proceedings of the 1st International ICST Conference on Ambient Media and Systems, 2008

2007

Automated Test Code Generation from UML Protocol State Machines.

Dianxiang Xu, Weifeng Xu, W. Eric Wong

Proceedings of the Nineteenth International Conference on Software Engineering & Knowledge Engineering (SEKE'2007), 2007

A Threat Model Driven Approach for Security Testing.

Linzhang Wang, W. Eric Wong, Dianxiang Xu

Proceedings of the Third International Workshop on Software Engineering for Secure Systems, 2007

Model Checking Aspect-Oriented Design Specification.

Dianxiang Xu, Izzat Alsmadi, Weifeng Xu

Proceedings of the 31st Annual International Computer Software and Applications Conference, 2007

Generation of test requirements from aspectual use cases.

Dianxiang Xu, Xudong He

Proceedings of the 3rd workshop on Testing aspect-oriented programs, 2007

2006

Threat-Driven Modeling and Verification of Secure Software Using Aspect-Oriented Petri Nets.

Dianxiang Xu, Kendall E. Nygard

IEEE Trans. Software Eng., 2006

A formal model-based approach for developing an interoperable mobile agent system.

Junhua Ding, Peter J. Clarke, Dianxiang Xu, Xudong He, Yi Deng

Multiagent Grid Syst., 2006

Ensuring Consistent Use/Misuse Case Decomposition for Secure Systems.

Joshua J. Pauli, Dianxiang Xu

Proceedings of the Eighteenth International Conference on Software Engineering & Knowledge Engineering (SEKE'2006), 2006

State-based testing of integration aspects.

Weifeng Xu, Dianxiang Xu

Proceedings of the 2nd Workshop on Testing Aspect-Oriented Programs, 2006

Integrating Functional and Security Requirements with Use Case Decomposition.

Joshua J. Pauli, Dianxiang Xu

Proceedings of the 11th International Conference on Engineering of Complex Computer Systems (ICECCS 2006), 2006

An Aspect-Oriented Approach to Security Requirements Analysis.

Dianxiang Xu, Vivek Goel, Kendall E. Nygard

Proceedings of the 30th Annual International Computer Software and Applications Conference, 2006

State-based incremental testing of aspect-oriented programs.

Dianxiang Xu, Weifeng Xu

Proceedings of the 5th International Conference on Aspect-Oriented Software Development, 2006

2005

Trade-off Analysis of Misuse Case-based Secure Software Architectures: A Case Study.

Joshua J. Pauli, Dianxiang Xu

Proceedings of the Modelling, 2005

A State-Based Approach to Testing Aspect-Oriented Programs.

Dianxiang Xu, Weifeng Xu, Kendall E. Nygard

Proceedings of the 17th International Conference on Software Engineering and Knowledge Engineering (SEKE'2005), 2005

Design an Interoperable Mobile Agent System Based on Predicate Transition Net Models.

Junhua Ding, Dianxiang Xu, Yi Deng, Peter J. Clarke, Xudong He

Proceedings of the 17th International Conference on Software Engineering and Knowledge Engineering (SEKE'2005), 2005

A threat-driven approach to modeling and verifying secure software.

Dianxiang Xu, Kendall E. Nygard

Proceedings of the 20th IEEE/ACM International Conference on Automated Software Engineering (ASE 2005), 2005

An Aspect-Oriented Approach to Mobile Agent Access Control.

Dianxiang Xu, Vivek Goel

Proceedings of the International Symposium on Information Technology: Coding and Computing (ITCC 2005), 2005

Misuse Case-Based Design and Analysis of Secure Software Architecture.

Joshua J. Pauli, Dianxiang Xu

Proceedings of the International Symposium on Information Technology: Coding and Computing (ITCC 2005), 2005

A Study on Illumination Invariant Face Recognition Methods Based on Multiple Eigenspaces.

Wu-Jun Li, Chong-Jun Wang, Dianxiang Xu, Bin Luo, Zhaoqian Chen

Proceedings of the Advances in Neural Networks - ISNN 2005, Second International Symposium on Neural Networks, Chongqing, China, May 30, 2005

Threat-Driven Architectural Design of Secure Information Systems.

Dianxiang Xu, Joshua J. Pauli

Proceedings of the ICEIS 2005, 2005

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

A Petri Net Based Software Architecture for UAV Simulation.

Dianxiang Xu, Priti Borse, Ken Grigsby, Kendall E. Nygard

Proceedings of the International Conference on Software Engineering Research and Practice, 2004

Illumination Invariant Face Recognition Based on Neural Network Ensemble.

Wu-Jun Li, Chong-Jun Wang, Dianxiang Xu, Shifu Chen

Proceedings of the 16th IEEE International Conference on Tools with Artificial Intelligence (ICTAI 2004), 2004

2003

A Formal Architectural Model for Logical Agent Mobility.

Dianxiang Xu, Jianwen Yin, Yi Deng, Junhua Ding

IEEE Trans. Software Eng., 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

Human-Agent Teamwork for Distributed Team Training.

Dianxiang Xu, Richard A. Volz, Michael S. Miller, Jesse Plymale

Proceedings of the 15th IEEE International Conference on Tools with Artificial Intelligence (ICTAI 2003), 2003

Collaborative Agents for C2 Teamwork Simulation.

Dianxiang Xu, Michael S. Miller, Richard A. Volz, Thomas R. Ioerger

Proceedings of the International Conference on Artificial Intelligence, 2003

2002

Modeling and verifying multi-agent behaviors using predicate/transition nets.

Dianxiang Xu, Richard A. Volz, Thomas R. Ioerger, John Yen

Proceedings of the 14th international conference on Software engineering and knowledge engineering, 2002

Generating Parallel Based on Planning Graph Analysis of Predicate/Transition Nets.

Dianxiang Xu, Richard A. Volz, Thomas R. Ioerger

Proceedings of the International Conference on Artificial Intelligence, 2002

2001

CAST: Collaborative Agents for Simulating Teamwork.

John Yen, Jianwen Yin, Thomas R. Ioerger, Michael S. Miller, Dianxiang Xu, Richard A. Volz

Proceedings of the Seventeenth International Joint Conference on Artificial Intelligence, 2001

2000

Modeling mobile agent systems with high level Petri nets.

Dianxiang Xu, Yi Deng

Proceedings of the IEEE International Conference on Systems, 2000

1999

A Type System of Logic Objects.

Dianxiang Xu

ACM SIGPLAN Notices, 1999

Reasoning about concurrent actions in multi-agent systems.

Xiaocong Fan, Dianxiang Xu, Jianmin Hou, Guoliang Zheng

J. Comput. Sci. Technol., 1999

Reasoning about Inheritance and Cloning Behaviors of Software Agents.

Xiaocong Fan, Dianxiang Xu, Guoliang Zheng

Proceedings of the TOOLS 1999: 31st International Conference on Technology of Object-Oriented Languages and Systems, 1999

1998

Reasoning about team tracking.

Xiaocong Fan, Dianxiang Xu, Jianmin Hou, Guoliang Zheng

ACM SIGSOFT Softw. Eng. Notes, 1998

SPLAW: A Computable Language for Agent-oriented Programming.

Xiaocong Fan, Dianxiang Xu, Jianmin Hou, Guoliang Zheng

ACM SIGPLAN Notices, 1998

Towards an object-oriented logic framework for knowledge based systems.

Dianxiang Xu

Knowl. Based Syst., 1998

A logic based language for networked agents.

Dianxiang Xu

Inf. Softw. Technol., 1998

SPLAW: A Computable Agent-Oriented Programming Language.

Xiaocong Fan, Dianxiang Xu, Jianmin Hou, Guoliang Zheng

Proceedings of the 1st International Symposium on Object-Oriented Real-Time Distributed Computing (ISORC '98), 1998

1996

Towards a declarative semantics of inheritance with exceptions.

Dianxiang Xu, Guoliang Zheng

J. Comput. Sci. Technol., 1996

1995

Inheritance as sublation and its semantics.

Dianxiang Xu, Guoliang Zheng

ACM SIGSOFT Softw. Eng. Notes, 1995

Logical Objects with Constraints.

Dianxiang Xu, Guoliang Zheng

ACM SIGPLAN Notices, 1995

Logical object as a basis of knowledge based systems.

Dianxiang Xu, Guoliang Zheng

J. Comput. Sci. Technol., 1995

1994

KBMDL: A Knowledge Based Model Description Language for Decision Support.

Shifu Chen, Dianxiang Xu

Proceedings of the Sixth International Conference on Tools with Artificial Intelligence, 1994