Automatic Inference of Task Parallelism in Task-graph-based Actor Models (Dec 2018) Abu Naser Masud, Björn Lisper, Federico Ciccozzi Journal of IEEE Access (Access'18)
Enhanced PCB Based Slicing (Jun 2016) Husni Khanfar, Björn Lisper Fifth International Valentin Turchin Workshop on Metacomputation (META 2016 )
Static Backward Program Slicing for Safety Critical Systems (Jun 2015) Husni Khanfar, Björn Lisper, Abu Naser Masud The 20th International Conference on Reliable Software Technologies (Ada-Europe-2015)
A Survey on Static Data Race Detection Methods (Mar 2016) Abu Naser Masud