Search

Search results

2684 results found

Integrating safety analysis with functional modeling

Publication: Journal Article

Ariss, Omar El, Dianxiang Xu, and Eric Wong. 2011. “Integrating Safety Analysis With Functional Modeling”. IEEE Transactions on Systems, Man, and Cybernetics-Part A: Systems and Humans 41 (4): 610-24.

Statistical unigram analysis for source code repository

Publication: Journal Article

Xu, Weifeng, Dianxiang Xu, Abdulrahman Alatawi, Omar El Ariss, and Yunkai Liu. 2018. “Statistical Unigram Analysis for Source Code Repository”. International Journal of Semantic Computing 12 (02): 237-60.

Detecting Incorrect Uses of Combining Algorithms in XACML 3.0 Policies

Publication: Journal Article

Xu, Dianxiang, Ning Shen, and Yunpeng Zhang. 2015. “Detecting Incorrect Uses of Combining Algorithms in XACML 3.0 Policies”. International Journal of Software Engineering and Knowledge Engineering 25 (09n10): 1551-71.

Testing aspect-oriented programs with finite state machines

Publication: Journal Article

Xu, Dianxiang, Omar El-Ariss, Weifeng Xu, and Linzhang Wang. 2012. “Testing Aspect-Oriented Programs With Finite State Machines”. Software Testing, Verification and Reliability 22 (4): 267-93.

Automated security test generation with formal threat models

Publication: Journal Article

Xu, Dianxiang, Manghui Tu, Michael Sanford, Lijo Thomas, Daniel Woodraska, and Weifeng Xu. 2012. “Automated Security Test Generation With Formal Threat Models”. IEEE Transactions on Dependable and Secure Computing 9 (4): 526-40.

Modeling security attacks with statecharts

Publication: Journal Article

Ariss, Omar El, and Dianxiang Xu. 2011. “Modeling Security Attacks With Statecharts”. Proceedings of the Joint ACM SIGSOFT Conference—QoSA and ACM SIGSOFT Symposium—ISARCS on Quality of Software Architectures—QoSA and Architecting Critical Systems&Mdash;ISARCS, 123-32.

Model checking of security properties in industrial control systems (ICS)

Publication: Journal Article

Shrestha, Roshan, Hoda Mehrpouyan, and Dianxiang Xu. 2018. “Model Checking of Security Properties in Industrial Control Systems (ICS)”. Proceedings of the Eighth ACM Conference on Data and Application Security and Privacy, 164-66.

About

Page

The Center of Excellence: AI-Empowered Spatial Computing

davisd

Shuo Han PhD

Dr. Shuo Han is a Research Associate in the School of Science & Engineering at the University of Missouri-Kansas City. Dr. Han's research centers on questions related to life health, bio-environment, microbial energy, and bio-nanotechnology. Dr. Han is interested in many biological chemistry questions and seeks to conduct sound and exciting science. Dr. Han is a strong proponent of open and collaborative science.