| 2007 |
|---|
| 11 | EE | Lotfi Majdoub,
Riadh Robbana:
Testing Duration Systems using an approximation method.
DepCoS-RELCOMEX 2007: 119-126 |
| 2006 |
|---|
| 10 | | Lotfi Majdoub,
Riadh Robbana:
Test Purpose of Duration Systems.
MSVVEIS 2006: 67-75 |
| 2004 |
|---|
| 9 | EE | Narjes Berregeb,
Riadh Robbana,
Ashish Tiwari:
Towards automated proofs of observational properties.
Discrete Mathematics & Theoretical Computer Science 6(2): 143-162 (2004) |
| 8 | EE | Narjes Berregeb,
Riadh Robbana:
On the Verification by Approximation of Duration Systems.
Int. Arab J. Inf. Technol. 1(2): 147-155 (2004) |
| 2003 |
|---|
| 7 | EE | Riadh Robbana:
Verification of Duration Systems Using an Approximation Approach.
J. Comput. Sci. Technol. 18(2): 153-162 (2003) |
| 1995 |
|---|
| 6 | | Ahmed Bouajjani,
Yassine Lakhnech,
Riadh Robbana:
From Duration Calculus To Linear Hybrid Automata.
CAV 1995: 196-210 |
| 5 | | Ahmed Bouajjani,
Riadh Robbana:
Verifying omega-Regular Properties for a Subclass of Linear Hybrid Systems.
CAV 1995: 437-450 |
| 1994 |
|---|
| 4 | | Ahmed Bouajjani,
Rachid Echahed,
Riadh Robbana:
Verification of Context-Free Timed Systems Using Linear Hybrid Observers.
CAV 1994: 118-131 |
| 3 | | Ahmed Bouajjani,
Rachid Echahed,
Riadh Robbana:
Verification of Nonregular Temporal Properties for Context-Free Processes.
CONCUR 1994: 81-97 |
| 2 | | Ahmed Bouajjani,
Rachid Echahed,
Riadh Robbana:
Verfying Invariance Properties of Timed Systems with Duration Variables.
FTRTFT 1994: 193-210 |
| 1 | | Ahmed Bouajjani,
Rachid Echahed,
Riadh Robbana:
On the Automatic Verification of Systems with Continuous Variables and Unbounded Discrete Data Structures.
Hybrid Systems 1994: 64-85 |
