Rym Salem

Publication Activity (10 Years)

Years Active: 1997-2000
Publications (10 Years): 0

Publications

Paul Caspi, Rym Salem
Threshold and Bounded-Delay Voting in Critical Control Systems. FTRTFT (2000)
Rym Salem, Khaled Bsaïes
Unfold/Fold Inductive Proof: An Extension of a Folding Technique. IEA/AIE (1999)
Paul Caspi, Christine Mazuet, Rym Salem, Daniel Weber
Formal Design of Distributed Control Systems with Lustre. SAFECOMP (1999)
Rym Salem, Khaled Bsaïes
Mechanizing Proofs by Unfolding, Folding and Simplification. RelMiCS (1997)