Articoli con mandati relativi all'accesso pubblico - Professor Zhiming Liu - 刘志明Ulteriori informazioni
Non disponibili pubblicamente: 10
Linking Formal Methods in Software Development: A Reflection on the Development of rCOS
Z Liu
Theories of Programming and Formal Methods: Essays Dedicated to Jifeng He on …, 2023
Mandati: National Natural Science Foundation of China
A contract-based semantics and refinement for Simulink
Q Sun, W Zhang, C Wang, Z Liu
International Symposium on Dependable Software Engineering: Theories, Tools …, 2022
Mandati: National Natural Science Foundation of China
Towards correctness proof for hybrid Simulink block diagrams
W Zhang, Q Sun, C Wang, Z Liu
Journal of Systems Architecture 141, 102922, 2023
Mandati: National Natural Science Foundation of China
Toward Efficient Block Replication Management in Distributed Storage
J Liao, Z Sha, Z Cai, Z Liu, K Li, WK Liao, AN Choudhary, Y Ishiakwa
ACM Transactions on Modeling and Performance Evaluation of Computing Systems …, 2020
Mandati: National Natural Science Foundation of China
A Tool for Analyzing Clinical Datasets as Blackbox
N Qamar, Y Yang, A Nadas, Z Liu, J Sztipanovits
Software Engineering in Health Care: 4th International Symposium, FHIES 2014 …, 2017
Mandati: US National Science Foundation
Multi-dimensional Abstraction and Decomposition for Separation of Concerns
Z Liu, J Teng, B Liu
International Symposium on Dependable Software Engineering: Theories, Tools …, 2023
Mandati: National Natural Science Foundation of China
Formal Aspects of Component Software: An Overview on Concepts and Relations of Different Theories
Z Liu, J Teng, B Liu
International Conference on Formal Aspects of Component Software, 168-193, 2023
Mandati: National Natural Science Foundation of China
A contract-based semantics and refinement for hybrid Simulink block diagrams
Q Sun, W Zhang, C Wang, Z Liu
Journal of Systems Architecture 143, 102963, 2023
Mandati: National Natural Science Foundation of China
Modeling Workflow for Judicial Business Processes: A Use Case Driven Method
T Zhang, X Zeng, Z Liu
2021 7th International Conference on Information Management (ICIM), 45-56, 2021
Mandati: National Natural Science Foundation of China
基于肿瘤靶向MoO2纳米聚集体的近红外区深组织光热治疗
Y Guo, Y Li, W Zhang, H Zu, H Yu, D Li, H Xiong, TT Hormel, C Hu, Z Guo, ...
Science China Materials 63, 1085-1098, 2020
Mandati: National Natural Science Foundation of China
Disponibili pubblicamente: 38
Identifying microservices using functional decomposition
S Tyszberowicz, R Heinrich, B Liu, Z Liu
Dependable Software Engineering. Theories, Tools, and Applications: 4th …, 2018
Mandati: German Research Foundation
Synthesizing barrier certificates using neural networks
H Zhao, X Zeng, T Chen, Z Liu
Proceedings of the 23rd international conference on hybrid systems …, 2020
Mandati: National Natural Science Foundation of China
Human-cyber-physical systems: concepts, challenges, and research opportunities
Z Liu, J Wang
Frontiers of Information Technology & Electronic Engineering 21 (11), 1535-1553, 2020
Mandati: National Natural Science Foundation of China
Regular property guided dynamic symbolic execution
Y Zhang, Z Chen, J Wang, W Dong, Z Liu
2015 IEEE/ACM 37th IEEE International Conference on Software Engineering 1 …, 2015
Mandati: National Natural Science Foundation of China
Learning safe neural network controllers with barrier certificates
H Zhao, X Zeng, T Chen, Z Liu, J Woodcock
Formal Aspects of Computing 33, 437-455, 2021
Mandati: US National Science Foundation, National Natural Science Foundation of China
Medshare: a novel hybrid cloud for medical resource sharing among autonomous healthcare providers
Y Yang, X Li, N Qamar, P Liu, W Ke, B Shen, Z Liu
IEEE Access 6, 46949-46961, 2018
Mandati: National Natural Science Foundation of China
Robustness verification of classification deep neural networks via linear programming
W Lin, Z Yang, X Chen, Q Zhao, X Li, Z Liu, J He
Proceedings of the IEEE/CVF Conference on Computer Vision and Pattern …, 2019
Mandati: National Natural Science Foundation of China
Component-based modelling for scalable smart city systems interoperability: A case study on integrating energy demand response systems
E Palomar, X Chen, Z Liu, S Maharjan, J Bowen
Sensors 16 (11), 1810, 2016
Mandati: National Natural Science Foundation of China
Automated prototype generation from formal requirements model
Y Yang, X Li, W Ke, Z Liu
IEEE Transactions on Reliability 69 (2), 632-656, 2019
Mandati: National Natural Science Foundation of China
A linear programming relaxation based approach for generating barrier certificates of hybrid systems
Z Yang, C Huang, X Chen, W Lin, Z Liu
FM 2016: Formal Methods: 21st International Symposium, Limassol, Cyprus …, 2016
Mandati: National Natural Science Foundation of China
Le informazioni sulla pubblicazione e sul finanziamento vengono stabilite automaticamente da un software