Publications par année

Publications de l'année 2011Par équipe
Spécification et Vérification des Systèmes Evaluation des Performances et Qualité de Service Systèmes avec Appels Répétés et Analyse Systèmes basés composants et Analyse


Par année



Par auteur

A  B  C  D  E  F  G  H  I  J  K  L  M  N  O  P  Q  R  S  T  U  V  W  X  Y  Z  


Production scientifique

Distributed Verification of Modular Systems
BOUKALA Mohand Cherif, Petrucci Laure, Janvier 2011
Using Processor Virtualization to Load Balancing Distributed State Space Construction
RAHIM Messaoud, BOUKALA Mohand Cherif, Avril 2011
Formalisation des SMA par les RdP: Application à l'étude d'un système E-commerce
TAIBI Meriem, Janvier 2011
2. An Algorithmic Approach for Analyzing Wireless Networks with Retrials and Heterogeneous Servers
GHARBI Nawel, CHARABI L, Janvier 2011
Parallel Object-Based Load Balancing Strategy for Distributed Space State Construction
RAHIM Messaoud, IOUALALEN Malika, Juillet 2011
An algorithmic approach for analysis of finite-source retrial systems with unreliable servers
GHARBI Nawel, DUTHEILET C, Janvier 2011
Structured Performance Analysis for Component Based Systems
SALMI Nabila, MOREAUX P, Janvier 2011
Using Stochastic Models for Analysis of Retrial Systems with Servers and Station Breakdowns
GHARBI Nawel, Juin 2011
An Algorithmic Approach for Analyzing Wireless Networks with Retrials and Heterogeneous Servers
GHARBI Nawel, CHARABI L, Juin 2011