


Остановите войну!
for scientists:
Huaikou Miao
Person information

Refine list

refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
showing all ?? records
2020 – today
- 2021
- [j21]Zhoujie Du
, Huaikou Miao:
Research on Edge Service Composition Method Based on BAS Algorithm. Comput. Intell. Neurosci. 2021: 9931689:1-9931689:10 (2021) - [j20]Honghao Gao
, Yida Zhang, Huaikou Miao, Ramón J. Durán Barroso, Xiaoxian Yang:
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. 26(6): 2272-2297 (2021) - [j19]Pan Liu
, Yihao Li
, Huaikou Miao:
Transition Algebra for Software Testing. IEEE Trans. Reliab. 70(4): 1438-1454 (2021) - 2020
- [j18]Shengbo Chen, Xianrui Liu
, Yiyong Huang, Congcong Zhou, Huaikou Miao:
Video Synopsis Based on Attention Mechanism and Local Transparent Processing. IEEE Access 8: 92603-92614 (2020) - [j17]Lei Xiao, Huaikou Miao, Tingting Shi, Yu Hong:
LSTM-based deep learning for spatial-temporal software testing. Distributed Parallel Databases 38(3): 687-712 (2020) - [e6]Huaikou Miao, Cong Tian, Shaoying Liu, Zhenhua Duan:
Structured Object-Oriented Formal Language and Method - 9th International Workshop, SOFL+MSVL 2019, Shenzhen, China, November 5, 2019, Revised Selected Papers. Lecture Notes in Computer Science 12028, Springer 2020, ISBN 978-3-030-41417-7 [contents]
2010 – 2019
- 2019
- [j16]Xiaolin Wang
, Hongwei Zeng, Honghao Gao
, Huaikou Miao
, Weiwei Lin
:
Location-Based Test Case Prioritization for Software Embedded in Mobile Devices Using the Law of Gravitation. Mob. Inf. Syst. 2019: 9083956:1-9083956:14 (2019) - [c119]Yanglan Gan, Yang Xiang, Guobing Zou, Huaikou Miao, Bofeng Zhang:
Multi-label Recommendation of Web Services with the Combination of Deep Neural Networks. CollaborateCom 2019: 133-150 - [e5]Honghao Gao, Yuyu Yin, Xiaoxian Yang, Huaikou Miao:
Testbeds and Research Infrastructures for the Development of Networks and Communications - 13th EAI International Conference, TridentCom 2018, Shanghai, China, December 1-3, 2018, Proceedings. Lecture Notes of the Institute for Computer Sciences, Social Informatics and Telecommunications Engineering 270, Springer 2019, ISBN 978-3-030-12970-5 [contents] - 2018
- [j15]Lei Xie, Shengbo Chen, Wenfeng Shen, Huaikou Miao:
A Novel Self-Adaptive VM Consolidation Strategy Using Dynamic Multi-Thresholds in IaaS Clouds. Future Internet 10(6): 52 (2018) - [j14]Honghao Gao, Huaikou Miao, Lilan Liu, Jinyu Kai, Kun Zhao:
Automated Quantitative Verification for Service-Based System Design: A Visualization Transform Tool Perspective. Int. J. Softw. Eng. Knowl. Eng. 28(10): 1369-1397 (2018) - [j13]Weiwei Lin
, Hongwei Zeng, Honghao Gao
, Huaikou Miao
, Xiaolin Wang
:
Test Sequence Reduction of Wireless Protocol Conformance Testing to Internet of Things. Secur. Commun. Networks 2018: 3723691:1-3723691:13 (2018) - [c118]Guobing Zou, Shengye Pang, Pengwei Wang, Huaikou Miao, Sen Niu, Yanglan Gan, Bofeng Zhang:
Neighborhood-Based Uncertain QoS Prediction of Web Services via Matrix Factorization. CollaborateCom 2018: 659-675 - [c117]Yu Wong, Hongwei Zeng, Huaikou Miao, Honghao Gao, Xiaoxian Yang:
The Cuckoo Search and Integer Linear Programming Based Approach to Time-Aware Test Case Prioritization Considering Execution Environment. CollaborateCom 2018: 734-754 - [c116]Zhoujie Du, Huaikou Miao:
Research Review on Web Service Composition Testing. SOFL+MSVL 2018: 39-51 - 2017
- [j12]Honghao Gao
, Yucong Duan, Huaikou Miao, Yuyu Yin:
An Approach to Data Consistency Checking for the Dynamic Replacement of Service Process. IEEE Access 5: 11700-11711 (2017) - [j11]Weng Wen, Huaikou Miao:
Research on Service Recommendation Reliability in mobile computing. Int. J. Networked Distributed Comput. 5(3): 152-163 (2017) - [c115]Lei Xiao, Huaikou Miao, Weiwei Zhuang, Shaojun Chen:
An empirical study on clustering approach combining fault prediction for test case prioritization. ICIS 2017: 815-820 - [c114]Haibo Li, Huahu Xu, Honghao Gao, Minjie Bian, Huaikou Miao:
A 3D Registration Method Based on Indoor Positioning Through Networking. CollaborateCom 2017: 333-343 - [c113]Yihai Chen, Bofang Zhang, Ridha Khédri, Huaikou Miao:
A Framework for Multi-view Reconciliation and for Medical Devices Personalization. ICFEM 2017: 71-87 - [c112]Haoyu Liu, Huahu Xu, Honghao Gao, Minjie Bian, Huaikou Miao:
An Novel Approach to Evaluate the Reliability of Cloud Rendering System Using Probabilistic Model Checker PRISM: A Quantitative Computing Perspective. MobiQuitous 2017: 78-85 - [c111]Weng Wen, Huaikou Miao:
Research on service recommendation reliability in mobile computing. SERA 2017: 345-350 - 2016
- [j10]Ying Li, Huaikou Miao:
Guest Editors' Introduction. Int. J. Softw. Eng. Knowl. Eng. 26(4): 537-538 (2016) - [c110]Shengbo Chen, Hao Fu, Huaikou Miao:
Formal verification of security protocols using Spin. ICIS 2016: 1-6 - [c109]Honghao Gao, Huaikou Miao, Yucong Duan, Jinyu Kai:
Applying Probabilistic Model Checking to Service Discovery Framework. SCC 2016: 782-785 - [c108]Weimin Li, Shu Jiang, Huaikou Miao, Xiaokang Zhou, Qun Jin:
Overlap Community Detection Based on Node Convergence Degree. DASC/PiCom/DataCom/CyberSciTech 2016: 163-167 - [c107]Weng Wen, Huaikou Miao:
Context-Based Service Recommendation System Using Probability Model in Mobile Devices. ES 2016: 178-182 - [c106]Gongzhu Hu, Tan Xi, Faraz Mohammed, Huaikou Miao:
Classification of wine quality with imbalanced data. ICIT 2016: 1712-1217 - [c105]Lei Xiao, Huaikou Miao, Weiwei Zhuang, Shaojun Chen:
Applying Assemble Clustering Algorithm and Fault Prediction to Test Case Prioritization. SATE 2016: 108-116 - [c104]Chengyang Mi, Huaikou Miao, Jinyu Kai, Honghao Gao:
Reliability modeling and verification of BPEL-based web services composition by probabilistic model checking. SERA 2016: 149-154 - [c103]Qingguo Xu, Huaikou Miao, Robert de Simone, Julien DeAntoni
:
Instant-Based and State-Based Analysis of Infinite Logical Clock. SOFL+MSVL 2016: 32-51 - [c102]Xi Wang, Huaikou Miao, Weikai Miao:
Automated Safety Analysis on Scenario-Based Requirements for Train Control System. SOFL+MSVL 2016: 55-73 - 2015
- [j9]Shengbo Chen, Dashen Sun, Huaikou Miao:
The Influence of Alias and References Escape on Java Program Analysis. Int. J. Networked Distributed Comput. 3(1): 11-20 (2015) - [j8]Jinyu Kai, Huaikou Miao, Kun Zhao, Jiaan Zhou, Honghao Gao:
A Platform for Analyzing Behaviors of Service-Oriented Application Based on the Probabilistic Model Checking. Int. J. Softw. Innov. 3(2): 24-38 (2015) - [j7]Longhui Chang, Huaikou Miao, Lei Xiao:
基于历史信息的自适应测试用例优先级技术 (Self-adaptive Test Case Prioritization Based on History Information). 计算机科学 42(9): 154-158 (2015) - [j6]Jinyu Kai, Huaikou Miao, Honghao Gao:
Web服务计算组合流程QoS验证 (Verification QoS of Web Services Compositional Processes). 计算机科学 42(12): 120-123 (2015) - [c101]Zhuang Li, Huaikou Miao:
Formal specification and reasoning for situated multi-agent system. ICIS 2015: 455-460 - [c100]Kun Zhao, Huaikou Miao, Jinyu Kai, Jiaan Zhou, Honghao Gao:
A Visual Modeling and Transformation Tool for Multiple Representations of Probabilistic Behavior Model. ACIT-CSI 2015: 73-78 - [c99]Jiaan Zhou, Huaikou Miao, Jinyu Kai, Kun Zhao, Honghao Gao:
Survivability prediction of web system based on log statistics. SNPD 2015: 13-18 - [c98]Mao Huang, Yihai Chen, Ridha Khédri, Huaikou Miao:
The Interchange Format of Tabular Expressions Using XML. SOFL+MSVL 2015: 29-43 - 2014
- [j5]Gongzheng Lu, Huaikou Miao:
An Approach to Generating Test Data for EFSM Paths Considering Condition Coverage. Electron. Notes Theor. Comput. Sci. 309: 13-29 (2014) - [c97]Shengbo Chen, Dashen Sun, Huaikou Miao, Hongwei Zeng:
Modeling and Testing of GUIs Using IOLTS. APSEC (1) 2014: 35-42 - [c96]Honghao Gao, Huaikou Miao, Hongwei Zeng:
Service Reconfiguration Architecture Based on Probabilistic Modeling Checking. ICWS 2014: 714-715 - [c95]Min Zeng, Pan Liu, Huaikou Miao:
The Design and Implementation of a Modeling Tool for Regular Expressions. IIAI-AAI 2014: 726-731 - [c94]Jinyu Kai, Huaikou Miao, Honghao Gao:
A requirements description language pLSC for probabilistic branches and three-stage events. SNPD 2014: 1-6 - [c93]Longhui Chang, Huaikou Miao, Gongzheng Lu:
An Implementation Framework for Optimizing Test Case Generation Using Model Checking. SOFL+MSVL 2014: 3-16 - [c92]Shengbo Chen, Dashen Sun, Huaikou Miao:
The Influence of Alias and References Escape on Java Program Analysis. Software Engineering Research, Management and Applications 2014: 99-111 - 2013
- [j4]Honghao Gao, Huaikou Miao:
Research on the dynamic reconfiguration of Web application using two-phase compatibility verification. Int. J. Comput. Math. 90(11): 2265-2278 (2013) - [j3]Yang Liu, Huaikou Miao, Hongwei Zeng, Yan Ma, Pan Liu:
Nondeterministic Probabilistic Petri Net - A New Method to Study Qualitative and Quantitative Behaviors of System. J. Comput. Sci. Technol. 28(1): 203-216 (2013) - [c91]Huaikou Miao:
An approach to service dynamic reconfiguration using probabilistic model checking. ICIS 2013: 3 - [c90]Beilei Liang, Pan Liu, Huaikou Miao:
Scenario specification based testing model generation. ICIS 2013: 335-340 - [c89]Ruifeng Chen, Huaikou Miao:
A Selenium based approach to automatic test script generation for refactoring JavaScript code. ICIS 2013: 341-346 - [c88]Chao Chen, Huaikou Miao, Yihai Chen:
Concept Analysis Based Approach to Statistical Web Testing. Theories of Programming and Formal Methods 2013: 100-117 - [c87]Chao Chen, Yihai Chen, Huaikou Miao, Hao Wang
:
Usage-pattern based Statistical Web Testing and Reliability Measurement. EUSPN/ICTH 2013: 140-147 - [c86]Zhuang Li, Huaikou Miao:
Introducing Agents in Multi-agent System with Superposition Refinement. SNPD 2013: 342-347 - [c85]Honghao Gao, Huaikou Miao:
A Quantitative Model-Based Selection of Web Service Reconfiguration. SNPD 2013: 365-371 - [c84]Pan Liu, Huaikou Miao:
Theory of Test Modeling Based on Regular Expressions. SOFL+MSVL 2013: 17-31 - [c83]Gongzheng Lu, Huaikou Miao:
Feasibility Analysis of the EFSM Transition Path Combining Slicing with Theorem Proving. TASE 2013: 153-156 - 2012
- [c82]Dandan Sun, Huaikou Miao, Shengbo Chen, Honghao Gao:
An Approach to Modeling and Verifying Router-Based Network. SNPD 2012: 283-288 - [c81]Shengwei Xu, Huaikou Miao, Honghao Gao:
Test Suite Reduction Using Weighted Set Covering Techniques. SNPD 2012: 307-312 - [e4]Huaikou Miao, Roger Y. Lee, Hongwei Zeng, Jongmoon Baik:
2012 IEEE/ACIS 11th International Conference on Computer and Information Science, Shanghai, China, May 30 - June 1, 2012. IEEE Computer Society 2012, ISBN 978-1-4673-1536-4 [contents] - 2011
- [c80]Xi Wang, Shaoying Liu, Huaikou Miao:
A Pattern-Based Approach to Formal Specification Construction. FGIT-ASEA/DRBC/EL 2011: 159-168 - [c79]Shengbo Chen, Huaikou Miao, Bo Song:
AGT4W: Automatic Generating Tests for Web Applications. ICFCE 2011: 885-892 - [c78]Yang Liu, Huaikou Miao, Hongwei Zeng, Zhuang Li:
Probabilistic Petri Net and its Logical Semantics. SERA 2011: 73-78 - [c77]Honghao Gao, Huaikou Miao, Shengbo Chen, Jia Mei:
Probabilistic Timed Model Checking for Atomic Web Service. SERVICES 2011: 459-466 - [c76]Honghao Gao, Huaikou Miao, Hongwei Zeng:
Research on Web Service Composition Using Probabilistic Abstraction Refinement. TASE 2011: 161-168 - [c75]Shengbo Chen, Huaikou Miao:
Modeling and Verifying for Frameset-Based Web Applications. TASE 2011: 177-184 - 2010
- [j2]Jia Mei, Huaikou Miao, Yihai Chen, Honghao Gao:
Verifying Web Services Composition Based on Interface Automata Using SPIN. J. Digit. Content Technol. its Appl. 4(8): 23-33 (2010) - [c74]Xiaokang Zhou, Huaikou Miao:
Axiomatic Assessment of FSM-Based Test Adequacy Criteria for Web Application. ACIS-ICIS 2010: 763-769 - [c73]Jia Mei, Huaikou Miao, Qingguo Xu, Pan Liu:
Modeling and Verifying Web Service Applications with Time Constraints. ACIS-ICIS 2010: 791-795 - [c72]Nduwimfura Philbert, Dong Xu, Huaikou Miao, Zhou Lei, Bo Chen:
Reasoning on Formalizing WS-CDL Mobility Using Process Algebra. APSCC 2010: 676-682 - [c71]Pan Liu, Huaikou Miao:
A New Approach to Generating High Quality Test Cases. Asian Test Symposium 2010: 71-76 - [c70]Xi Wang, Shaoying Liu, Huaikou Miao:
A Pattern System to Support Refining Informal Ideas into Formal Expressions. ICFEM 2010: 662-677 - [c69]Yihai Chen, Huaikou Miao:
The Application of Moodle in Computer English Teaching. ICWL Workshops 2010: 169-176 - [c68]Liping Li, Huaikou Miao, Shengbo Chen:
Test Generation for Web Applications Using Model-Checking. SNPD 2010: 237-242 - [c67]Zhongyu Chen, Jichang Zhang, Huaikou Miao, Zhenghu Guo:
A Formal Modeling for Component Behaviors Based on Event Track. SOSE 2010: 113-116 - [c66]Huaikou Miao, Pan Liu, Jia Mei:
An Improved Algorithm for Building the Characterizing Set. TASE 2010: 67-74 - [c65]Shengbo Chen, Huaikou Miao, Bo Song, Yihai Chen:
Towards Practical Modeling of Web Applications and Generating Tests. TASE 2010: 209-217 - [p3]Hongwei Zeng, Huaikou Miao:
Deadlock Detection for Parallel Composition of Components. Computer and Information Science 2010: 23-34
2000 – 2009
- 2009
- [c64]Pan Liu, Huaikou Miao, Qing Li:
A Common Acquaintance Immunization Strategy for Complex Network. ACIS-ICIS 2009: 713-717 - [c63]Dong Xu, Huaikou Miao, Nduwimfura Philbert:
Model Checking UML Activity Diagrams in FDR. ACIS-ICIS 2009: 1035-1040 - [c62]Tao He, Huaikou Miao, Liping Li:
A Web Service Composition Method Based on Interface Matching. ACIS-ICIS 2009: 1150-1154 - [c61]Bin Zhu, Huaikou Miao, Bo Song:
User-interface Design of Web Application Using Object-Z. ACIS-ICIS 2009: 1200-1204 - [c60]Tao He, Huaikou Miao, Liping Li:
Analysis and Composition of Web Components Based on p-Calculus. CSO (1) 2009: 677-679 - [c59]Xiaolei Gao, Huaikou Miao:
Proving Total Correctness of Refinement Based on Tableau. ISPA 2009: 702-707 - [c58]Huaikou Miao, Pan Liu, Jia Mei, Hongwei Zeng:
A New Approach to Automated Redundancy Reduction for Test Sequences. PRDC 2009: 93-98 - [c57]Zhongyu Chen, Huaikou Miao:
An Abstract Approach to Describing Scenario-Based Specifications. SERA 2009: 127-131 - [c56]Qingguo Xu, Huaikou Miao:
Manipulating Clocks in Timed Automata Using PVS. SNPD 2009: 555-560 - [c55]Jia Mei, Huaikou Miao, Pan Liu:
A Novel Approach for On-the-Fly Test Cases Synthesis. SNPD 2009: 575-578 - [c54]Bin Zhu, Huaikou Miao, Lizhi Cai:
Testing a Web Application Involving Web Browser Interaction. SNPD 2009: 589-594 - [c53]Bo Song, Huaikou Miao:
Modeling Web Applications and Generating Tests: A Combination and Interactions-guided Approach. TASE 2009: 174-181 - [p2]Huaikou Miao, Tao He, Liping Li:
Formal Semantics of OWL-S with F-Logic. Computer and Information Science 2009: 105-117 - [p1]Bo Song, Huaikou Miao, Bin Zhu:
Extracting Database Interactions and Generating Test for Web Applications. Computer and Information Science 2009: 203-212 - [e3]Huaikou Miao, Gongzhu Hu:
8th IEEE/ACIS International Conference on Computer and Information Science, IEEE/ACIS ICIS 2009, June 1-3, 2009, Shanghai, China. IEEE Computer Society 2009, ISBN 978-0-7695-3641-5 [contents] - [e2]Roger Y. Lee, Gongzhu Hu, Huaikou Miao:
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]. Studies in Computational Intelligence 208, Springer 2009, ISBN 978-3-642-01208-2 [contents] - 2008
- [j1]Xi Wang, Huaikou Miao, Liang Guo:
Towards Automatic Transformation from UML Model to FSM Model for Web Applications. J. Softw. Eng. Appl. 1(1): 68-75 (2008) - [c52]Shengbo Chen, Huaikou Miao, Zhong-sheng Qian:
Modeling and Verifying Web Browser Interactions. APSEC 2008: 351-358 - [c51]Yongmei Lei, Huaikou Miao, Lijie Li:
Research of a Grid-enabled Parallel Computational Model and Algorithm Implementation. ChinaGrid 2008: 311-316 - [c50]Bo Song, Huaikou Miao, Shengbo Chen:
Modeling Web Browser Interactions and Generating Tests. CIS (2) 2008: 399-404 - [c49]Xi Wang, Liang Guo, Huaikou Miao:
An Approach to Transforming UML Model to FSM Model for Automatic Testing. CSSE (2) 2008: 251-254 - [c48]Zhongyu Chen, Huaikou Miao, Bo Song:
A New Formal Modeling Approach for Requirement. CSSE (2) 2008: 267-270 - [c47]Minghui Wang, Jie Yuan, Huaikou Miao, Gemiao Tan:
A Static Analysis Approach for Automatic Generating Test Cases for Web Applications. CSSE (2) 2008: 751-754 - [c46]Xiaolei Gao, Huaikou Miao:
The Axiomatic Semantics of PDFD. FCST 2008: 139-146 - [c45]Xiaoxia Cao, Huaikou Miao, Qingguo Xu:
Verifying Service-Oriented Requirements Using Model Checking. ICEBE 2008: 643-648 - [c44]Huaikou Miao, Tao He, Zhong-sheng Qian:
Modeling and Analyzing Composite Semantic Web Service Using Petri Nets. ICEBE 2008: 660-664 - [c43]Tao He, Huaikou Miao:
Modeling and Composition of Web Application Components using Extended FSM. ICNC (6) 2008: 363-368 - [c42]Xinlin Zhang, Huaikou Miao, Shenghong Li:
An Approach to Checking the Compatibility for Web Services Specification Based on the Typed Graph Category. ICYCS 2008: 416-421 - [c41]Liping Li, Huaikou Miao, Zhong-sheng Qian:
A UML-Based Approach to Testing Web Applications. ISCSCT (2) 2008: 397-401 - [c40]Huaikou Miao, Xiaoxia Cao, Zhong-sheng Qian:
Refining Service-Oriented Model Using Interpretation Mapping. SOSE 2008: 85-90 - [c39]Xiaoxia Cao, Huaikou Miao, Qingguo Xu:
Modeling and Refining the Service-Oriented Requirement. TASE 2008: 159-165 - [c38]Huaikou Miao, Zhong-sheng Qian, Bo Song:
Towards Automatically Generating Test Paths for Web Application Testing. TASE 2008: 211-218 - 2007
- [c37]Huaikou Miao, Zhong-sheng Qian, Tao He:
Modeling Web Browser Interactions Using FSM. APSCC 2007: 211-217 - [c36]Huaikou Miao, Shengbo Chen, Zhong-sheng Qian:
A Formal Open Framework Based on Agent for Testing Web Applications. CIS 2007: 281-285 - [c35]Shengbo Chen, Huaikou Miao, Qingguo Xu:
Mailbox-Based Communications Scheme for Mobile Agent Overloading-balance and Message-priority. GCC 2007: 566-573 - [c34]Zhong-sheng Qian, Huaikou Miao, Tao He:
An Approach to Modeling Hypermedia Web Applications. GCC 2007: 847-854 - [c33]Junfeng Wu, Huaikou Miao:
A Rewriting Based Model for Nondeterministic Composite Web Service System. ICEBE 2007: 492-499 - [c32]Huaikou Miao, Hongwei Zeng:
Model Checking-based Verification of Web Application. ICECCS 2007: 47-55 - [c31]Hongwei Zeng, Huaikou Miao:
Auto-Generating Test Sequences for Web Applications. ICWE 2007: 301-305 - [c30]Shengbo Chen, Huaikou Miao, Zhong-sheng Qian:
Location Transparent Communications in Mobile Agent Systems. IITA 2007: 200-205 - [c29]