Travelled to:
1 × Russia
1 × United Kingdom
2 × India
Collaborated with:
B.Wang J.Chen Fengmin Zhu M.Gu X.Gao L.Zhang L.Yin L.Zhu M.Zhou H.Kong X.Song W.N.N.Hung
Talks about:
system (2) reason (2) verif (2) probabilist (1) exponenti (1) structur (1) guarante (1) conflict (1) composit (1) automata (1)
Person: Fei He
DBLP: He:Fei
Contributed to:
Wrote 6 papers:
- POPL-2015-HeGWZ #automaton #composition #concurrent #probability #reasoning
- Leveraging Weighted Automata in Compositional Reasoning about Concurrent Probabilistic Systems (FH, XG, BYW, LZ), pp. 503–514.
- ICSE-2014-HeWYZ #learning #reasoning
- Symbolic assume-guarantee reasoning through BDD learning (FH, BYW, LY, LZ), pp. 1071–1082.
- CAV-2013-KongHSHG #generative #hybrid #safety #verification
- Exponential-Condition-Based Barrier Certificate Generation for Safety Verification of Hybrid Systems (HK, FH, XS, WNNH, MG), pp. 242–257.
- CAV-2010-ZhouHWG #array #bound #on the
- On Array Theory of Bounded Elements (MZ, FH, BYW, MG), pp. 570–584.
- ASE-2018-ChenH #control flow #smt #verification
- Control flow-guided SMT solving for program verification (JC, FH), pp. 351–361.
- OOPSLA-2018-ZhuH #algebra
- Conflict resolution for structured merge via version space algebra (FZ, FH), p. 25.