| Issue Date | Title | Author(s) | Relation | scopus | WOS | Fulltext/Archive link |
|---|---|---|---|---|---|---|
| 2017 | An Executable Sequential Specification for Spark Aggregation | Yu-Fang Chen; Chih-Duo Hong; Ondrej Lengal; Shin-Cheng Mu; Nishant Sinha; Bow-Yaw Wang | ||||
| 2015 | Commutativity of Reducers | Yu-Fang Chen; Chih-Duo Hong; Nishant Sinha; Bow-Yaw Wang | ||||
| 2010 | Constrained Monotonic Abstraction: a CEGAR for Parameterized Verification | Parosh Abdulla; Yu-Fang Chen; Giorgio Delzanno; Frederic Haziza; Chih-Duo Hong; Ahmed Rezine | ||||
| 2015 | Counterexample-Guided Polynomial Loop Invariant Generation by Lagrange Interpolation | Yu-Fang Chen; Chih-Duo Hong; Bow-Yaw Wang; Lijun Zhang | ||||
| 2017 | Learning to prove safety over parameterised concurrent systems | Yu-Fang Chen; Chih-Duo Hong; Philipp Rümmer; Anthony Lin |
