Bui Phi Diep

Publication Activity (10 Years)

Years Active: 2016-2023
Publications (10 Years): 9

Top Topics

Linear Temporal Logic

Constrained Problems

Bounded Model Checking

Top Venues

Publications

Parosh Aziz Abdulla, Mohamed Faouzi Atig, Bui Phi Diep, Lukás Holík, Petr Janku
Chain-Free String Constraints (Technical Report). CoRR (2023)
Parosh Aziz Abdulla, Mohamed Faouzi Atig, Yu-Fang Chen, Bui Phi Diep, Lukás Holík, Denghang Hu, Wei-Lun Tsai, Zhilin Wu, Di-De Yen
Solving Not-Substring Constraint withFlat Abstraction. APLAS (2021)
Prantik Chatterjee, Subhajit Roy, Bui Phi Diep, Akash Lal
Distributed Bounded Model Checking. FMCAD (2020)
Parosh Aziz Abdulla, Mohamed Faouzi Atig, Yu-Fang Chen, Bui Phi Diep, Julian Dolby, Petr Janku, Hsin-Hung Lin, Lukás Holík, Wei-Cheng Wu
Efficient handling of string-number conversion. PLDI (2020)
Prantik Chatterjee, Subhajit Roy, Bui Phi Diep, Akash Lal
Distributed Bounded Model Checking. CoRR (2020)
Parosh Aziz Abdulla, Mohamed Faouzi Atig, Bui Phi Diep, Lukás Holík, Petr Janku
Chain-Free String Constraints. ATVA (2019)
Parosh Aziz Abdulla, Mohamed Faouzi Atig, Yu-Fang Chen, Bui Phi Diep, Lukás Holík, Ahmed Rezine, Philipp Rümmer
Trau: SMT solver for string constraints. FMCAD (2018)
Parosh Aziz Abdulla, Mohamed Faouzi Atig, Yu-Fang Chen, Bui Phi Diep, Lukás Holík, Ahmed Rezine, Philipp Rümmer
Flatten and conquer: a framework for efficient analysis of string constraints. PLDI (2017)
Parosh Aziz Abdulla, Mohamed Faouzi Atig, Bui Phi Diep
Counter-Example Guided Program Verification. FM (2016)