×
Author ID: wang.bow-yaw Recent zbMATH articles by "Wang, Bow-Yaw"
Published as: Wang, Bow-Yaw
Documents Indexed: 31 Publications since 1994
Co-Authors: 37 Co-Authors with 27 Joint Publications
1,009 Co-Co-Authors

Publications by Year

Citations contained in zbMATH Open

15 Publications have been cited 76 times in 64 Documents Cited by Year
Extending automated compositional verification to the full class of omega-regular languages. Zbl 1134.68406
Farzan, Azadeh; Chen, Yu-Fang; Clarke, Edmund M.; Tsay, Yih-Kuen; Wang, Bow-Yaw
24
2008
Learning minimal separating DFA’s for compositional verification. Zbl 1234.68166
Chen, Yu-Fang; Farzan, Azadeh; Clarke, Edmund M.; Tsay, Yih-Kuen; Wang, Bow-Yaw
20
2009
Deriving invariants by algorithmic learning, decision procedures, and predicate abstraction. Zbl 1248.68272
Jung, Yungbum; Kong, Soonho; Wang, Bow-Yaw; Yi, Kwangkeun
5
2010
Leveraging weighted automata in compositional reasoning about concurrent probabilistic systems. Zbl 1346.68133
He, Fei; Gao, Xiaowei; Wang, Bow-Yaw; Zhang, Lijun
5
2015
Array theory of bounded elements and its applications. Zbl 1314.03017
Zhou, Min; He, Fei; Wang, Bow-Yaw; Gu, Ming; Sun, Jiaguang
4
2014
Counterexample-guided polynomial loop invariant generation by Lagrange interpolation. Zbl 1381.68049
Chen, Yu-Fang; Hong, Chih-Duo; Wang, Bow-Yaw; Zhang, Lijun
3
2015
Proving \(\forall \mu\)-calculus properties with SAT-based model checking. Zbl 1169.68519
Wang, Bow-Yaw
3
2005
Predicate generation for learning-based quantifier-free loop invariant inference. Zbl 1315.68097
Jung, Yungbum; Lee, Wonchan; Wang, Bow-Yaw; Yi, Kwangkuen
2
2011
Verifying network protocol implementations by symbolic refinement checking. Zbl 0991.68546
Alur, Rajeev; Wang, Bow-Yaw
2
2001
Model checking differentially private properties. Zbl 1519.68137
Liu, Depeng; Wang, Bow-Yaw; Zhang, Lijun
2
2018
\(\mu\)-calculus model checking in Maude. Zbl 1272.68201
Wang, Bow-Yaw
2
2005
Automatically inferring loop invariants via algorithmic learning. Zbl 1361.68067
Jung, Yungbum; Kong, Soonho; David, Cristina; Wang, Bow-Yaw; Yi, Kwangkeun
1
2015
Automatic derivation of compositional rules in automated compositional reasoning. Zbl 1151.68491
Wang, Bow-Yaw
1
2007
Verifying arithmetic assembly programs in cryptographic primitives (invited talk). Zbl 1520.68078
Polyakov, Andy; Tsai, Ming-Hsien; Wang, Bow-Yaw; Yang, Bo-Yin
1
2018
Verifying Pufferfish privacy in hidden Markov models. Zbl 1498.68104
Liu, Depeng; Wang, Bow-Yaw; Zhang, Lijun
1
2022
Verifying Pufferfish privacy in hidden Markov models. Zbl 1498.68104
Liu, Depeng; Wang, Bow-Yaw; Zhang, Lijun
1
2022
Model checking differentially private properties. Zbl 1519.68137
Liu, Depeng; Wang, Bow-Yaw; Zhang, Lijun
2
2018
Verifying arithmetic assembly programs in cryptographic primitives (invited talk). Zbl 1520.68078
Polyakov, Andy; Tsai, Ming-Hsien; Wang, Bow-Yaw; Yang, Bo-Yin
1
2018
Leveraging weighted automata in compositional reasoning about concurrent probabilistic systems. Zbl 1346.68133
He, Fei; Gao, Xiaowei; Wang, Bow-Yaw; Zhang, Lijun
5
2015
Counterexample-guided polynomial loop invariant generation by Lagrange interpolation. Zbl 1381.68049
Chen, Yu-Fang; Hong, Chih-Duo; Wang, Bow-Yaw; Zhang, Lijun
3
2015
Automatically inferring loop invariants via algorithmic learning. Zbl 1361.68067
Jung, Yungbum; Kong, Soonho; David, Cristina; Wang, Bow-Yaw; Yi, Kwangkeun
1
2015
Array theory of bounded elements and its applications. Zbl 1314.03017
Zhou, Min; He, Fei; Wang, Bow-Yaw; Gu, Ming; Sun, Jiaguang
4
2014
Predicate generation for learning-based quantifier-free loop invariant inference. Zbl 1315.68097
Jung, Yungbum; Lee, Wonchan; Wang, Bow-Yaw; Yi, Kwangkuen
2
2011
Deriving invariants by algorithmic learning, decision procedures, and predicate abstraction. Zbl 1248.68272
Jung, Yungbum; Kong, Soonho; Wang, Bow-Yaw; Yi, Kwangkeun
5
2010
Learning minimal separating DFA’s for compositional verification. Zbl 1234.68166
Chen, Yu-Fang; Farzan, Azadeh; Clarke, Edmund M.; Tsay, Yih-Kuen; Wang, Bow-Yaw
20
2009
Extending automated compositional verification to the full class of omega-regular languages. Zbl 1134.68406
Farzan, Azadeh; Chen, Yu-Fang; Clarke, Edmund M.; Tsay, Yih-Kuen; Wang, Bow-Yaw
24
2008
Automatic derivation of compositional rules in automated compositional reasoning. Zbl 1151.68491
Wang, Bow-Yaw
1
2007
Proving \(\forall \mu\)-calculus properties with SAT-based model checking. Zbl 1169.68519
Wang, Bow-Yaw
3
2005
\(\mu\)-calculus model checking in Maude. Zbl 1272.68201
Wang, Bow-Yaw
2
2005
Verifying network protocol implementations by symbolic refinement checking. Zbl 0991.68546
Alur, Rajeev; Wang, Bow-Yaw
2
2001
all top 5

