| |
| 2007 | ||
|---|---|---|
| 5 | EE | Lotfi Majdoub, Riadh Robbana: Testing Duration Systems using an approximation method. DepCoS-RELCOMEX 2007: 119-126 |
| 4 | Saddek Bensalem, Moez Krichen, Lotfi Majdoub, Riadh Robbana, Stavros Tripakis: A Simplified Approach for Testing Real-Time Systems Based on Action Refinement. ISoLA 2007: 191-202 | |
| 2006 | ||
| 3 | Lotfi Majdoub, Riadh Robbana: Test Purpose of Duration Systems. MSVVEIS 2006: 67-75 | |
| 1997 | ||
| 2 | EE | Yahya Slimani, Lotfi Majdoub: A Temporal Model for Fault-Tolerant Parallel Programs. FTDCS 1997: 304-309 |
| 1 | Lotfi Majdoub, Yahya Slimani: Defining Levels of Correctness for Parallel Programs with Temporal Logic of Actions. RelMiCS 1997: 167-176 | |
| 1 | Saddek Bensalem | [4] |
| 2 | Moez Krichen | [4] |
| 3 | Riadh Robbana | [3] [4] [5] |
| 4 | Yahya Slimani | [1] [2] |
| 5 | Stavros Tripakis | [4] |