1. A. Parosh Abdulla , F. Mohamed Atig , Yu-Fang Chen , Diep Phi Bui , Lukáš Holík , Ahmed Rezine , and Philipp Rummer . 2019 . Trau : SMT solver for string constraints . In Proceedings of the 18th Conference on Formal Methods in Computer-Aided Design ( Austin, US). FMCAD Inc., 165–169. https://doi.org/10.23919/FMCAD. 2018.8602997 A. Parosh Abdulla, F. Mohamed Atig, Yu-Fang Chen, Diep Phi Bui, Lukáš Holík, Ahmed Rezine, and Philipp Rummer. 2019. Trau : SMT solver for string constraints. In Proceedings of the 18th Conference on Formal Methods in Computer-Aided Design (Austin, US). FMCAD Inc., 165–169. https://doi.org/10.23919/FMCAD.2018.8602997
2. P. Abdulla and B. Jonsson . 1993. Verifying programs with unreliable channels . In Proceedings of 8th Annual IEEE Symposium on Logic in Computer Science. IEEE Computer Society , Los Alamitos, CA, USA. https://doi.org/10.1109/LICS. 1993 .287591 P. Abdulla and B. Jonsson. 1993. Verifying programs with unreliable channels. In Proceedings of 8th Annual IEEE Symposium on Logic in Computer Science. IEEE Computer Society, Los Alamitos, CA, USA. https://doi.org/10.1109/LICS.1993.287591
3. Parosh Aziz Abdulla , Mohamed Faouzi Atig , Yu-Fang Chen , Lukás Holík , Ahmed Rezine , Philipp Rümmer , and Jari Stenman . 2014 . String Constraints for Verification. In Computer Aided Verification - 26th International Conference , CAV 2014, Held as Part of the Vienna Summer of Logic, VSL 2014, Vienna, Austria, July 18-22, 2014. Proceedings(Lecture Notes in Computer Science, Vol. 8559) , Armin Biere and Roderick Bloem (Eds.). Springer. https://doi.org/10.1007/978-3-319-08867-9_10 Parosh Aziz Abdulla, Mohamed Faouzi Atig, Yu-Fang Chen, Lukás Holík, Ahmed Rezine, Philipp Rümmer, and Jari Stenman. 2014. String Constraints for Verification. In Computer Aided Verification - 26th International Conference, CAV 2014, Held as Part of the Vienna Summer of Logic, VSL 2014, Vienna, Austria, July 18-22, 2014. Proceedings(Lecture Notes in Computer Science, Vol. 8559), Armin Biere and Roderick Bloem (Eds.). Springer. https://doi.org/10.1007/978-3-319-08867-9_10
4. Parosh Aziz Abdulla , Mohamed Faouzi Atig , Vrunda Dave , and Shankara Narayanan Krishna . 2020 . On the Separability Problem of String Constraints. In 31st International Conference on Concurrency Theory, CONCUR 2020, September 1-4, 2020, Vienna, Austria (Virtual Conference)(LIPIcs, Vol. 171) , Igor Konnov and Laura Kovács (Eds.). Schloss Dagstuhl - Leibniz-Zentrum für Informatik. https://doi.org/10.4230/LIPIcs.CONCUR. 2020.16 Parosh Aziz Abdulla, Mohamed Faouzi Atig, Vrunda Dave, and Shankara Narayanan Krishna. 2020. On the Separability Problem of String Constraints. In 31st International Conference on Concurrency Theory, CONCUR 2020, September 1-4, 2020, Vienna, Austria (Virtual Conference)(LIPIcs, Vol. 171), Igor Konnov and Laura Kovács (Eds.). Schloss Dagstuhl - Leibniz-Zentrum für Informatik. https://doi.org/10.4230/LIPIcs.CONCUR.2020.16
5. Parosh Aziz Abdulla , Mohamed Faouzi Atig , Bui Phi Diep , Lukás Holík , and Petr Janku . 2019 . Chain-Free String Constraints. In Automated Technology for Verification and Analysis - 17th International Symposium , ATVA 2019, Taipei, Taiwan, October 28-31, 2019, Proceedings(Lecture Notes in Computer Science, Vol. 11781) , Yu-Fang Chen, Chih-Hong Cheng, and Javier Esparza (Eds.). Springer. https://doi.org/10.1007/978-3-030-31784-3_16 Parosh Aziz Abdulla, Mohamed Faouzi Atig, Bui Phi Diep, Lukás Holík, and Petr Janku. 2019. Chain-Free String Constraints. In Automated Technology for Verification and Analysis - 17th International Symposium, ATVA 2019, Taipei, Taiwan, October 28-31, 2019, Proceedings(Lecture Notes in Computer Science, Vol. 11781), Yu-Fang Chen, Chih-Hong Cheng, and Javier Esparza (Eds.). Springer. https://doi.org/10.1007/978-3-030-31784-3_16