Travelled to:
1 × India
Collaborated with:
B.Lisper A.N.Masud
Talks about:
backward (2) static (2) slice (2) program (1) system (1) safeti (1) driven (1) demand (1) critic (1)
Person: Husni Khanfar
DBLP: Khanfar:Husni
Contributed to:
Wrote 2 papers:
- AdaEurope-2015-KhanfarLM #safety #slicing
- Static Backward Program Slicing for Safety-Critical Systems (HK, BL, ANM), pp. 50–65.
- PEPM-2015-LisperMK #slicing
- Static Backward Demand-Driven Slicing (BL, ANM, HK), pp. 115–126.