Type: Date:

Number of publications matching the search criterion: 3

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: