Huaikou Miao - RankMe

153 papers A 3B 9C 44Misc 10Journal 21Unranked 59

Year	Rank	Type	Title / Venue / Authors
2024	A	`conf`	A Just-in-time Software Defect Localization Method based on Code Graph Representation. ICPC Huan Zhang, Weihuan Min, Zhao Wei, Li Kuang, Honghao Gao, Huaikou Miao
2024	B	`conf`	AccMILP: An Approach for Accelerating Neural Network Verification Based on Neuron Importance. ICECCS Fei Zheng, Qingguo Xu, Zhou Lei, Huaikou Miao
2023	J	`jnl`	A Novel GAPG Approach to Automatic Property Generation for Formal Verification: The GAN Perspective. ACM Trans. Multim. Comput. Commun. Appl. Honghao Gao, Baobin Dai, Huaikou Miao, Xiaoxian Yang, Ramón J. Durán Barroso, Walayat Hussain
2021	J	`jnl`	Research on Edge Service Composition Method Based on BAS Algorithm. Comput. Intell. Neurosci. Zhoujie Du, Huaikou Miao
2021	J	`jnl`	SDTIOA: Modeling the Timed Privacy Requirements of IoT Service Composition: A User Interaction Perspective for Automatic Transformation from BPEL to Timed Automata. Mob. Networks Appl. Honghao Gao, Yida Zhang, Huaikou Miao, Ramón J. Durán Barroso, Xiaoxian Yang
2021	J	`jnl`	Transition Algebra for Software Testing. IEEE Trans. Reliab. Pan Liu, Yihao Li, Huaikou Miao
2020	J	`jnl`	LSTM-based deep learning for spatial-temporal software testing. Distributed Parallel Databases Lei Xiao, Huaikou Miao, Tingting Shi, Yu Hong
2020	—	`ed.`	Structured Object-Oriented Formal Language and Method - 9th International Workshop, SOFL+MSVL 2019, Shenzhen, China, November 5, 2019, Revised Selected Papers SOFL+MSVL Huaikou Miao, Cong Tian, Shaoying Liu, Zhenhua Duan
2020	J	`jnl`	Video Synopsis Based on Attention Mechanism and Local Transparent Processing. IEEE Access Shengbo Chen, Xianrui Liu, Yiyong Huang, Congcong Zhou, Huaikou Miao
2019	J	`jnl`	Location-Based Test Case Prioritization for Software Embedded in Mobile Devices Using the Law of Gravitation. Mob. Inf. Syst. Xiaolin Wang, Hongwei Zeng, Honghao Gao, Huaikou Miao, Weiwei Lin
2019	C	`conf`	Multi-label Recommendation of Web Services with the Combination of Deep Neural Networks. CollaborateCom Yanglan Gan, Yang Xiang, Guobing Zou, Huaikou Miao, Bofeng Zhang
2019	Misc	`ed.`	Testbeds and Research Infrastructures for the Development of Networks and Communications - 13th EAI International Conference, TridentCom 2018, Shanghai, China, December 1-3, 2018, Proceedings TRIDENTCOM Honghao Gao, Yuyu Yin, Xiaoxian Yang, Huaikou Miao
2018	J	`jnl`	A Novel Self-Adaptive VM Consolidation Strategy Using Dynamic Multi-Thresholds in IaaS Clouds. Future Internet Lei Xie, Shengbo Chen, Wenfeng Shen, Huaikou Miao
2018	J	`jnl`	Automated Quantitative Verification for Service-Based System Design: A Visualization Transform Tool Perspective. Int. J. Softw. Eng. Knowl. Eng. Honghao Gao, Huaikou Miao, Lilan Liu, Jinyu Kai, Kun Zhao
2018	C	`conf`	Neighborhood-Based Uncertain QoS Prediction of Web Services via Matrix Factorization. CollaborateCom Guobing Zou, Shengye Pang, Pengwei Wang, Huaikou Miao, Sen Niu, Yanglan Gan, Bofeng Zhang
2018	—	`conf`	Research Review on Web Service Composition Testing. SOFL+MSVL Zhoujie Du, Huaikou Miao
2018	J	`jnl`	Test Sequence Reduction of Wireless Protocol Conformance Testing to Internet of Things. Secur. Commun. Networks Weiwei Lin, Hongwei Zeng, Honghao Gao, Huaikou Miao, Xiaolin Wang
2018	C	`conf`	The Cuckoo Search and Integer Linear Programming Based Approach to Time-Aware Test Case Prioritization Considering Execution Environment. CollaborateCom Yu Wong, Hongwei Zeng, Huaikou Miao, Honghao Gao, Xiaoxian Yang
2017	C	`conf`	A 3D Registration Method Based on Indoor Positioning Through Networking. CollaborateCom Haibo Li, Huahu Xu, Honghao Gao, Minjie Bian, Huaikou Miao
2017	C	`conf`	A Framework for Multi-view Reconciliation and for Medical Devices Personalization. ICFEM Yihai Chen, Bofang Zhang, Ridha Khédri, Huaikou Miao
2017	J	`jnl`	An Approach to Data Consistency Checking for the Dynamic Replacement of Service Process. IEEE Access Honghao Gao, Yucong Duan, Huaikou Miao, Yuyu Yin
2017	C	`conf`	An Novel Approach to Evaluate the Reliability of Cloud Rendering System Using Probabilistic Model Checker PRISM: A Quantitative Computing Perspective. MobiQuitous Haoyu Liu, Huahu Xu, Honghao Gao, Minjie Bian, Huaikou Miao
2017	C	`conf`	An empirical study on clustering approach combining fault prediction for test case prioritization. ICIS Lei Xiao, Huaikou Miao, Weiwei Zhuang, Shaojun Chen
2017	J	`jnl`	Research on Service Recommendation Reliability in mobile computing. Int. J. Networked Distributed Comput. Weng Wen, Huaikou Miao
2017	C	`conf`	Research on service recommendation reliability in mobile computing. SERA Weng Wen, Huaikou Miao
2016	—	`conf`	Applying Assemble Clustering Algorithm and Fault Prediction to Test Case Prioritization. SATE Lei Xiao, Huaikou Miao, Weiwei Zhuang, Shaojun Chen
2016	—	`conf`	Applying Probabilistic Model Checking to Service Discovery Framework. SCC Honghao Gao, Huaikou Miao, Yucong Duan, Jinyu Kai
2016	—	`conf`	Automated Safety Analysis on Scenario-Based Requirements for Train Control System. SOFL+MSVL Xi Wang, Huaikou Miao, Weikai Miao
2016	—	`conf`	Classification of wine quality with imbalanced data. ICIT Gongzhu Hu, Tan Xi, Faraz Mohammed, Huaikou Miao
2016	—	`conf`	Context-Based Service Recommendation System Using Probability Model in Mobile Devices. ES Weng Wen, Huaikou Miao
2016	C	`conf`	Formal verification of security protocols using Spin. ICIS Shengbo Chen, Hao Fu, Huaikou Miao
2016	J	`jnl`	Guest Editors' Introduction. Int. J. Softw. Eng. Knowl. Eng. Ying Li, Huaikou Miao
2016	—	`conf`	Instant-Based and State-Based Analysis of Infinite Logical Clock. SOFL+MSVL Qingguo Xu, Huaikou Miao, Robert de Simone, Julien Deantoni
2016	—	`conf`	Overlap Community Detection Based on Node Convergence Degree. DASC/PiCom/DataCom/CyberSciTech Weimin Li, Shu Jiang, Huaikou Miao, Xiaokang Zhou, Qun Jin
2016	C	`conf`	Reliability modeling and verification of BPEL-based web services composition by probabilistic model checking. SERA Chengyang Mi, Huaikou Miao, Jinyu Kai, Honghao Gao
2015	J	`jnl`	A Platform for Analyzing Behaviors of Service-Oriented Application Based on the Probabilistic Model Checking. Int. J. Softw. Innov. Jinyu Kai, Huaikou Miao, Kun Zhao, Jiaan Zhou, Honghao Gao
2015	—	`conf`	A Visual Modeling and Transformation Tool for Multiple Representations of Probabilistic Behavior Model. ACIT-CSI Kun Zhao, Huaikou Miao, Jinyu Kai, Jiaan Zhou, Honghao Gao
2015	C	`conf`	Formal specification and reasoning for situated multi-agent system. ICIS Zhuang Li, Huaikou Miao
2015	C	`conf`	Survivability prediction of web system based on log statistics. SNPD Jiaan Zhou, Huaikou Miao, Jinyu Kai, Kun Zhao, Honghao Gao
2015	J	`jnl`	The Influence of Alias and References Escape on Java Program Analysis. Int. J. Networked Distributed Comput. Shengbo Chen, Dashen Sun, Huaikou Miao
2015	—	`conf`	The Interchange Format of Tabular Expressions Using XML. SOFL+MSVL Mao Huang, Yihai Chen, Ridha Khédri, Huaikou Miao
2015	J	`jnl`	Web服务计算组合流程QoS验证 (Verification QoS of Web Services Compositional Processes). 计算机科学 Jinyu Kai, Huaikou Miao, Honghao Gao
2015	J	`jnl`	基于历史信息的自适应测试用例优先级技术 (Self-adaptive Test Case Prioritization Based on History Information). 计算机科学 Longhui Chang, Huaikou Miao, Lei Xiao
2014	C	`conf`	A requirements description language pLSC for probabilistic branches and three-stage events. SNPD Jinyu Kai, Huaikou Miao, Honghao Gao
2014	—	`conf`	An Implementation Framework for Optimizing Test Case Generation Using Model Checking. SOFL+MSVL Longhui Chang, Huaikou Miao, Gongzheng Lu
2014	—	`conf`	Modeling and Testing of GUIs Using IOLTS. APSEC (1) Shengbo Chen, Dashen Sun, Huaikou Miao, Hongwei Zeng
2014	A	`conf`	Service Reconfiguration Architecture Based on Probabilistic Modeling Checking. ICWS Honghao Gao, Huaikou Miao, Hongwei Zeng
2014	—	`conf`	The Design and Implementation of a Modeling Tool for Regular Expressions. IIAI-AAI Min Zeng, Pan Liu, Huaikou Miao
2014	—	`conf`	The Influence of Alias and References Escape on Java Program Analysis. Software Engineering Research, Management and Applications Shengbo Chen, Dashen Sun, Huaikou Miao
2013	C	`conf`	A Quantitative Model-Based Selection of Web Service Reconfiguration. SNPD Honghao Gao, Huaikou Miao
2013	C	`conf`	A Selenium based approach to automatic test script generation for refactoring JavaScript code. ICIS Ruifeng Chen, Huaikou Miao
2013	—	`conf`	An Approach to Generating Test Data for EFSM Paths Considering Condition Coverage. TTSS Gongzheng Lu, Huaikou Miao
2013	C	`conf`	An approach to service dynamic reconfiguration using probabilistic model checking. ICIS Huaikou Miao
2013	—	`conf`	Concept Analysis Based Approach to Statistical Web Testing. Theories of Programming and Formal Methods Chao Chen, Huaikou Miao, Yihai Chen
2013	Misc	`conf`	Feasibility Analysis of the EFSM Transition Path Combining Slicing with Theorem Proving. TASE Gongzheng Lu, Huaikou Miao
2013	C	`conf`	Introducing Agents in Multi-agent System with Superposition Refinement. SNPD Zhuang Li, Huaikou Miao
2013	J	`jnl`	Nondeterministic Probabilistic Petri Net - A New Method to Study Qualitative and Quantitative Behaviors of System. J. Comput. Sci. Technol. Yang Liu, Huaikou Miao, Hongwei Zeng, Yan Ma, Pan Liu
2013	J	`jnl`	Research on the dynamic reconfiguration of Web application using two-phase compatibility verification. Int. J. Comput. Math. Honghao Gao, Huaikou Miao
2013	C	`conf`	Scenario specification based testing model generation. ICIS Beilei Liang, Pan Liu, Huaikou Miao
2013	—	`conf`	Theory of Test Modeling Based on Regular Expressions. SOFL+MSVL Pan Liu, Huaikou Miao
2013	—	`conf`	Usage-pattern based Statistical Web Testing and Reliability Measurement. EUSPN/ICTH Chao Chen, Yihai Chen, Huaikou Miao, Hao Wang
2012	—	`ed.`	2012 IEEE/ACIS 11th International Conference on Computer and Information Science, Shanghai, China, May 30 - June 1, 2012 ICIS Huaikou Miao, Roger Y. Lee, Hongwei Zeng, Jongmoon Baik
2012	C	`conf`	An Approach to Modeling and Verifying Router-Based Network. SNPD Dandan Sun, Huaikou Miao, Shengbo Chen, Honghao Gao
2012	C	`conf`	Test Suite Reduction Using Weighted Set Covering Techniques. SNPD Shengwei Xu, Huaikou Miao, Honghao Gao
2011	—	`conf`	A Pattern-Based Approach to Formal Specification Construction. FGIT-ASEA/DRBC/EL Xi Wang, Shaoying Liu, Huaikou Miao
2011	—	`conf`	AGT4W: Automatic Generating Tests for Web Applications. ICFCE Shengbo Chen, Huaikou Miao, Bo Song
2011	Misc	`conf`	Modeling and Verifying for Frameset-Based Web Applications. TASE Shengbo Chen, Huaikou Miao
2011	C	`conf`	Probabilistic Petri Net and its Logical Semantics. SERA Yang Liu, Huaikou Miao, Hongwei Zeng, Zhuang Li
2011	B	`conf`	Probabilistic Timed Model Checking for Atomic Web Service. SERVICES Honghao Gao, Huaikou Miao, Shengbo Chen, Jia Mei
2011	Misc	`conf`	Research on Web Service Composition Using Probabilistic Abstraction Refinement. TASE Honghao Gao, Huaikou Miao, Hongwei Zeng
2010	—	`conf`	A Formal Modeling for Component Behaviors Based on Event Track. SOSE Zhongyu Chen, Jichang Zhang, Huaikou Miao, Zhenghu Guo
2010	—	`conf`	A New Approach to Generating High Quality Test Cases. Asian Test Symposium Pan Liu, Huaikou Miao
2010	C	`conf`	A Pattern System to Support Refining Informal Ideas into Formal Expressions. ICFEM Xi Wang, Shaoying Liu, Huaikou Miao
2010	Misc	`conf`	An Improved Algorithm for Building the Characterizing Set. TASE Huaikou Miao, Pan Liu, Jia Mei
2010	—	`conf`	Axiomatic Assessment of FSM-Based Test Adequacy Criteria for Web Application. ACIS-ICIS Xiaokang Zhou, Huaikou Miao
2010	—	`ch.`	Deadlock Detection for Parallel Composition of Components. Computer and Information Science Hongwei Zeng, Huaikou Miao
2010	—	`conf`	Modeling and Verifying Web Service Applications with Time Constraints. ACIS-ICIS Jia Mei, Huaikou Miao, Qingguo Xu, Pan Liu
2010	C	`conf`	Reasoning on Formalizing WS-CDL Mobility Using Process Algebra. APSCC Nduwimfura Philbert, Dong Xu, Huaikou Miao, Zhou Lei, Bo Chen
2010	C	`conf`	Test Generation for Web Applications Using Model-Checking. SNPD Liping Li, Huaikou Miao, Shengbo Chen
2010	—	`conf`	The Application of Moodle in Computer English Teaching. ICWL Workshops Yihai Chen, Huaikou Miao
2010	Misc	`conf`	Towards Practical Modeling of Web Applications and Generating Tests. TASE Shengbo Chen, Huaikou Miao, Bo Song, Yihai Chen
2010	J	`jnl`	Verifying Web Services Composition Based on Interface Automata Using SPIN. J. Digit. Content Technol. its Appl. Jia Mei, Huaikou Miao, Yihai Chen, Honghao Gao
2009	—	`ed.`	8th IEEE/ACIS International Conference on Computer and Information Science, IEEE/ACIS ICIS 2009, June 1-3, 2009, Shanghai, China ACIS-ICIS Huaikou Miao, Gongzhu Hu
2009	—	`conf`	A Common Acquaintance Immunization Strategy for Complex Network. ACIS-ICIS Pan Liu, Huaikou Miao, Qing Li
2009	C	`conf`	A New Approach to Automated Redundancy Reduction for Test Sequences. PRDC Huaikou Miao, Pan Liu, Jia Mei, Hongwei Zeng
2009	C	`conf`	A Novel Approach for On-the-Fly Test Cases Synthesis. SNPD Jia Mei, Huaikou Miao, Pan Liu
2009	—	`conf`	A Web Service Composition Method Based on Interface Matching. ACIS-ICIS Tao He, Huaikou Miao, Liping Li
2009	C	`conf`	An Abstract Approach to Describing Scenario-Based Specifications. SERA Zhongyu Chen, Huaikou Miao
2009	—	`conf`	Analysis and Composition of Web Components Based on p-Calculus. CSO (1) Tao He, Huaikou Miao, Liping Li
2009	—	`book`	Computer and Information Science 2009 [outstanding papers from the 8th ACIS/IEEE International Conference on Computer and Information Science, Shanghai, China, June 1-3, 2009] Computer and Information Science Roger Y. Lee, Gongzhu Hu, Huaikou Miao
2009	—	`ch.`	Extracting Database Interactions and Generating Test for Web Applications. Computer and Information Science Bo Song, Huaikou Miao, Bin Zhu
2009	—	`ch.`	Formal Semantics of OWL-S with F-Logic. Computer and Information Science Huaikou Miao, Tao He, Liping Li
2009	C	`conf`	Manipulating Clocks in Timed Automata Using PVS. SNPD Qingguo Xu, Huaikou Miao
2009	—	`conf`	Model Checking UML Activity Diagrams in FDR. ACIS-ICIS Dong Xu, Huaikou Miao, Nduwimfura Philbert
2009	Misc	`conf`	Modeling Web Applications and Generating Tests: A Combination and Interactions-guided Approach. TASE Bo Song, Huaikou Miao
2009	C	`conf`	Proving Total Correctness of Refinement Based on Tableau. ISPA Xiaolei Gao, Huaikou Miao
2009	C	`conf`	Testing a Web Application Involving Web Browser Interaction. SNPD Bin Zhu, Huaikou Miao, Lizhi Cai
2009	—	`conf`	User-interface Design of Web Application Using Object-Z. ACIS-ICIS Bin Zhu, Huaikou Miao, Bo Song
2008	—	`conf`	A New Formal Modeling Approach for Requirement. CSSE (2) Zhongyu Chen, Huaikou Miao, Bo Song
2008	C	`conf`	A Rewriting Logic Approach to OWL-S Composite Process Formal Specification. APSCC Junfeng Wu, Huaikou Miao
2008	—	`conf`	A Static Analysis Approach for Automatic Generating Test Cases for Web Applications. CSSE (2) Minghui Wang, Jie Yuan, Huaikou Miao, Gemiao Tan
2008	—	`conf`	A UML-Based Approach to Testing Web Applications. ISCSCT (2) Liping Li, Huaikou Miao, Zhong-sheng Qian
2008	—	`conf`	An Approach to Checking the Compatibility for Web Services Specification Based on the Typed Graph Category. ICYCS Xinlin Zhang, Huaikou Miao, Shenghong Li
2008	—	`conf`	An Approach to Transforming UML Model to FSM Model for Automatic Testing. CSSE (2) Xi Wang, Liang Guo, Huaikou Miao
2008	—	`conf`	Modeling Web Browser Interactions and Generating Tests. CIS (2) Bo Song, Huaikou Miao, Shengbo Chen
2008	—	`conf`	Modeling and Analyzing Composite Semantic Web Service Using Petri Nets. ICEBE Huaikou Miao, Tao He, Zhong-sheng Qian
2008	—	`conf`	Modeling and Composition of Web Application Components using Extended FSM. ICNC (6) Tao He, Huaikou Miao
2008	Misc	`conf`	Modeling and Refining the Service-Oriented Requirement. TASE Xiaoxia Cao, Huaikou Miao, Qingguo Xu
2008	C	`conf`	Modeling and Verifying Web Browser Interactions. APSEC Shengbo Chen, Huaikou Miao, Zhong-sheng Qian
2008	—	`conf`	Refining Service-Oriented Model Using Interpretation Mapping. SOSE Huaikou Miao, Xiaoxia Cao, Zhong-sheng Qian
2008	—	`conf`	Research of a Grid-enabled Parallel Computational Model and Algorithm Implementation. ChinaGrid Yongmei Lei, Huaikou Miao, Lijie Li
2008	—	`conf`	The Axiomatic Semantics of PDFD. FCST Xiaolei Gao, Huaikou Miao
2008	J	`jnl`	Towards Automatic Transformation from UML Model to FSM Model for Web Applications. J. Softw. Eng. Appl. Xi Wang, Huaikou Miao, Liang Guo
2008	Misc	`conf`	Towards Automatically Generating Test Paths for Web Application Testing. TASE Huaikou Miao, Zhong-sheng Qian, Bo Song
2008	—	`conf`	Verifying Service-Oriented Requirements Using Model Checking. ICEBE Xiaoxia Cao, Huaikou Miao, Qingguo Xu
2007	C	`conf`	A Formal Open Framework Based on Agent for Testing Web Applications. CIS Huaikou Miao, Shengbo Chen, Zhong-sheng Qian
2007	—	`conf`	A Practical Web Testing Model for Web Application Testing. SITIS Zhong-sheng Qian, Huaikou Miao, Hongwei Zeng
2007	—	`conf`	A Rewriting Based Model for Nondeterministic Composite Web Service System. ICEBE Junfeng Wu, Huaikou Miao
2007	—	`conf`	An Approach to Generating Test Cases for Testing Component-based Web Applications. IITA Huaikou Miao, Shengbo Chen, Huanzhou Liu, Zhong-sheng Qian
2007	—	`conf`	An Approach to Modeling Hypermedia Web Applications. GCC Zhong-sheng Qian, Huaikou Miao, Tao He
2007	B	`conf`	Auto-Generating Test Sequences for Web Applications. ICWE Hongwei Zeng, Huaikou Miao
2007	—	`conf`	Location Transparent Communications in Mobile Agent Systems. IITA Shengbo Chen, Huaikou Miao, Zhong-sheng Qian
2007	—	`conf`	Mailbox-Based Communications Scheme for Mobile Agent Overloading-balance and Message-priority. GCC Shengbo Chen, Huaikou Miao, Qingguo Xu
2007	B	`conf`	Model Checking-based Verification of Web Application. ICECCS Huaikou Miao, Hongwei Zeng
2007	C	`conf`	Modeling Web Browser Interactions Using FSM. APSCC Huaikou Miao, Zhong-sheng Qian, Tao He
2007	Misc	`conf`	Specification-based Test Generation and Optimization Using Model Checking. TASE Hongwei Zeng, Huaikou Miao, Jing Liu
2007	—	`conf`	Towards Modeling Web Navigation Using FSM and Z. IITA Zhong-sheng Qian, Huaikou Miao, Shengbo Chen
2006	C	`conf`	A Domain Formal Ontology and the Application in Service Component Retrieval. ICSEA Junmei Sun, Huaikou Miao, Xiaoxia Cao
2006	—	`conf`	A Formal Architecture Supporting Dynamic Composition of Web Services. ICNS Junmei Sun, Huaikou Miao
2006	—	`conf`	An Approach to Extending Object-Z with Real-Time. DELTA Huaikou Miao, Zhicheng Wen
2006	—	`conf`	Data Communication Model of Grid Workflow. ICEBE Hongwei Zeng, Huaikou Miao
2006	—	`conf`	Formal Verification Framework for Safety of Real-Time System based on Timed Automata Model in PVS. IASTED Conf. on Software Engineering Qingguo Xu, Huaikou Miao
2006	B	`conf`	Formalizing and analyzing service oriented software architecture style. EDOC Huaikou Miao, Junmei Sun, Xiaoxia Cao
2006	C	`conf`	Generating Proof Obligation to Verify Object-Z Specification. ICSEA Zhicheng Wen, Huaikou Miao, Hongwei Zeng
2006	—	`conf`	Modeling Timed Automata Theory in PVS. Software Engineering Research and Practice Qingguo Xu, Huaikou Miao
2006	—	`conf`	The Role of Ontology in Service Oriented System Development. SOSE Huaikou Miao, Junmei Sun
2005	B	`conf`	A Strategy for Component-Based Modeling and Refinement. ICECCS Jing Liu, Huaikou Miao
2005	C	`conf`	D_DIPS: An Intrusion Prevention System for Database Security. ICICS Jiazhu Dai, Huaikou Miao
2005	B	`conf`	Mutation Operators for Object-Z Specification. ICECCS Ling Liu, Huaikou Miao
2004	C	`conf`	A Design Pattern Verifier in Two-Tier Programming Environment. CIT Jie Yuan, Huaikou Miao, Liang Cai
2004	C	`conf`	A Specification-Based Approach to Testing Polymorphic Attributes. ICFEM Ling Liu, Huaikou Miao
2004	A	`conf`	An Approach to Formalizing the Semantics of UML Statecharts. ER Xuede Zhan, Huaikou Miao
2004	C	`conf`	Formalizing the Semantics of UML Statecharts with Z*. CIT Xuede Zhan, Huaikou Miao, Ling Liu
2003	—	`conf`	Structured Object-Z Software Specification Language. GCC (1) Xiaolei Gao, Huaikou Miao, Yihai Chen
2003	—	`conf`	The Availability Semantics of Predicate Data Flow Diagram. GCC (2) Xiaolei Gao, Huaikou Miao, Shaoying Liu, Ling Liu
2002	B	`conf`	A Framework for Specification-Based Class Testing. ICECCS Ling Liu, Huaikou Miao, Xuede Zhan
2002	C	`conf`	A Specification-Based Software Construction Framework for Reuse. ICFEM Jing Liu, Huaikou Miao, Xiaolei Gao
2002	C	`ed.`	Formal Methods and Software Engineering, 4th International Conference on Formal Engineering Methods, ICFEM 2002 Shanghai, China, October 21-25, 2002, Proceedings ICFEM Chris George, Huaikou Miao
2002	C	`conf`	Formalizing UML Models with Object-Z. ICFEM Huaikou Miao, Ling Liu, Li Li
2001	C	`conf`	Z User Studio: An Integrated Support Tool for Z Specifications. APSEC Huaikou Miao, Ling Liu, Chuanjiang Yu, Jijun Ming, Li Li
2000	—	`conf`	A Formalized Abstract Component Object Mode - Z-COM. TOOLS (36) Huaikou Miao, Chuanjiang Yu, Li Li
2000	B	`conf`	A Test Class Framework for Generating Test Cases from Z Specifications. ICECCS Huaikou Miao, Ling Liu
1999	—	`conf`	An Approach to Testing the Nonexistence of Initial State in Z Specifications. Asian Test Symposium Huaikou Miao, Xiaolei Gao, Ling Liu