Fei He

Fei He

Tsinghua University - Beijing / China
Others
AD Scientific Index ID: 735001
清华大学
person_outline Fei He's MOST POPULAR ARTICLES
1-) Exponential-condition-based barrier certificate generation for safety verification of hybrid systemsH Kong, F He, X Song, WNN Hung, M GuInternational Conference on Computer Aided Verification, 242-257, 2013932013
2-) Formal analysis of publish-subscribe systems by probabilistic timed automataF He, L Baresi, C Ghezzi, P SpoletiniInternational Conference on Formal Techniques for Networked and Distributed …, 2007462007
3-) Conflict resolution for structured merge via version space algebraF Zhu, F HeProceedings of the ACM on Programming Languages 2 (OOPSLA), 1-25, 2018362018
4-) Verification of implementations of cryptographic hash functionsD Wang, Y Jiang, H Song, F He, M Gu, J SunIEEE Access 5, 7816-7825, 2017362017
5-) Translation-based model checking for PLC programsM Zhou, F He, M Gu, X Song2009 33rd Annual IEEE International Computer Software and Applications …, 2009252009