| Issue Date | Title | Author(s) | Relation | scopus | WOS | Fulltext/Archive link |
|---|---|---|---|---|---|---|
| 2013 | A Unified Framework for DPLL(T) + Certificates | Min Zhou; Fei He; Bow-Yaw Wang; Ming Gu; Jiaguang Sun | Journal of Applied Mathematics 2013:964682 (13pp) | |||
| 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 | ||||
| 2016 | Learning-Based Assume-Guarantee Regression Verification | Fei He; Shu Mao; Bow-Yaw Wang | ||||
| 2015 | Leveraging Weighted Automata in Compositional Reasoning about Concurrent Probabilistic Systems | Fei He; Xiaowei Gao; Bow-Yaw Wang; Lijun Zhang | ||||
| 2010 | On Array Theory of Bounded Elements | Min Zhou; Fei He; Bow-Yaw Wang; Ming Gu | ||||
| 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 | ||||
| 2014 | Symbolic Assume-Guarantee Reasoning through BDD Learning | Fei He; Bow-Yaw Wang; Liangze Yin; Lei Zhu | ||||
| 2012 | Thread-Modular Model Checking with Iterative Refinement | Wenrui Meng; Fei He; Bow-Yaw Wang ; Qiang Liu | ||||
| 2013 | VCS: A Verifier for Component-Based Systems | Fei He; Liangze Yin; Bow-Yaw Wang; Lianyi Zhang; Guanyu Mu; Wenrui Meng |
