| Exponential-condition-based barrier certificate generation for safety verification of hybrid systems H Kong, F He, X Song, WNN Hung, M Gu International Conference on Computer Aided Verification, 242-257, 2013 | 107 | 2013 |
| Formal analysis of publish-subscribe systems by probabilistic timed automata F He, L Baresi, C Ghezzi, P Spoletini Formal Techniques for Networked and Distributed Systems–FORTE 2007: 27th …, 2007 | 49 | 2007 |
| Verification of implementations of cryptographic hash functions D Wang, Y Jiang, H Song, F He, M Gu, J Sun IEEE Access 5, 7816-7825, 2017 | 38 | 2017 |
| Conflict resolution for structured merge via version space algebra F Zhu, F He Proceedings of the ACM on Programming Languages 2 (OOPSLA), 1-25, 2018 | 33 | 2018 |
| Translation-based model checking for PLC programs M Zhou, F He, M Gu, X Song 2009 33rd Annual IEEE International Computer Software and Applications …, 2009 | 24 | 2009 |
| Satisfiability modulo ordering consistency theory for multi-threaded program verification F He, Z Sun, H Fan Proceedings of the 42nd ACM SIGPLAN International Conference on Programming …, 2021 | 22 | 2021 |
| Integrating evolutionary computation with abstraction refinement for model checking F He, X Song, WNN Hung, M Gu, J Sun IEEE Transactions on Computers 59 (1), 116-126, 2009 | 18 | 2009 |
| Control flow-guided SMT solving for program verification J Chen, F He Proceedings of the 33rd ACM/IEEE International Conference on Automated …, 2018 | 17 | 2018 |
| Learning weighted assumptions for compositional verification of Markov decision processes F He, X Gao, M Wang, BY Wang, L Zhang ACM Transactions on Software Engineering and Methodology (TOSEM) 25 (3), 1-39, 2016 | 16 | 2016 |
| Inferring software behavioral models with MapReduce C Luo, F He, C Ghezzi Science of Computer Programming 145, 13-36, 2017 | 15 | 2017 |
| Compositional abstraction refinement for timed systems F He, H Zhu, WNN Hung, X Song, M Gu 2010 4th IEEE International Symposium on Theoretical Aspects of Software …, 2010 | 15 | 2010 |
| Interval counterexamples for loop invariant learning R Xu, F He, BY Wang Proceedings of the 28th ACM Joint Meeting on European Software Engineering …, 2020 | 14 | 2020 |
| Maxterm covering for satisfiability L Yin, F He, WNN Hung, X Song, M Gu IEEE Transactions on Computers 61 (3), 420-426, 2010 | 14 | 2010 |
| Enhancing precision of structured merge by proper tree matching F Zhu, F He, Q Yu 2019 IEEE/ACM 41st International Conference on Software Engineering …, 2019 | 13 | 2019 |
| Learning-based assume-guarantee regression verification F He, S Mao, BY Wang International Conference on Computer Aided Verification, 310-328, 2016 | 12 | 2016 |
| Estimating the volume of solution space for satisfiability modulo linear real arithmetic M Zhou, F He, X Song, S He, G Chen, M Gu Theory of Computing Systems 56 (2), 347-371, 2015 | 12 | 2015 |
| Array theory of bounded elements and its applications M Zhou, F He, BY Wang, M Gu, J Sun Journal of automated reasoning 52 (4), 379-405, 2014 | 12 | 2014 |
| Proving almost-sure termination by omega-regular decomposition J Chen, F He Proceedings of the 41st ACM SIGPLAN Conference on Programming Language …, 2020 | 11 | 2020 |
| On array theory of bounded elements M Zhou, F He, BY Wang, M Gu International Conference on Computer Aided Verification, 570-584, 2010 | 10 | 2010 |
| 可组合嵌入式软件建模与验证技术研究综述 王博， 白晓颖， 贺飞 软件学报 25 (2), 234-253, 2014 | 9* | 2014 |
William N. N. HungCadenceVerified email at alumni.utexas.net
