| |
| 2000 | ||
|---|---|---|
| 4 | EE | Paul Caspi, Rym Salem: Threshold and Bounded-Delay Voting in Critical Control Systems. FTRTFT 2000: 70-81 |
| 1999 | ||
| 3 | Rym Salem, Khaled Bsaïes: Unfold/Fold Inductive Proof: An Extension of a Folding Technique. IEA/AIE 1999: 612-621 | |
| 2 | EE | Paul Caspi, Christine Mazuet, Rym Salem, Daniel Weber: Formal Design of Distributed Control Systems with Lustre. SAFECOMP 1999: 396-409 |
| 1997 | ||
| 1 | Rym Salem, Khaled Bsaïes: Mechanizing Proofs by Unfolding, Folding and Simplification. RelMiCS 1997: 133-142 | |
| 1 | Khaled Bsaïes | [1] [3] |
| 2 | Paul Caspi | [2] [4] |
| 3 | Christine Mazuet | [2] |
| 4 | Daniel Weber | [2] |