Bui Phi Diep
Bui Phi Diep
Verified email at it.uu.se - Homepage
TitleCited byYear
Flatten and conquer: a framework for efficient analysis of string constraints
PA Abdulla, MF Atig, YF Chen, BP Diep, L Holík, A Rezine, P Rümmer
ACM SIGPLAN Notices 52 (6), 602-617, 2017
212017
Trau: SMT solver for string constraints
PA Abdulla, MF Atig, YF Chen, BP Diep, L Holík, A Rezine, P Rümmer
2018 Formal Methods in Computer Aided Design (FMCAD), 1-5, 2018
72018
Counter-Example Guided Program Verification
PA Abdulla, MF Atig, BP Diep
International Symposium on Formal Methods, 25-42, 2016
12016
Chain-Free String Constraints
PA Abdulla, MF Atig, BP Diep, L Holík, P Janků
International Symposium on Automated Technology for Verification and …, 2019
2019
Flatten and Conquer
PA Abdulla, MF Atig, YF Chen, BP Diep, L Holık, A Rezine, P Rümmer
The system can't perform the operation now. Try again later.
Articles 1–5