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 |