| 2024 | ICECCS | AccMILP: An Approach for Accelerating Neural Network Verification Based on Neuron Importance. | Fei Zheng, Qingguo Xu, Zhou Lei, Huaikou Miao |
| 2017 | ICFEM | A Framework for Multi-view Reconciliation and for Medical Devices Personalization. | Yihai Chen, Bofang Zhang, Ridha Khdri, Huaikou Miao |
| 2017 | Mobiquitous | An Novel Approach to Evaluate the Reliability of Cloud Rendering System Using Probabilistic Model Checker PRISM: A Quantitative Computing Perspective. | Haoyu Liu, Huahu Xu, Honghao Gao, Minjie Bian, Huaikou Miao |
| 2017 | SERA | Research on service recommendation reliability in mobile computing. | Weng Wen, Huaikou Miao |
| 2016 | DASC | Overlap Community Detection Based on Node Convergence Degree. | Weimin Li, Shu Jiang, Huaikou Miao, Xiaokang Zhou, Qun Jin |
| 2016 | SERA | Reliability modeling and verification of BPEL-based web services composition by probabilistic model checking. | Chengyang Mi, Huaikou Miao, Jinyu Kai, Honghao Gao |
| 2015 | SNPD | Survivability prediction of web system based on log statistics. | Jiaan Zhou, Huaikou Miao, Jinyu Kai, Kun Zhao, Honghao Gao |
| 2014 | APSEC | Modeling and Testing of GUIs Using IOLTS. | Shengbo Chen, Dashen Sun, Huaikou Miao, Hongwei Zeng |
| 2014 | ICWS | Service Reconfiguration Architecture Based on Probabilistic Modeling Checking. | Honghao Gao, Huaikou Miao, Hongwei Zeng |
| 2014 | SNPD | A requirements description language pLSC for probabilistic branches and three-stage events. | Jinyu Kai, Huaikou Miao, Honghao Gao |
| 2013 | EUSPN | Usage-pattern based Statistical Web Testing and Reliability Measurement. | Chao Chen, Yihai Chen, Huaikou Miao, Hao Wang |
| 2013 | SNPD | A Quantitative Model-Based Selection of Web Service Reconfiguration. | Honghao Gao, Huaikou Miao |
| 2013 | SNPD | Introducing Agents in Multi-agent System with Superposition Refinement. | Zhuang Li, Huaikou Miao |
| 2013 | TASE | Feasibility Analysis of the EFSM Transition Path Combining Slicing with Theorem Proving. | Gongzheng Lu, Huaikou Miao |
| 2012 | SNPD | An Approach to Modeling and Verifying Router-Based Network. | Dandan Sun, Huaikou Miao, Shengbo Chen, Honghao Gao |
| 2012 | SNPD | Test Suite Reduction Using Weighted Set Covering Techniques. | Shengwei Xu, Huaikou Miao, Honghao Gao |
| 2011 | SERA | Probabilistic Petri Net and its Logical Semantics. | Yang Liu, Huaikou Miao, Hongwei Zeng, Zhuang Li |
| 2011 | SERVICES | Probabilistic Timed Model Checking for Atomic Web Service. | Honghao Gao, Huaikou Miao, Shengbo Chen, Jia Mei |
| 2011 | TASE | Modeling and Verifying for Frameset-Based Web Applications. | Shengbo Chen, Huaikou Miao |
| 2011 | TASE | Research on Web Service Composition Using Probabilistic Abstraction Refinement. | Honghao Gao, Huaikou Miao, Hongwei Zeng |
| 2010 | APSCC | Reasoning on Formalizing WS-CDL Mobility Using Process Algebra. | Nduwimfura Philbert, Dong Xu, Huaikou Miao, Zhou Lei, Bo Chen |
| 2010 | ICFEM | A Pattern System to Support Refining Informal Ideas into Formal Expressions. | Xi Wang, Shaoying Liu, Huaikou Miao |
| 2010 | SNPD | Test Generation for Web Applications Using Model-Checking. | Liping Li, Huaikou Miao, Shengbo Chen |
| 2010 | TASE | Towards Practical Modeling of Web Applications and Generating Tests. | Shengbo Chen, Huaikou Miao, Bo Song, Yihai Chen |
| 2010 | TASE | An Improved Algorithm for Building the Characterizing Set. | Huaikou Miao, Pan Liu, Jia Mei |
| 2009 | ISPA | Proving Total Correctness of Refinement Based on Tableau. | Xiaolei Gao, Huaikou Miao |
| 2009 | PRDC | A New Approach to Automated Redundancy Reduction for Test Sequences. | Huaikou Miao, Pan Liu, Jia Mei, Hongwei Zeng |
| 2009 | SNPD | A Novel Approach for On-the-Fly Test Cases Synthesis. | Jia Mei, Huaikou Miao, Pan Liu |
| 2009 | SNPD | Manipulating Clocks in Timed Automata Using PVS. | Qingguo Xu, Huaikou Miao |
| 2009 | SNPD | Testing a Web Application Involving Web Browser Interaction. | Bin Zhu, Huaikou Miao, Lizhi Cai |
| 2009 | SERA | An Abstract Approach to Describing Scenario-Based Specifications. | Zhongyu Chen, Huaikou Miao |
| 2009 | TASE | Modeling Web Applications and Generating Tests: A Combination and Interactions-guided Approach. | Bo Song, Huaikou Miao |
| 2008 | APSEC | Modeling and Verifying Web Browser Interactions. | Shengbo Chen, Huaikou Miao, Zhong-sheng Qian |
| 2008 | CIS | Modeling Web Browser Interactions and Generating Tests. | Bo Song, Huaikou Miao, Shengbo Chen |
| 2008 | ICNC | Modeling and Composition of Web Application Components using Extended FSM. | Tao He, Huaikou Miao |
| 2008 | TASE | Modeling and Refining the Service-Oriented Requirement. | Xiaoxia Cao, Huaikou Miao, Qingguo Xu |
| 2008 | TASE | Towards Automatically Generating Test Paths for Web Application Testing. | Huaikou Miao, Zhong-sheng Qian, Bo Song |
| 2007 | APSCC | Modeling Web Browser Interactions Using FSM. | Huaikou Miao, Zhong-sheng Qian, Tao He |
| 2007 | CIS | A Formal Open Framework Based on Agent for Testing Web Applications. | Huaikou Miao, Shengbo Chen, Zhong-sheng Qian |
| 2007 | ICECCS | Model Checking-based Verification of Web Application. | Huaikou Miao, Hongwei Zeng |
| 2007 | ICWE | Auto-Generating Test Sequences for Web Applications. | Hongwei Zeng, Huaikou Miao |
| 2007 | TASE | Specification-based Test Generation and Optimization Using Model Checking. | Hongwei Zeng, Huaikou Miao, Jing Liu |
| 2006 | EDOC | Formalizing and analyzing service oriented software architecture style. | Huaikou Miao, Junmei Sun, Xiaoxia Cao |
| 2006 | ICSEA | A Domain Formal Ontology and the Application in Service Component Retrieval. | Junmei Sun, Huaikou Miao, Xiaoxia Cao |
| 2006 | ICSEA | Generating Proof Obligation to Verify Object-Z Specification. | Zhicheng Wen, Huaikou Miao, Hongwei Zeng |
| 2005 | ICECCS | A Strategy for Component-Based Modeling and Refinement. | Jing Liu, Huaikou Miao |
| 2005 | ICECCS | Mutation Operators for Object-Z Specification. | Ling Liu, Huaikou Miao |
| 2005 | ICICS | D_DIPS: An Intrusion Prevention System for Database Security. | Jiazhu Dai, Huaikou Miao |
| 2004 | ER | An Approach to Formalizing the Semantics of UML Statecharts. | Xuede Zhan, Huaikou Miao |
| 2004 | ICFEM | A Specification-Based Approach to Testing Polymorphic Attributes. | Ling Liu, Huaikou Miao |
| 2002 | ICECCS | A Framework for Specification-Based Class Testing. | Ling Liu, Huaikou Miao, Xuede Zhan |
| 2002 | ICFEM | A Specification-Based Software Construction Framework for Reuse. | Jing Liu, Huaikou Miao, Xiaolei Gao |
| 2002 | ICFEM | Formalizing UML Models with Object-Z. | Huaikou Miao, Ling Liu, Li Li |
| 2001 | APSEC | Z User Studio: An Integrated Support Tool for Z Specifications. | Huaikou Miao, Ling Liu, Chuanjiang Yu, Jijun Ming, Li Li |
| 2000 | ICECCS | A Test Class Framework for Generating Test Cases from Z Specifications. | Huaikou Miao, Ling Liu |