| | |
- CSB - MetaPress - Google - Bing - Yahoo
 | 2009 | |
|---|---|---|
| 6 |      | Lotfi Majdoub, Riadh Robbana: Test Cases Generation for Nondeterministic Duration Systems. MSVVEIS 2009: 14-23 |
| 2007 | ||
| 5 |  | 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 | | 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] [6] |
| 4 | Yahya Slimani | [1] [2] |
| 5 | Stavros Tripakis | [4] |
Colors in the list of coauthors
Last update Sun Jun 3 16:06:10 2012 CET by the DBLP Team —
Data released under the ODC-BY 1.0 license — See also our legal information page