公開日期 | 題名 | 作者 | 關聯 | scopus | WOS | 全文 |
---|---|---|---|---|---|---|
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 |