The SCEAS System
Navigation Menu

Search the dblp DataBase

Title:
Author:

Dianxiang Xu: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]

Publications of Author

  1. Dianxiang Xu, Guoliang Zheng
    Logical Objects with Constraints. [Citation Graph (1, 0)][DBLP]
    SIGPLAN Notices, 1995, v:30, n:1, pp:5-10 [Journal]
  2. Dianxiang Xu, Weifeng Xu
    State-based incremental testing of aspect-oriented programs. [Citation Graph (0, 0)][DBLP]
    AOSD, 2006, pp:180-189 [Conf]
  3. Dianxiang Xu, Vivek Goel, Kendall E. Nygard
    An Aspect-Oriented Approach to Security Requirements Analysis. [Citation Graph (0, 0)][DBLP]
    COMPSAC (2), 2006, pp:79-82 [Conf]
  4. Dianxiang Xu, Michael S. Miller, Richard A. Volz, Thomas R. Ioerger
    Collaborative Agents for C2 Teamwork Simulation. [Citation Graph (0, 0)][DBLP]
    IC-AI, 2003, pp:723-729 [Conf]
  5. Dianxiang Xu, Richard A. Volz, Thomas R. Ioerger
    Generating Parallel Based on Planning Graph Analysis of Predicate/Transition Nets. [Citation Graph (0, 0)][DBLP]
    IC-AI, 2002, pp:440-446 [Conf]
  6. Dianxiang Xu, Joshua J. Pauli
    Threat-Driven Architectural Design of Secure Information Systems. [Citation Graph (0, 0)][DBLP]
    ICEIS (3), 2005, pp:136-143 [Conf]
  7. Shifu Chen, Dianxiang Xu
    KBMDL: A Knowledge Based Model Description Language for Decision Support. [Citation Graph (0, 0)][DBLP]
    ICTAI, 1994, pp:696-699 [Conf]
  8. Wu-Jun Li, Chong-Jun Wang, Dianxiang Xu, Shifu Chen
    Illumination Invariant Face Recognition Based on Neural Network Ensemble. [Citation Graph (0, 0)][DBLP]
    ICTAI, 2004, pp:486-490 [Conf]
  9. Dianxiang Xu, Richard A. Volz, Michael S. Miller, Jesse Plymale
    Human-Agent Teamwork for Distributed Team Training. [Citation Graph (0, 0)][DBLP]
    ICTAI, 2003, pp:602-0 [Conf]
  10. John Yen, Jianwen Yin, Thomas R. Ioerger, Michael S. Miller, Dianxiang Xu, Richard A. Volz
    CAST: Collaborative Agents for Simulating Teamwork. [Citation Graph (0, 0)][DBLP]
    IJCAI, 2001, pp:1135-1144 [Conf]
  11. Wu-Jun Li, Chong-Jun Wang, Dianjiang Xu, Bin Luo, Zhaojian Chen
    A Study on Illumination Invariant Face Recognition Methods Based on Multiple Eigenspaces. [Citation Graph (0, 0)][DBLP]
    ISNN (2), 2005, pp:131-136 [Conf]
  12. Xiaocong Fan, Dianxiang Xu, Hou Jianmin, Guoliang Zheng
    SPLAW: A Computable Agent-Oriented Programming Language. [Citation Graph (0, 0)][DBLP]
    ISORC, 1998, pp:144-145 [Conf]
  13. Joshua J. Pauli, Dianxiang Xu
    Misuse Case-Based Design and Analysis of Secure Software Architecture. [Citation Graph (0, 0)][DBLP]
    ITCC (2), 2005, pp:398-403 [Conf]
  14. Dianxiang Xu, Vivek Goel
    An Aspect-Oriented Approach to Mobile Agent Access Control. [Citation Graph (0, 0)][DBLP]
    ITCC (1), 2005, pp:668-673 [Conf]
  15. Dianxiang Xu, Kendall E. Nygard
    A threat-driven approach to modeling and verifying secure software. [Citation Graph (0, 0)][DBLP]
    ASE, 2005, pp:342-346 [Conf]
  16. Dianxiang Xu, Richard A. Volz, Thomas R. Ioerger, John Yen
    Modeling and verifying multi-agent behaviors using predicate/transition nets. [Citation Graph (0, 0)][DBLP]
    SEKE, 2002, pp:193-200 [Conf]
  17. Joshua J. Pauli, Dianxiang Xu
    Ensuring Consistent Use/Misuse Case Decomposition for Secure Systems. [Citation Graph (0, 0)][DBLP]
    SEKE, 2006, pp:392-397 [Conf]
  18. Dianxiang Xu, Weifeng Xu, Kendall E. Nygard
    A State-Based Approach to Testing Aspect-Oriented Programs. [Citation Graph (0, 0)][DBLP]
    SEKE, 2005, pp:366-371 [Conf]
  19. Junhua Ding, Dianxiang Xu, Yi Deng, Peter J. Clarke, Xudong He
    Design an Interoperable Mobile Agent System Based on Predicate Transition Net Models. [Citation Graph (0, 0)][DBLP]
    SEKE, 2005, pp:560-565 [Conf]
  20. Dianxiang Xu, Priti Borse, Ken Grigsby, Kendall E. Nygard
    A Petri Net Based Software Architecture for UAV Simulation. [Citation Graph (0, 0)][DBLP]
    Software Engineering Research and Practice, 2004, pp:227-234 [Conf]
  21. Joshua J. Pauli, Dianxiang Xu
    Trade-off Analysis of Misuse Case-based Secure Software Architectures: A Case Study. [Citation Graph (0, 0)][DBLP]
    MSVVEIS, 2005, pp:89-95 [Conf]
  22. Xiaocong Fan, Dianxiang Xu, Guoliang Zheng
    Reasoning about Inheritance and Cloning Behaviors of Software Agents. [Citation Graph (0, 0)][DBLP]
    TOOLS (31), 1999, pp:77-82 [Conf]
  23. Dianxiang Xu, Richard A. Volz, Thomas R. Ioerger, John Yen
    Modeling and Analyzing Multi-Agent Behaviors Using Predicate/Transition Nets. [Citation Graph (0, 0)][DBLP]
    International Journal of Software Engineering and Knowledge Engineering, 2003, v:13, n:1, pp:103-124 [Journal]
  24. Dianxiang Xu
    A logic based language for networked agents. [Citation Graph (0, 0)][DBLP]
    Information & Software Technology, 1998, v:40, n:8, pp:435-442 [Journal]
  25. Dianxiang Xu
    Towards an object-oriented logic framework for knowledge based systems. [Citation Graph (0, 0)][DBLP]
    Knowl.-Based Syst., 1998, v:10, n:6, pp:351-357 [Journal]
  26. Xiaocong Fan, Dianxiang Xu, Hou Jianmin, Guoliang Zheng
    SPLAW: A Computable Language for Agent-oriented Programming. [Citation Graph (0, 0)][DBLP]
    SIGPLAN Notices, 1998, v:33, n:1, pp:61-69 [Journal]
  27. Dianxiang Xu
    A Type System of Logic Objects. [Citation Graph (0, 0)][DBLP]
    SIGPLAN Notices, 1999, v:34, n:2, pp:52-56 [Journal]
  28. Dianxiang Xu, Kendall E. Nygard
    Threat-Driven Modeling and Verification of Secure Software Using Aspect-Oriented Petri Nets. [Citation Graph (0, 0)][DBLP]
    IEEE Trans. Software Eng., 2006, v:32, n:4, pp:265-278 [Journal]
  29. Dianxiang Xu, Jianwen Yin, Yi Deng, Junhua Ding
    A Formal Architectural Model for Logical Agent Mobility. [Citation Graph (0, 0)][DBLP]
    IEEE Trans. Software Eng., 2003, v:29, n:1, pp:31-45 [Journal]
  30. Dianxiang Xu, Izzat Alsmadi, Weifeng Xu
    Model Checking Aspect-Oriented Design Specification. [Citation Graph (0, 0)][DBLP]
    COMPSAC (1), 2007, pp:491-500 [Conf]
  31. Joshua J. Pauli, Dianxiang Xu
    Integrating Functional and Security Requirements with Use Case Decomposition. [Citation Graph (0, 0)][DBLP]
    ICECCS, 2006, pp:57-66 [Conf]
  32. Dianxiang Xu, Weifeng Xu, W. Eric Wong
    Automated Test Code Generation from UML Protocol State Machines. [Citation Graph (0, 0)][DBLP]
    SEKE, 2007, pp:99-104 [Conf]

  33. A Systematic Approach for Integrating Fault Trees into System Statecharts. [Citation Graph (, )][DBLP]


  34. A UML-Based Framework for Design and Analysis of Dependable Software. [Citation Graph (, )][DBLP]


  35. Mining for Core Patterns in Stock Market Data. [Citation Graph (, )][DBLP]


  36. Security Test Generation Using Threat Trees. [Citation Graph (, )][DBLP]


  37. State-based testing of integration aspects. [Citation Graph (, )][DBLP]


  38. A Systematic Capture and Replay Strategy for Testing Complex GUI Based Java Applications. [Citation Graph (, )][DBLP]


  39. Modeling and integrating aspects with UML activity diagrams. [Citation Graph (, )][DBLP]


  40. Prioritizing State-Based Aspect Tests. [Citation Graph (, )][DBLP]


  41. A Comparative Study of Access Control Languages. [Citation Graph (, )][DBLP]


Search in 0.040secs, Finished in 0.043secs
NOTICE1
System may not be available sometimes or not working properly, since it is still in development with continuous upgrades
NOTICE2
The rankings that are presented on this page should NOT be considered as formal since the citation info is incomplete in DBLP
 
System created by asidirop@csd.auth.gr [http://users.auth.gr/~asidirop/] © 2002
for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002