Publications par année

Publications de l'année 2009Par é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

achieving automatic performance modelling of black boxes for self-sizing
Harbaoui A, SALMI Nabila, Dillenseger B, Vincent J-M, Juin 2009
Performance evaluation of Fractal Component Based Systems.
SALMI Nabila, MOREAUX P, Janvier 2009
Colored Stochastic Petri Nets for Modelling and Analysis of Multiclass Retrial Systems
GHARBI Nawel, Dutheillet C, Avril 2009
"Achieving automatic performance modelling of black boxes for self-sizing"
Harbaoui A, SALMI Nabila, Dillenseger B, Vincent J-M, Juin 2009
"Automatic performance modelling of black boxes targetting self-sizing"
Harbaoui A, SALMI Nabila, Dillenseger B, Vincent J-M, Juillet 2009
“ Reachability Analysis for Recursive Petri Nets with shared places”
DAHMANI Djaouida, llié J.M, Juin 2009