Skip navigation
中文
English
DSpace
CRIS
首頁
單位
研究人員
研究成果檢索
計畫
分類瀏覽
單位
研究人員
研究成果檢索
計畫
學術出版
幫助
登入
中文
English
Scholars Hub of the Academia Sinica
研究成果檢索
瀏覽 的方式: 作者
Fei He
或是輸入前幾個字:
跳到:
0-9
A
B
C
D
E
F
G
H
I
J
K
L
M
N
O
P
Q
R
S
T
U
V
W
X
Y
Z
排序方式:
升冪
降冪
結果/頁面:
5
10
15
20
25
30
35
40
45
50
55
60
65
70
75
80
85
90
95
100
作者/紀錄:
全部
1
5
10
15
20
25
30
35
40
45
50
顯示 2 到 9 筆資料,總共 9 筆
< 上一頁
公開日期
題名
作者
關聯
scopus
WOS
全文
2010
Comparing Learning Algorithms in Automated Assume-Guarantee Reasoning.
Yu-Fang Chen; Edmund M. Clarke; Azadeh Farzan; Fei He; Ming-Hsien Tsai; Yih-Kuen Tsay; Bow-Yaw Wang; Lei Zhu
2016
Learning-Based Assume-Guarantee Regression Verification
Fei He; Shu Mao; Bow-Yaw Wang
2015
Leveraging Weighted Automata in Compositional Reasoning about Concurrent Probabilistic Systems
Fei He; Xiaowei Gao; Bow-Yaw Wang; Lijun Zhang
2010
On Array Theory of Bounded Elements
Min Zhou; Fei He; Bow-Yaw Wang; Ming Gu
2017
PSpec: a formal specification language for fine-grained control on distributed data analytics
Chen Luo; Fei He; Dong Yan; Dan Zhang; Xin Zhou; Bow-Yaw Wang
2014
Symbolic Assume-Guarantee Reasoning through BDD Learning
Fei He; Bow-Yaw Wang; Liangze Yin; Lei Zhu
2012
Thread-Modular Model Checking with Iterative Refinement
Wenrui Meng; Fei He; Bow-Yaw Wang
; Qiang Liu
2013
VCS: A Verifier for Component-Based Systems
Fei He; Liangze Yin; Bow-Yaw Wang; Lianyi Zhang; Guanyu Mu; Wenrui Meng