Travelled to:
1 × Canada
2 × USA
Collaborated with:
S.Danicic M.Harman M.Daoudi C.Fox D.Binkley T.Gyimóthy Á.Kiss L.Hu M.Munro X.Zhang J.Howroyd M.P.Ward
Talks about:
interprocedur (2) slicer (2) slice (2) approach (1) scalabl (1) program (1) forward (1) formal (1) execut (1) condit (1)
Person: Lahcen Ouarbya
DBLP: Ouarbya:Lahcen
Contributed to:
Wrote 4 papers:
- SCAM-2004-BinkleyDGHKO #execution #formal method #slicing
- Formalizing Executable Dynamic and Forward Slicing (DB, SD, TG, MH, ÁK, LO), pp. 43–52.
- SCAM-2002-HarmanHMZDDO #interprocedural #slicing
- An Interprocedural Amorphous Slicer for WSL (MH, LH, MM, XZ, SD, MD, LO), pp. 105–114.
- WCRE-2002-DaoudiOHDHFW #approach #named #scalability #slicing
- ConSUS: A Scalable Approach to Conditioned Slicing (MD, LO, JH, SD, MH, CF, MPW), pp. 109–118.
- WCRE-2002-OuarbyaDDHF #interprocedural #slicing
- A Denotational Interprocedural Program Slicer (LO, SD, MD, MH, CF), p. 181–?.