Edit Profile (opens in new tab) Wang, Bow-Yaw Co-Author Distance Author ID: 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 all top 5 Co-Authors 4 single-authored 5 Zhang, Lijun 4 Chen, Yu-Fang 4 He, Fei 4 Jung, Yungbum 4 Tsay, Yih-Kuen 4 Yi, Kwangkeun 3 Liu, Depeng 3 Yu, Fang 2 Clarke, Edmund Melson jun. 2 Farzan, Azadeh 2 Huang, Geng-Dian 2 Kong, Soonho 2 Lee, Wonchan 2 Sun, Jiaguang 2 Tsai, Ming-Hsien 2 Yang, Bo-Yin 2 Yen, Hsuchun 2 Zhou, Min 1 Alur, Rajeev 1 David, Cristina 1 Fu, Chen 1 Fu, Yu-Fu 1 Gao, Xiaowei 1 Gu, Ming 1 Gu, Ming 1 Hong, Chih-Duo 1 Huang, Yao-Wen 1 Liu, Jiaxiang 1 Meng, Wenrui 1 Mu, Guanyu 1 Polyakov, Andy 1 Shi, Xiaomu 1 Yang, Ming-Shang 1 Yang, Mingsheng 1 Yen, Di-De 1 Yin, Liangze 1 Zhang, Lianyi all top 5 Serials 4 International Journal of Foundations of Computer Science 1 Theoretical Computer Science 1 Journal of Automated Reasoning 1 MSCS. Mathematical Structures in Computer Science 1 Theory of Computing Systems 1 Journal of Applied Mathematics 1 Logical Methods in Computer Science all top 5 Fields 31 Computer science (68-XX) 6 Mathematical logic and foundations (03-XX) 3 Operations research, mathematical programming (90-XX) 2 Number theory (11-XX) 2 Probability theory and stochastic processes (60-XX) 1 Approximations and expansions (41-XX) 1 Information and communication theory, circuits (94-XX) Publications by Year all cited Publications top 5 cited Publications 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 cited Publications top 5 cited Publications 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 all top 5 Cited in 15 Serials 10 Theoretical Computer Science 6 Information and Computation 3 Journal of Logical and Algebraic Methods in Programming 2 Acta Informatica 2 Formal Methods in System Design 2 Logical Methods in Computer Science 1 Artificial Intelligence 1 Information Processing Letters 1 Information Sciences 1 Journal of Computer and System Sciences 1 Journal of Computer Science and Technology 1 Journal of Automated Reasoning 1 Formal Aspects of Computing 1 MSCS. Mathematical Structures in Computer Science 1 International Journal of Foundations of Computer Science all top 5 Cited in 6 Fields 61 Computer science (68-XX) 11 Mathematical logic and foundations (03-XX) 2 Operations research, mathematical programming (90-XX) 1 Probability theory and stochastic processes (60-XX) 1 Systems theory; control (93-XX) 1 Information and communication theory, circuits (94-XX) Citations by Year