Search

Aspect-oriented modeling and verification with finite state machines

Publication: Journal Article

Xu, Dian-Xiang, Omar El-Ariss, Wei-Feng Xu, and Lin-Zhang Wang. 2009. “Aspect-Oriented Modeling and Verification With Finite State Machines”. Journal of Computer Science and Technology 24 (5): 949-61.

On the development of a digital forensics curriculum

Publication: Journal Article

Tu, Manghui, Dianxiang Xu, Samsuddin Wira, Cristian Balan, and Kyle Cronin. 2012. “On the Development of a Digital Forensics Curriculum”. Journal of Digital Forensics, Security and Law 7 (3): 2.

Network slicing to improve multicasting in HPC clusters

Publication: Journal Article

Alsmadi, Izzat, Abdallah Khreishah, and Dianxiang Xu. 2018. “Network Slicing to Improve Multicasting in HPC Clusters”. Cluster Computing 21 (3): 1493-1506.

Automated integration testing using logical contracts

Publication: Journal Article

Xu, Dianxiang, Weifeng Xu, Manghui Tu, Ning Shen, William Chu, and Chih-Hung Chang. 2015. “Automated Integration Testing Using Logical Contracts”. IEEE Transactions on Reliability 65 (3): 1205-22.

Detecting saturation attacks based on self-similarity of OpenFlow traffic

Publication: Journal Article

Li, Zhiyuan, Weijia Xing, Samer Khamaiseh, and Dianxiang Xu. 2019. “Detecting Saturation Attacks Based on Self-Similarity of OpenFlow Traffic”. IEEE Transactions on Network and Service Management 17 (1): 607-21.

Bayesian Unigram-Based Inference for Expanding Abbreviations in Source Code

Publication: Journal Article

Alatawi, Abdulrahman, Weifeng Xu, and Dianxiang Xu. 2017. “Bayesian Unigram-Based Inference for Expanding Abbreviations in Source Code”. 2017 IEEE 29th International Conference on Tools With Artificial Intelligence (ICTAI), 543-50.

Predicting friendship strength for privacy preserving: a case study on Facebook

Publication: Journal Article

Dhakal, Nitish, Francesca Spezzano, and Dianxiang Xu. 2017. “Predicting Friendship Strength for Privacy Preserving: A Case Study on Facebook”. Proceedings of the 2017 IEEE/ACM International Conference on Advances in Social Networks Analysis and Mining 2017, 1096-1103.

Automated Generation of Integration Test Sequences from Logical Contracts

Publication: Journal Article

Xu, Dianxiang, Weifeng Xu, and Manghui Tu. 2014. “Automated Generation of Integration Test Sequences from Logical Contracts”. 2014 IEEE 38th International Computer Software and Applications Conference Workshops, 632-37.

Towards automatic repair of access control policies

Publication: Journal Article

Xu, Dianxiang, and Shuai Peng. 2016. “Towards Automatic Repair of Access Control Policies”. 2016 14th Annual Conference on Privacy, Security and Trust (PST), 485-92.

Model-based testing of SDN firewalls: a case study

Publication: Journal Article

Alsmadi, Izzat, Milson Munakami, and Dianxiang Xu. 2015. “Model-Based Testing of SDN Firewalls: A Case Study”. 2015 Second International Conference on Trustworthy Systems and Their Applications, 81-88.

Search

Search results