| 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 | ||||
| 2017 | Flatten and conquer: a framework for efficient analysis of string constraints | Parosh Aziz Abdulla; Mohamed Faouzi Atig; Yu-Fang Chen; Bui Phi Diep; Lukás Holík; Ahmed Rezine; Philipp Rümmer | ||||
| 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 | ||||
| 2015 | Norn: An SMT Solver for String Constraints | Parosh Aziz Abdulla; Mohamed Faouzi Atig; Yu-Fang Chen; Lukás Holík; Ahmed Rezine; Philipp Rümmer; Jari Stenman | ||||
| 2014 | String Constraints for Verification | Parosh Aziz Abdulla; Mohamed Faouzi Atig; Yu-Fang Chen; Lukas Holik; Ahmed Rezine; Philipp Reummer; Jari Stenman |
