Publications

Type: Date:
Scope:
Author:

Number of publications matching the search criterion: 8

Licentiate Thesis (1)

Demand-Driven Static Backward Program Slicing Based on Predicated Code Block Graphs (Nov 2019)
Husni Khanfar

Conference/Workshop Paper (3)

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)

Static Backward Demand-Driven Slicing (Jan 2015)
Björn Lisper, Abu Naser Masud, Husni Khanfar
ACM Sigplan-Sigact Symposium on Partial Evaluation and Program Manipulation (PEPM)

Report - MRTC (4)

Data Structure Foundation for Computing Overlapping Flows (Feb 2024)
Husni Khanfar

Computing on-the-fly the Relevant Program Flows to a Control Dependency (Apr 2021)
Husni Khanfar

Demand-Driven Static Backward Slicing for Unstructured Programs (May 2019)
Husni Khanfar, Björn Lisper, Saad Mubeen

On-Demand Slicing (May 2014)
Husni Khanfar

Items per page: