Publications

Type: Date:
Scope:
Author:

Number of publications matching the search criterion: 4

Journal article (1)

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)

Conference/Workshop Paper (2)

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)

Report - MRTC (1)

A Survey on Static Data Race Detection Methods (Mar 2016)
Abu Naser Masud

Items per page: