Publications par année

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

High level Petri net modelling and analysis of flexible Web Services Composition
KHELDOUN Ahmed, BARKAOUI Kamel, IOUALALEN Malika, KHELDOUN Ahmed, BARKAOUI Kamel, IOUALALEN Malika, Août 2015
Time High-level Recursive Petri Nets
DAHMANI Djaouida, Mazouz Samia, IOUALALEN Malika, BERRACHEDI Amel, Juin 2015
A high level net for modeling and analysis reconfigurable discrete event control systems
KHELDOUN Ahmed, BARKAOUI Kamel, ZHANG J, IOUALALEN Malika, Mai 2015
Using Performance Modelling and Analysis for Self-adaptive Resources Allocation Systems: A case study
SLIEM Mehdi, 28-29 Avril 2015
Evaluation of the packet loss in WSN using Deterministic Stochastic Petri Nets
BERRACHEDI Amel, IOUALALEN Malika, Janvier 2015
Using Performance Modelling and Analysis for Self-adaptive Resources Allocation Systems: A case study.
SLIEM Mehdi, Salmi Nabi, Avril 2015
Achieving Scalability of Self-optimizing Multi-tier Systems Performance Prediction
SLIEM Mehdi, SALMI Nabila, IOUALALEN Malika, Novembre 2015
Recursive ECATNets-based approach for formally verifying System Modelling Language activity diagrams
RAHIM Messaoud, KHELDOUN Ahmed, IOUALALEN Malika, HAMMAD Ahmed, Janvier 2015