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
Bow-Yaw 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 26 to 44 of 44
< previous
Issue Date
Title
Author(s)
Relation
scopus
WOS
Fulltext/Archive link
2006
Modeling and Analyzing Applications with Domain-Specific Languages by Reflective Rewriting: a Case Study
Bow-Yaw Wang
2006
Modular Formalization of Reactive Modules in Coq
Ming-Hsien Tsai; Bow-Yaw Wang
2004
Mu-Calculus Model Checking in Maude
Bow-Yaw Wang
2010
On Array Theory of Bounded Elements
Min Zhou; Fei He; Bow-Yaw Wang; Ming Gu
2006
On the Satisfiability of Modular Arithmetic Formula
Bow-Yaw Wang
TR-IIS-06-001
2006
On the Satisfiability of Modular Arithmetic Formulae
Bow-Yaw Wang
2016
Optimal Sanitization Synthesis for Web Application Vulnerability Repair
Fang Yu; Ching-Yuan Shueh; Chun-Han Lin; Yu-Fang Chen; Bow-Yaw Wang; Tevfik Bultan
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
2012
Predicate Generation for Learning-Based Quantifier-Free Loop Invariant Inference
Wonchan Lee; Yungbum Jung; Bow-Yaw Wang; Kwangkuen Yi
Logical Methods in Computer Science 8(3:25)
2011
Predicate Generation for Learning-Based Quantifier-Free Loop Invariant Inference
Yungbum Jung; Wonchan Lee; Bow-Yaw Wang; Kwangkeun Yi
2005
Proving∀µ -Calculus Properties with SAT-Based Model Checking
Bow-Yaw Wang
TR-IIS-05-003
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
2005
Specification of an Infinite-State Local Model Checker in Rewriting Logic
Bow-Yaw Wang
2014
Symbolic Assume-Guarantee Reasoning through BDD Learning
Fei He; Bow-Yaw Wang; Liangze Yin; Lei Zhu
2012
Termination Analysis with Algorithmic Learning
Wonchan Lee; Bow-Yaw Wang; Kwangkeun Yi
2004
Toward Unbounded Model Checking for Region Automata
Fang Yu; Bow-Yaw Wang
2013
VCS: A Verifier for Component-Based Systems
Fei He; Liangze Yin; Bow-Yaw Wang; Lianyi Zhang; Guanyu Mu; Wenrui Meng
2018
Verifying Arithmetic Assembly Programs in Cryptographic Primitives
Andy Polyakov; Ming-Hsien Tsai; Bow-Yaw Wang; Bo-Yin Yang
2014
Verifying Curve25519 Software
Yu-Fang Chen; Chang-Hong Hsu; Hsin-Hung Lin; Peter Schwabe; Ming-Hsien Tsai; Bow-Yaw Wang; Bo-Yin Yang; Shang-Yi Yang