Cited by 144 Authors

8 Wang, Bow-Yaw
7 Fisman, Dana
6 Angluin, Dana
6 Zhang, Lijun
5 Grumberg, Orna
5 Holík, Lukáš
5 Vojnar, Tomáš
4 Chen, Yu-Fang
4 Lengál, Ondřej
4 Liu, Depeng
4 Shoham, Sharon
4 Zhan, Naijun
3 An, Jie
3 Chen, Mingshuai
3 Păsăreanu, Corina S.
3 Zhan, Bohua
2 Bartocci, Ezio
2 Eisentraut, Christian
2 Fiedor, Tomáš
2 Frenkel, Hadar
2 Garcia, Pedro
2 Godskesen, Jens Chr.
2 Havlena, Vojtěch
2 Héam, Pierre-Cyrille
2 Hermanns, Holger
2 Jung, Yungbum
2 Kapur, Deepak
2 Kovács, Laura Ildikó
2 Li, Yong
2 López , Damián
2 Nicaud, Cyril
2 Schmitz, Sylvain
2 Sheinvald, Sarai
2 Song, Lei
2 Stankovič, Miroslav
2 Tsay, Yih-Kuen
2 Vázquez de Parga, Manuel
2 Yi, Kwangkeun
2 Zhang, Miaomiao
2 Zhang, Wenhui
1 Abd Elkader, Karam
1 Abdulla, Parosh Aziz
1 Aiken, Alex
1 Antonopoulos, Timos
1 Ashar, Pranav
1 Baller, Hauke
1 Bao, Jialu
1 Barth, Stephan
1 Beyer, Dirk
1 Björklund, Henrik
1 Björklund, Johanna
1 Boker, Udi
1 Brunet, Paul
1 Chen, Zhiyuan
1 Ciancia, Vincenzo
1 Clarke, Edmund Melson jun.
1 Dai, Liyun
1 David, Cristina
1 Farzan, Azadeh
1 Feldman, Yotam M. Y.
1 Fernau, Henning
1 Fleischhacker, Nils
1 Foster, Jeffrey S.
1 Fu, Chen
1 Fu, Yu-Fu
1 Gan, Ting
1 Ganai, Malay K.
1 Garg, Pranav
1 Gheorghe, Marian
1 Giannakopoulou, Dimitra
1 Gulwani, Sumit
1 Gupta, Aarti
1 Heggernes, Pinar
1 Hsu, Justin
1 Huang, Geng-Dian
1 Huang, Hongtao
1 Huang, Shaobin
1 Ipate, Florentin
1 Ivančić, Franjo
1 Janků, Petr
1 Jansen, David N.
1 Jin, Xiangyu
1 Kappé, Tobias
1 Kong, Soonho
1 Krupp, Johannes
1 Kwiatkowska, Marta Z.
1 Lee, Wonchan
1 Lefticaru, Raluca
1 Lin, Anthony Widjaja
1 Liu, Jiaxiang
1 Lochau, Malte
1 Löding, Christof
1 Lomuscio, Alessio
1 Lumezanu, Cristian
1 Lv, Tianyang
1 Madhusudan, Parthasarathy
1 Malavolta, Giulio
1 Markgraf, Oliver
1 Martens, Wim
1 Martí-Oliet, Narciso
...and 44 more Authors

Citations by Year