| Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
| 1 | Dianxiang Xu, Manghui Tu, Michael Sanford, Lijo Thomas, Daniel Woodraska, Weifeng Xu |
Automated Security Test Generation with Formal Threat Models.  |
IEEE Trans. Dependable Sec. Comput.  |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | W. Eric Wong, Vidroha Debroy, Dianxiang Xu |
Towards Better Fault Localization: A Crosstab-Based Statistical Approach. |
IEEE Transactions on Systems, Man, and Cybernetics, Part C |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Omar el Ariss, Dianxiang Xu, W. Eric Wong |
Integrating Safety Analysis With Functional Modeling. |
IEEE Transactions on Systems, Man, and Cybernetics, Part A |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Dianxiang Xu |
A Tool for Automated Test Code Generation from High-Level Petri Nets. |
Petri Nets |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Daniel Woodraska, Michael Sanford, Dianxiang Xu |
Security mutation testing of the FileZilla FTP server. |
SAC |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Lijo Thomas, Weifeng Xu, Dianxiang Xu |
Mutation Analysis of Magento for Evaluating Threat Model-Based Security Testing. |
COMPSAC Workshops |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Manghui Tu, Dianxiang Xu, Zhonghang Xia, Jicheng Fu |
Reach Availability Modeling of Replicated Services. |
COMPSAC |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Omar el Ariss, Dianxiang Xu |
Modeling security attacks with statecharts. |
QoSA/ISARCS |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Michael Sanford, Daniel Woodraska, Dianxiang Xu |
Security Analysis of FileZilla Server Using Threat Models. |
SEKE |
2011 |
DBLP BibTeX RDF |
|
| 1 | Jun Kong, Dianxiang Xu, Xiaoqin Zeng |
Uml-Based Modeling and Analysis of Security Threats. |
International Journal of Software Engineering and Knowledge Engineering |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Phillip A. Laplante, Fevzi Belli, Jerry Gao, Greg Kapfhammer, Keith W. Miller, W. Eric Wong, Dianxiang Xu |
Software Test Automation. |
Adv. Software Engineering |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Dianxiang Xu, Junhua Ding |
Prioritizing State-Based Aspect Tests. |
ICST |
2010 |
DBLP DOI BibTeX RDF |
software testing, aspect-oriented programming, finite state machine, model-based testing, test prioritization |
| 1 | Omar el Ariss, Dianxiang Xu, Santosh Dandey, Bradley Vender, Philip E. McClean, Brian M. Slator |
A Systematic Capture and Replay Strategy for Testing Complex GUI Based Java Applications. |
ITNG |
2010 |
DBLP DOI BibTeX RDF |
GUI-based testing, capture and replay, function trees, decision trees, model based testing |
| 1 | Yong Wang, Dianxiang Xu, William M. Lively, Dick B. Simmons |
A Stochastic Model for Optimizing the Patching Time of Software Bugs. |
SEKE |
2010 |
DBLP BibTeX RDF |
|
| 1 | Dianxiang Xu, Weifeng Xu, W. Eric Wong |
Automated Test Code Generation from Class State Models. |
International Journal of Software Engineering and Knowledge Engineering |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Jun Kong, Kang Zhang, Jing Dong, Dianxiang Xu |
Specifying behavioral semantics of UML diagrams through graph transformations. |
Journal of Systems and Software |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Dianxiang Xu, Omar el Ariss, Weifeng Xu, Lin-Zhang Wang |
Aspect-Oriented Modeling and Verification with Finite State Machines. |
J. Comput. Sci. Technol. |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Jianfei Wu, Anne Denton, Omar el Ariss, Dianxiang Xu |
Mining for Core Patterns in Stock Market Data. |
ICDM Workshops |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Zhanqi Cui, Linzhang Wang, Xuandong Li, Dianxiang Xu |
Modeling and integrating aspects with UML activity diagrams. |
SAC |
2009 |
DBLP DOI BibTeX RDF |
integration, crosscutting concern, aspect-oriented modeling, UML activity diagram |
| 1 | Sathish Pinagapani, Dianxiang Xu, Jun Kong |
A Comparative Study of Access Control Languages. |
SSIRI |
2009 |
DBLP DOI BibTeX RDF |
JAAS, authentication, access control, software metrics, authorization, XACML, ACL |
| 1 | Aaron Marback, Hyunsook Do, Ke He, Samuel Kondamarri, Dianxiang Xu |
Security Test Generation Using Threat Trees. |
AST |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Dianxiang Xu, Vivek Goel, Kendall E. Nygard, W. Eric Wong |
Aspect-oriented specification of threat-driven security requirements. |
IJCAT |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Dianxiang Xu, Weifeng Xu, W. Eric Wong |
Testing Aspect-Oriented Programs with UML Design Models. |
International Journal of Software Engineering and Knowledge Engineering |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Dianxiang Xu |
Software Security. |
Wiley Encyclopedia of Computer Science and Engineering |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Omar el Ariss, Dianxiang Xu, W. Eric Wong, Yuting Chen, Yann-Hang Lee |
A Systematic Approach for Integrating Fault Trees into System Statecharts. |
COMPSAC |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Jun Kong, Dianxiang Xu |
A UML-Based Framework for Design and Analysis of Dependable Software. |
COMPSAC |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Dianxiang Xu, Izzat Alsmadi, Weifeng Xu |
Model Checking Aspect-Oriented Design Specification. |
COMPSAC |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Dianxiang Xu, Weifeng Xu, W. Eric Wong |
Automated Test Code Generation from UML Protocol State Machines. |
SEKE |
2007 |
DBLP BibTeX RDF |
|
| 1 | Dianxiang Xu, Kendall E. Nygard |
Threat-Driven Modeling and Verification of Secure Software Using Aspect-Oriented Petri Nets. |
IEEE Trans. Software Eng. |
2006 |
DBLP DOI BibTeX RDF |
aspect-oriented Petri nets, modeling, verification, Petri nets, aspect-oriented software development, Software security, threat modeling |
| 1 | Junhua Ding, Peter J. Clarke, Dianxiang Xu, Xudong He, Yi Deng |
A formal model-based approach for developing an interoperable mobile agent system. |
Multiagent and Grid Systems |
2006 |
DBLP BibTeX RDF |
|
| 1 | Weifeng Xu, Dianxiang Xu |
State-based testing of integration aspects. |
WTAOP |
2006 |
DBLP DOI BibTeX RDF |
integration aspects, aspect-oriented programming, model-based testing, integration testing, aspect-oriented modeling, state model |
| 1 | Dianxiang Xu, Weifeng Xu |
State-based incremental testing of aspect-oriented programs. |
AOSD |
2006 |
DBLP DOI BibTeX RDF |
aspect-oriented state model, incremental testing, aspect-oriented programming, model-based testing, state model |
| 1 | Dianxiang Xu, Vivek Goel, Kendall E. Nygard |
An Aspect-Oriented Approach to Security Requirements Analysis. |
COMPSAC |
2006 |
DBLP DOI BibTeX RDF |
use case, aspect-oriented software development, Security requirements, threats, mitigation |
| 1 | Joshua J. Pauli, Dianxiang Xu |
Ensuring Consistent Use/Misuse Case Decomposition for Secure Systems. |
SEKE |
2006 |
DBLP BibTeX RDF |
|
| 1 | Joshua J. Pauli, Dianxiang Xu |
Integrating Functional and Security Requirements with Use Case Decomposition. |
ICECCS |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Dianxiang Xu, Joshua J. Pauli |
Threat-Driven Architectural Design of Secure Information Systems. |
ICEIS |
2005 |
DBLP BibTeX RDF |
|
| 1 | Wu-Jun Li, Chong-Jun Wang, Dianxiang Xu, Bin Luo, Zhaoqian Chen |
A Study on Illumination Invariant Face Recognition Methods Based on Multiple Eigenspaces. |
ISNN |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Dianxiang Xu, Kendall E. Nygard |
A threat-driven approach to modeling and verifying secure software. |
ASE |
2005 |
DBLP DOI BibTeX RDF |
aspect-oriented Petri nets, verification, Petri nets, aspect-oriented software development, software security, threat modeling |
| 1 | Joshua J. Pauli, Dianxiang Xu |
Trade-off Analysis of Misuse Case-based Secure Software Architectures: A Case Study. |
MSVVEIS |
2005 |
DBLP BibTeX RDF |
|
| 1 | Dianxiang Xu, Weifeng Xu, Kendall E. Nygard |
A State-Based Approach to Testing Aspect-Oriented Programs. |
SEKE |
2005 |
DBLP BibTeX RDF |
|
| 1 | Junhua Ding, Dianxiang Xu, Yi Deng, Peter J. Clarke, Xudong He |
Design an Interoperable Mobile Agent System Based on Predicate Transition Net Models. |
SEKE |
2005 |
DBLP BibTeX RDF |
|
| 1 | Joshua J. Pauli, Dianxiang Xu |
Misuse Case-Based Design and Analysis of Secure Software Architecture. |
ITCC |
2005 |
DBLP DOI BibTeX RDF |
security, Software architecture, use case, misuse case |
| 1 | Dianxiang Xu, Vivek Goel |
An Aspect-Oriented Approach to Mobile Agent Access Control. |
ITCC |
2005 |
DBLP DOI BibTeX RDF |
Security, access control, mobile agent, aspect-oriented programming |
| 1 | Sen Cao Richard, Richard A. Volz, Jamison Johnson, Jonathan Whetzel, Dianxiang Xu, Maitreyi Nanjanath |
Development of a distributed multi-player computer game for scientific experimentation of team training protocols. |
The Electronic Library |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | Wu-Jun Li, Chong-Jun Wang, Dianxiang Xu, Shifu Chen |
Illumination Invariant Face Recognition Based on Neural Network Ensemble. |
ICTAI |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | Dianxiang Xu, Priti Borse, Ken Grigsby, Kendall E. Nygard |
A Petri Net Based Software Architecture for UAV Simulation. |
Software Engineering Research and Practice |
2004 |
DBLP BibTeX RDF |
|
| 1 | Dianxiang Xu, Jianwen Yin, Yi Deng, Junhua Ding |
A Formal Architectural Model for Logical Agent Mobility. |
IEEE Trans. Software Eng. |
2003 |
DBLP DOI BibTeX RDF |
modeling, mobility, software architecture, Petri net, Mobile agent, predicate/transition net |
| 1 | Dianxiang Xu, Richard A. Volz, Thomas R. Ioerger, John Yen |
Modeling and Analyzing Multi-Agent Behaviors Using Predicate/Transition Nets. |
International Journal of Software Engineering and Knowledge Engineering |
2003 |
DBLP DOI BibTeX RDF |
|
| 1 | Dianxiang Xu, Michael S. Miller, Richard A. Volz, Thomas R. Ioerger |
Collaborative Agents for C2 Teamwork Simulation. |
IC-AI |
2003 |
DBLP BibTeX RDF |
|
| 1 | Dianxiang Xu, Richard A. Volz, Michael S. Miller, Jesse Plymale |
Human-Agent Teamwork for Distributed Team Training. |
ICTAI |
2003 |
DBLP DOI BibTeX RDF |
human-agent teams, multi-agent systems, teamwork, team training |
| 1 | Dianxiang Xu, Richard A. Volz, Thomas R. Ioerger |
Generating Parallel Based on Planning Graph Analysis of Predicate/Transition Nets. |
IC-AI |
2002 |
DBLP BibTeX RDF |
|
| 1 | Dianxiang Xu, Richard A. Volz, Thomas R. Ioerger, John Yen |
Modeling and verifying multi-agent behaviors using predicate/transition nets. |
SEKE |
2002 |
DBLP DOI BibTeX RDF |
verification, formal methods, petri nets, multiagent systems, predicate/transition nets |
| 1 | John Yen, Jianwen Yin, Thomas R. Ioerger, Michael S. Miller, Dianxiang Xu, Richard A. Volz |
CAST: Collaborative Agents for Simulating Teamwork. |
IJCAI |
2001 |
DBLP BibTeX RDF |
|
| 1 | Dianxiang Xu |
A Type System of Logic Objects. |
SIGPLAN Notices |
1999 |
DBLP DOI BibTeX RDF |
|
| 1 | Xiaocong Fan, Dianxiang Xu, Jianmin Hou, Guoliang Zheng |
Reasoning about concurrent actions in multi-agent systems. |
J. Comput. Sci. Technol. |
1999 |
DBLP DOI BibTeX RDF |
|
| 1 | Xiaocong Fan, Dianxiang Xu, Guoliang Zheng |
Reasoning about Inheritance and Cloning Behaviors of Software Agents. |
TOOLS |
1999 |
DBLP DOI BibTeX RDF |
|
| 1 | Xiaocong Fan, Dianxiang Xu, Jianmin Hou, Guoliang Zheng |
SPLAW: A Computable Language for Agent-oriented Programming. |
SIGPLAN Notices |
1998 |
DBLP DOI BibTeX RDF |
|
| 1 | Dianxiang Xu |
Towards an object-oriented logic framework for knowledge based systems. |
Knowl.-Based Syst. |
1998 |
DBLP DOI BibTeX RDF |
|
| 1 | Dianxiang Xu |
A logic based language for networked agents. |
Information & Software Technology |
1998 |
DBLP DOI BibTeX RDF |
|
| 1 | Xiaocong Fan, Dianxiang Xu, Jianmin Hou, Guoliang Zheng |
SPLAW: A Computable Agent-Oriented Programming Language. |
ISORC |
1998 |
DBLP DOI BibTeX RDF |
|
| 1 | Dianxiang Xu, Guoliang Zheng |
Towards a declarative semantics of inheritance with exceptions. |
J. Comput. Sci. Technol. |
1996 |
DBLP DOI BibTeX RDF |
|
| 1 | Dianxiang Xu, Guoliang Zheng |
Logical Objects with Constraints. |
SIGPLAN Notices |
1995 |
DBLP DOI BibTeX RDF |
|
| 1 | Dianxiang Xu, Guoliang Zheng |
Logical object as a basis of knowledge based systems. |
J. Comput. Sci. Technol. |
1995 |
DBLP DOI BibTeX RDF |
|
| 1 | Shifu Chen, Dianxiang Xu |
KBMDL: A Knowledge Based Model Description Language for Decision Support. |
ICTAI |
1994 |
DBLP BibTeX RDF |
|
![[Valid RSS]](Pics/valid-rss.png "Validate my RSS feed")