Modeling and analysis of product-line variants. - Shamim Ripon; Keya Azad; Sk. Jahir Hossain; Mehidee Hassan (SPLC (2), 2012)

Managing and Analysing Software Product Line Requirements. - Shamim Ripon; Sk. Jahir Hossain; Touhid Bhuiyan (CoRR, 2013)

Logic Verification of Product-Line Variant Requirements. - Shamim Ripon; Sk. Jahir Hossain; Keya Azad; Mehidee Hassan (CoRR, 2014)

Logic-Based Analysis and Verification of Software Product Line Variant Requirement Model. - Shamim Hasnat Ripon; Sk. Jahir Hossain; Moshiur Mahamud Piash (Int. J. Knowl. Syst. Sci., 2014)