BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
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


Contributed to:

POPL 20152015
ICSE 20142014
CAV 20132013
CAV 20102010
ASE 20182018
OOPSLA 20182018

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.

Bibliography of Software Language Engineering in Generated Hypertext (BibSLEIGH) is created and maintained by Dr. Vadim Zaytsev.
Hosted as a part of SLEBOK on GitHub.