| Issue Date | Title | Author(s) | Relation | scopus | WOS | Fulltext/Archive link |
|---|---|---|---|---|---|---|
| 2018 | Advanced Automata-based Algorithms for Program Termination Checking | Yu-Fang Chen; Matthias Heizmann; Ondrej Lengal; Yong Li; Ming-Hsien Tsai; Andrea Turrini; Lijun Zhang | ||||
| 2010 | Automated Assume-Guarantee Reasoning through Implicit Learning | Yu-Fang Chen; Edmund M. Clarke; Azadeh Farzan; Ming-Hsien Tsai; Yih-Kuen Tsay; Bow-Yaw Wang | ||||
| 2017 | Certified Verification of Algebraic Properties on Low-Level Mathematical Constructs in Cryptographic Programs | Ming-Hsien Tsai; Bow-Yaw Wang; Bo-Yin Yang | ||||
| 2010 | Comparing Learning Algorithms in Automated Assume-Guarantee Reasoning. | Yu-Fang Chen; Edmund M. Clarke; Azadeh Farzan; Fei He; Ming-Hsien Tsai; Yih-Kuen Tsay; Bow-Yaw Wang; Lei Zhu | ||||
| 2015 | CPArec: Verifying Recursive Programs via Source-to-Source Program Transformation | Yu-Fang Chen; Chiao Hsieh; Ming-Hsien Tsai; Bow-Yaw Wang; Farn Wang | ||||
| 2006 | Formalization of CTL* in the Calculus of Inductive Constructions | Ming-Hsien Tsai; Bow-Yaw Wang | ||||
| 2006 | Modular Formalization of Reactive Modules in Coq | Ming-Hsien Tsai; Bow-Yaw Wang | ||||
| 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 | ||||
| 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 |
