Huanhuan Sheng

Publication Activity (10 Years)

Years Active: 2018-2023
Publications (10 Years): 7

Top Topics

Top Venues

Publications

Huanhuan Sheng, Alexander Bentkamp, Bohua Zhan
HHLPy: Practical Verification of Hybrid Systems Using Hoare Logic. FM (2023)
Stefan Mitsch, Huanhuan Sheng, Bohua Zhan, Shuling Wang, Simon Foster, Jonathan Julián Huerta y Munive
ARCH-COMP23 Category Report: Hybrid Systems Theorem Proving. ARCH (2023)
Stefan Mitsch, Bohua Zhan, Huanhuan Sheng, Alexander Bentkamp, Xiangyu Jin, Shuling Wang, Simon Foster, Christian Pardillo Laursen, Jonathan Julián Huerta y Munive
ARCH-COMP22 Category Report: Hybrid Systems Theorem Proving. ARCH@SAFECOMP (2022)
Huanhuan Sheng, Alexander Bentkamp, Bohua Zhan
HHLPy: Practical Verification of Hybrid Systems using Hoare Logic. CoRR (2022)
Ziheng Zhou, Hong Guo, Yuwen Guo, Huanhuan Sheng
Synthesis and Segmentation Method of Cross-Staining Style Nuclei Pathology Image Based on Adversarial Learning. ISPA/BDCloud/SocialCom/SustainCom (2021)
Wei Hu, Huanhuan Sheng, Jing Wu, Yining Li, Tianyi Liu, Yonghao Wang, Yuan Wen
Generative Adversarial Training for Weakly Supervised Nuclei Instance Segmentation. SMC (2020)
Huanhuan Sheng, Xiang Fan, Wei Hu, Xing Liu, Kai Zhang
Economic Incentive Structure for Blockchain Network. SmartBlock (2018)