 | 2008 |
| 7 |  | Abdelkrim Abdelli,
Dahbia Yahiatene:
Efficient computation of state space over approximation of preemptive real time systems.
AICCSA 2008: 726-733 |
| 6 |  | Abdelkrim Abdelli,
Nadjib Badache:
Towards Building the State Class Graph of the TSPN Model.
Fundam. Inform. 86(4): 371-409 (2008) |
| 2007 |
| 5 |  | Abdelkrim Abdelli,
Nadjib Badache:
Efficient Bandwidth and Buffer Management for Multimedia Data Download.
FGCN (1) 2007: 424-429 |
| 2006 |
| 4 |  | Abdelkrim Abdelli,
Nadjib Badache:
Synchronized Transitions Preemptive Time Petri Nets: A new model towards specifying multimedia requirements.
AICCSA 2006: 17-24 |
| 3 |  | Abdelkrim Abdelli,
Nadjib Badache:
A Proxy Pre-fetch Scheme for Consistent SMIL Presentation Delivery.
AICCSA 2006: 968-975 |
| 2 |  | Abdelkrim Abdelli,
Nadjib Badache:
A semantic based pre-fetch scheme for SMIL presentation proxy-delivery.
MMM 2006 |
| 2004 |
| 1 |  | Abdelkrim Abdelli,
M. Daoudi:
Towards SMIL Document Analysis Using an Algebraic Time Net.
PCM (3) 2004: 273-281 |