Abu Naser Masud

21 papers B 6C 2Misc 1Journal 10Unranked 2
YearRankTypeTitle / Venue / Authors
2025 J jnl
M, Toolchain and Language for Reusable Model Compilation.
CoRR
Hiep Hong Trinh, Federico Ciccozzi, Abu Naser Masud, Marjan Sirjani, Mikael Sjödin
2025 J jnl
Modelling and Model-Checking a ROS2 Multi-Robot System using Timed Rebeca.
CoRR
Hiep Hong Trinh, Marjan Sirjani, Federico Ciccozzi, Abu Naser Masud, Mikael Sjödin
2025 — conf
On Time-Sensitive Control Closure for Secure Information Flow.
FSEN
Abu Naser Masud, Björn Lisper
2023 J jnl
A Comprehensive Exploration of Languages for Parallel Computing.
ACM Comput. Surv.
Federico Ciccozzi, Lorenzo Addazi, Sara Abbaspour Asadollah, Björn Lisper, Abu Naser Masud, Saad Mubeen
2023 J jnl
The Duality in Computing SSA Programs and Control Dependency.
IEEE Trans. Software Eng.
Abu Naser Masud
2022 B conf
An Evaluation of General-Purpose Static Analysis Tools on C/C++ Test Code.
SEAA
Jean Malm, Eduard Enoiu, Abu Naser Masud, Björn Lisper, Zoltán Porkoláb, Sigrid Eldh
2022 J jnl
Efficient computation of minimal weak and strong control closure.
J. Syst. Softw.
Abu Naser Masud
2022 B conf
Fast and Incremental Computation of Weak Control Closure.
SAS
Abu Naser Masud
2022 B conf
On the computation of interprocedural weak control closure.
CC
Abu Naser Masud, Björn Lisper
2021 J jnl
Semantic Correctness of Dependence-based Slicing for Interprocedural, Possibly Nonterminating Programs.
ACM Trans. Program. Lang. Syst.
Abu Naser Masud, Björn Lisper
2020 J jnl
More precise construction of static single assignment programs using reaching definitions.
J. Syst. Softw.
Abu Naser Masud, Federico Ciccozzi
2020 B conf
Simple and Efficient Computation of Minimal Weak Control Closure.
SAS
Abu Naser Masud
2019 C conf
Towards Constructing the SSA form using Reaching Definitions Over Dominance Frontiers.
SCAM
Abu Naser Masud, Federico Ciccozzi
2018 J jnl
Automatic Inference of Task Parallelism in Task-Graph-Based Actor Models.
IEEE Access
Abu Naser Masud, Björn Lisper, Federico Ciccozzi
2015 C conf
Static Backward Demand-Driven Slicing.
PEPM
Björn Lisper, Abu Naser Masud, Husni Khanfar
2015 Misc conf
Static Backward Program Slicing for Safety-Critical Systems.
Ada-Europe
Husni Khanfar, Björn Lisper, Abu Naser Masud
2013 J jnl
On the Inference of Resource Usage Upper and Lower Bounds.
ACM Trans. Comput. Log.
Elvira Albert, Samir Genaim, Abu Naser Masud
2012 — conf
Automatic Inference of Bounds on Resource Consumption.
FMCO
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
2012 B conf
On the Termination of Integer Loops.
VMCAI
Amir M. Ben-Amram, Samir Genaim, Abu Naser Masud
2012 J jnl
On the Termination of Integer Loops.
ACM Trans. Program. Lang. Syst.
Amir M. Ben-Amram, Samir Genaim, Abu Naser Masud
2011 B conf
More Precise Yet Widely Applicable Cost Analysis.
VMCAI
Elvira Albert, Samir Genaim, Abu Naser Masud