1. Regular model checking;Abdulla;STTT,2012
2. Flatten and conquer: a framework for efficient analysis of string constraints;Abdulla,2017
3. Trau: SMT solver for string constraints;Abdulla,2018
4. String constraints for verification;Abdulla,2014
5. Norn: An SMT solver for string constraints;Abdulla,2015