Completeness of Pointer Program Verification by Separation Logic. - Makoto Tatsuta; Wei-Ngan Chin; Mahmudul Faisal Al Ameen (SEFM, 2009)

Completeness for recursive procedures in separation logic. - Mahmudul Faisal Al Ameen; Makoto Tatsuta (Theor. Comput. Sci., 2016)

A Logical System for Modular Information Flow Verification. - Adi Prabawa; Mahmudul Faisal Al Ameen; Benedict Lee; Wei-Ngan Chin (VMCAI, 2018)

Completeness and expressiveness of pointer program verification by separation logic. - Makoto Tatsuta; Wei-Ngan Chin; Mahmudul Faisal Al Ameen (Inf. Comput., 2019)

Function Pointer Eliminator for C Programs. - Daisuke Kimura; Mahmudul Faisal Al Ameen; Makoto Tatsuta; Koji Nakazawa (APLAS, 2021)

Asynchronous unfold/fold transformation for fixpoint logic. - Mahmudul Faisal Al Ameen; Naoki Kobayashi 001; Ryosuke Sato 001 (Sci. Comput. Program., 2024)