Travelled to:1 × Spain
1 × USA
Collaborated with:N.Boudriga N.Ellouze
Talks about:base (2) investig (1) surveil (1) protect (1) languag (1) harvest (1) system (1) formal (1) forens (1) energi (1)
Person: Slim Rekhis
DBLP: Rekhis:Slim
Contributed to:
20152005Wrote 2 papers:
- SAC-2015-EllouzeRB #energy
- Energy harvesting based protection of border surveillance systems (NE, SR, NB), pp. 621–626.
- SAC-2005-RekhisB #automation #forensics #verification
- A formal logic-based language and an automated verification tool for computer forensic investigation (SR, NB), pp. 287–291.