Author of the publication

Report on the international symposium on high confidence software (ISHCS 2011/2012).

, , and . ACM SIGSOFT Softw. Eng. Notes, 38 (4): 27-33 (2013)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

 

Other publications of authors with the same name

Mining Effective Temporal Specifications from Heterogeneous API Data., , , and . J. Comput. Sci. Technol., 26 (6): 1061-1075 (2011)Model Based Monitoring and Controlling for Platform-as-a-Service (PaaS)., , and . Int. J. Cloud Appl. Comput., 2 (1): 1-15 (2012)Toward Ubiquitous Operating Systems: A Software-Defined Perspective., and . Computer, 51 (1): 50-56 (2018)A biting-down approach to hierarchical decomposition of object-oriented systems based on structure analysis., , , , and . J. Softw. Maintenance Res. Pract., 22 (8): 567-596 (2010)MUIT: A Domain-Specific Language and its Middleware for Adaptive Mobile Web-Based User Interfaces in WS-BPEL., , , , and . IEEE Trans. Serv. Comput., 12 (6): 955-969 (2019)Privacy preserving graph publication in a distributed environment., , , and . World Wide Web, 18 (5): 1481-1517 (2015)An agent-based approach to composing web services to support adaptable business processes., , , , and . Multiagent Grid Syst., 2 (4): 383-399 (2006)Tuning adaptive computations for the performance improvement of applications in JEE server., , , and . J. Internet Serv. Appl., 3 (2): 143-158 (2012)多核系统动态温度管理TAPE策略的形式化验证 (Formal Verification of TAPE Strategy for Dynamic Temperature Management in Multi-core System)., , and . 计算机科学, 44 (Z11): 542-546 (2017)Special Focus on Software Automation., and . Sci. China Inf. Sci., 62 (10): 200100:1 (2019)