Skip navigation
中文
English
DSpace
CRIS
首頁
單位
研究人員
研究成果檢索
計畫
分類瀏覽
單位
研究人員
研究成果檢索
計畫
學術出版
幫助
登入
中文
English
Scholars Hub of the Academia Sinica
研究成果檢索
瀏覽 的方式： 作者
Farn Wang
或是輸入前幾個字：
跳到：
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
顯示 1 到 11 筆資料，總共 11 筆
公開日期
題名
作者
關聯
scopus
WOS
全文
2001
Clock Restriction Diagram: Yet Another Data-Structure for Fully Symbolic Verification of Timed Automata
Farn Wang
TR-IIS-01-002
2015
CPArec: Verifying Recursive Programs via Source-to-Source Program Transformation
Yu-Fang Chen; Chiao Hsieh; Ming-Hsien Tsai; Bow-Yaw Wang; Farn Wang
2002
Efficient Verification of Timed Automata with BDD-like Data-Structures
Farn Wang
TR-IIS-02-009
2002
Numerical Coverage Estimation for the Symbolic Simulation of Real-Time Systems
Farn Wang; Geng-Dian Hwang; Fang Yu
TR-IIS-02-014
2002
OVL Assertion-Checking of Embedded Softwares with Dense-Time Semantics
Farn Wang; Fang Yu
TR-IIS-02-011
2016
PAC learning-based verification and model synthesis
Yu-Fang Chen; Chiao Hsieh; Ondrej Lengál; Tsung-Ju Lii; Ming-Hsien Tsai; Bow-Yaw Wang; Farn Wang
2001
Parametric Optimization of Open Real-Time Systems
Farn Wang
TR-IIS-01-003
2000
Region Encoding Diagram for Fully Symbolic Verification of Real-Time Systems
Farn Wang
TR-IIS-00-001
2002
Symbolic Simulation of Real-Time Concurrent Systems
Farn Wang; Geng-Dian Hwang
TR-IIS-02-008
2002
Symmetric Symbolic Safety-Analysis of Concurrent Software with Pointer Data Structure
Farn Wang; Karsten Schmidt
TR-IIS-02-010
2003
TCTL Inevitability Analysis of Dense-time Systems
Farn Wang; Geng-Dian Hwang; Fang Yu
TR-IIS-03-006
