Mechanizing Proofs by Unfolding, Folding and Simplification. - Rym Salem; Khaled Bsaïes (RelMiCS, 1997)

Unfold/Fold Inductive Proof: An Extension of a Folding Technique. - Rym Salem; Khaled Bsaïes (IEA/AIE, 1999)

Formal Design of Distributed Control Systems with Lustre. - Paul Caspi; Christine Mazuet; Rym Salem; Daniel Weber 017 (SAFECOMP, 1999)

Threshold and Bounded-Delay Voting in Critical Control Systems. - Paul Caspi; Rym Salem (FTRTFT, 2000)