Abu Naser Masud

21 papers B 6C 2Misc 1Journal 10Unranked 2

Year	Rank	Type	Title / 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