Rym Salem

According to our database, Rym Salem authored at least 4 papers between 1997 and 2000.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of five.

2000

Threshold and Bounded-Delay Voting in Critical Control Systems.

Paul Caspi, Rym Salem

Proceedings of the Formal Techniques in Real-Time and Fault-Tolerant Systems, 2000

1999

Formal Design of Distributed Control Systems with Lustre.

Paul Caspi, Christine Mazuet, Rym Salem, Daniel Weber

Proceedings of the Computer Safety, 1999

Unfold/Fold Inductive Proof: An Extension of a Folding Technique.

Rym Salem, Khaled Bsaïes

Proceedings of the Multiple Approaches to Intelligent Systems, 1999

1997

Mechanizing Proofs by Unfolding, Folding and Simplification.

Rym Salem, Khaled Bsaïes

Proceedings of the Participants Copies of Third International Seminar on the Use of Relational Methods in Computer Science, 1997