| 公開日期 | 題名 | 作者 | 關聯 | scopus | WOS | 全文 |
|---|---|---|---|---|---|---|
| 2012 | Automatic Fence Insertion in Integer Programs via Predicate Abstraction | Parosh Abdulla; Mohamed Faouzi Atig; Yu-Fang Chen; Carl Leonardsson; 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 |
