Md. Imran Alam

Publication Activity (10 Years)

Years Active: 2015-2021
Publications (10 Years): 6

Top Topics

Database Applications

Database Programming

Top Venues

Int. J. Trust. Manag. Comput. Commun.

J. Syst. Softw.

Publications

Md. Imran Alam, Raju Halder
Formal Verification of Database Applications Using Predicate Abstraction. SN Comput. Sci. 2 (2) (2021)
Md. Imran Alam, Raju Halder, Jorge Sousa Pinto
A deductive reasoning approach for database applications using verification conditions. J. Syst. Softw. 175 (2021)
Md. Imran Alam, Raju Halder
Tailoring Taint Analysis for Database Applications in the K Framework. DATA (2021)
Angshuman Jana, Md. Imran Alam, Raju Halder
A Symbolic Model Checker for Database Programs. ICSOFT (2018)
Md. Imran Alam, Raju Halder, Harshita Goswami, Jorge Sousa Pinto
K-Taint: An Executable Rewriting Logic Semantics for Taint Analysis in the K Framework. ENASE (2018)
Md. Imran Alam, Raju Halder
Refining dependencies for information flow analysis of database applications. Int. J. Trust. Manag. Comput. Commun. 3 (3) (2016)
Md. Imran Alam, Raju Halder
Data-Centric Refinement of Information Flow Analysis of Database Applications. SSCC (2015)