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)
(May 2014) Husni Khanfar
We are using cookies to give you the best experience on our site. Cookies are files stored in your browser and are used by most websites to help personalise your web experience.