More Precise Yet Widely Applicable Cost Analysis. - Elvira Albert; Samir Genaim; Abu Naser Masud (VMCAI, 2011)

Automatic Inference of Bounds on Resource Consumption. - Elvira Albert; Diego Esteban Alonso-Blas; Puri Arenas; Jesús Correas; Antonio Flores-Montoya; Samir Genaim; Miguel Gómez-Zamalloa; Abu Naser Masud; German Puebla; José Miguel Rojas; Guillermo Román-Díez; Damiano Zanardini (FMCO, 2012)

On the Termination of Integer Loops. - Amir M. Ben-Amram; Samir Genaim; Abu Naser Masud (VMCAI, 2012)

On the Inference of Resource Usage Upper and Lower Bounds. - Elvira Albert; Samir Genaim; Abu Naser Masud (ACM Trans. Comput. Log., 2013)

Static Backward Program Slicing for Safety-Critical Systems. - Husni Khanfar; Björn Lisper; Abu Naser Masud (Ada-Europe, 2015)

Static Backward Demand-Driven Slicing. - Björn Lisper; Abu Naser Masud; Husni Khanfar (PEPM, 2015)

Automatic Inference of Task Parallelism in Task-Graph-Based Actor Models. - Abu Naser Masud; Björn Lisper; Federico Ciccozzi (IEEE Access, 2018)

Towards Constructing the SSA form using Reaching Definitions Over Dominance Frontiers. - Abu Naser Masud; Federico Ciccozzi (SCAM, 2019)

Simple and Efficient Computation of Minimal Weak Control Closure. - Abu Naser Masud (SAS, 2020)

More precise construction of static single assignment programs using reaching definitions. - Abu Naser Masud; Federico Ciccozzi (J. Syst. Softw., 2020)

Semantic Correctness of Dependence-based Slicing for Interprocedural, Possibly Nonterminating Programs. - Abu Naser Masud; Björn Lisper (ACM Trans. Program. Lang. Syst., 2021)

On the computation of interprocedural weak control closure. - Abu Naser Masud; Björn Lisper (CC, 2022)

An Evaluation of General-Purpose Static Analysis Tools on C/C++ Test Code. - Jean Malm; Eduard Enoiu; Abu Naser Masud; Björn Lisper; Zoltán Porkoláb; Sigrid Eldh (SEAA, 2022)

Fast and Incremental Computation of Weak Control Closure. - Abu Naser Masud (SAS, 2022)

Efficient computation of minimal weak and strong control closure. - Abu Naser Masud (J. Syst. Softw., 2022)

A Comprehensive Exploration of Languages for Parallel Computing. - Federico Ciccozzi; Lorenzo Addazi; Sara Abbaspour Asadollah; Björn Lisper; Abu Naser Masud; Saad Mubeen (ACM Comput. Surv., 2023)

The Duality in Computing SSA Programs and Control Dependency. - Abu Naser Masud (IEEE Trans. Software Eng., 2023)

On Time-Sensitive Control Closure for Secure Information Flow. - Abu Naser Masud; Björn Lisper (FSEN, 2025)