Skip navigation
中文
English
DSpace
CRIS
Home
Organizations
Researchers
Research Outputs
Projects
Explore by
Organizations
Researchers
Research Outputs
Projects
Academic & Publications
Help
Sign in
中文
English
Scholars Hub of the Academia Sinica
Research Outputs
Browsing by Author
Farn Wang
or enter first few letters:
Jump to:
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
Sort by:
Ascending
Descending
Results/Page:
5
10
15
20
25
30
35
40
45
50
55
60
65
70
75
80
85
90
95
100
Authors/Records:
All
1
5
10
15
20
25
30
35
40
45
50
Showing results 1 to 11 of 11
Issue Date
Title
Author(s)
Relation
scopus
WOS
Fulltext/Archive link
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
