Issue Date | Title | Author(s) | Relation | scopus | WOS | Fulltext/Archive link |
---|---|---|---|---|---|---|
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 | ||||
2017 | Learning to prove safety over parameterised concurrent systems | Yu-Fang Chen; Chih-Duo Hong; Philipp Rümmer; Anthony Lin | ||||
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 |