| Issue Date | Title | Author(s) | Relation | scopus | WOS | Fulltext/Archive link |
|---|---|---|---|---|---|---|
| 2012 | Automatic Fence Insertion in Integer Programs via Predicate Abstraction | Parosh Abdulla; Mohamed Faouzi Atig; Yu-Fang Chen; Carl Leonardsson; Ahmed Rezine | ||||
| 2010 | Constrained Monotonic Abstraction: a CEGAR for Parameterized Verification | Parosh Abdulla; Yu-Fang Chen; Giorgio Delzanno; Frederic Haziza; Chih-Duo Hong; Ahmed Rezine | ||||
| 2013 | Memorax, a Precise and Sound Tool for Automatic Fence Insertion under TSO | Parosh Abdulla; Mohamed Faouzi Atig; Yu-Fang Chen; Carl Leonardsson; Ahmed Rezine |
