Search

Xu, Dianxiang, Lijo Thomas, Michael Kent, Tejeddine Mouelhi, and Yves Le Traon. 2012. “A Model-Based Approach to Automated Testing of Access Control Policies”. Proceedings of the 17th ACM Symposium on Access Control Models and Technologies, 209-18.

Tu, Manghui, Liangliang Xiao, and Dianxiang Xu. 2013. “Maximizing the Availability of Replicated Services in Widely Distributed Systems Considering Network Availability”. 2013 IEEE 7th International Conference on Software Security and Reliability, 178-87.

Fames, Pulvinar, Hasellus Dignissim, Imperdiet Sociosqu, and Dictum Gravida. 2020. “Mauris Felis ante Montes Rhoncus Semper, Iaculis Nisl Facilisis Malesuada Maecenas”. Mauris Felis ante Montes Rhoncus Semper, Iaculis Nisl Facilisis Malesuada Maecenas.

Wang, Jiacun. 2012. Handbook of Finite State Based Models and Applications. CRC press.

Li, Zhiyuan, Weijia Xing, and Dianxiang Xu. 2018. “Detecting Saturation Attacks in Software-Defined Networks”. 2018 IEEE International Conference on Intelligence and Security Informatics (ISI), 163-68.

Xu, Dianxiang, Michael Sanford, Zhaoliang Liu, Spencer Johnson, Mark Emry, Brad Brockmueller, and Michael To. 2013. “Testing Access Control and Obligation Policies”. 2013 International Conference on Computing, Networking and Communications (ICNC), 540-44.

Liu, Yifei, Mark E Patterson, Suman Sahil, and Steven C Stoner. 2023. “Inpatient Prescribing Patterns of Long-Acting Injectables and Their Oral or Short-Acting Injectable Equivalent Formulations.”. Frontiers in Pharmacology 14: 1140969.

Fames, Pulvinar, Hasellus Dignissim, Imperdiet Sociosqu, and Dictum Gravida. 2020. “Mauris Felis ante Montes Rhoncus Semper, Iaculis Nisl Facilisis Malesuada Maecenas”. Mauris Felis ante Montes Rhoncus Semper, Iaculis Nisl Facilisis Malesuada Maecenas.

Fames, Pulvinar, Hasellus Dignissim, Imperdiet Sociosqu, and Dictum Gravida. 2019. “Mauris Felis ante Montes Rhoncus Semper, Iaculis Nisl Facilisis Malesuada Maecenas”. Mauris Felis ante Montes Rhoncus Semper, Iaculis Nisl Facilisis Malesuada Maecenas.

Fames, Pulvinar, Hasellus Dignissim, Imperdiet Sociosqu, and Dictum Gravida. 2019. “Mauris Felis ante Montes Rhoncus Semper, Iaculis Nisl Facilisis Malesuada Maecenas”. Mauris Felis ante Montes Rhoncus Semper, Iaculis Nisl Facilisis Malesuada Maecenas.