Production par auteur

Par é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

Recursive ECATNets-based approach for formally verifying System Modelling Language activity diagrams
RAHIM Messaoud, KHELDOUN Ahmed, IOUALALEN Malika, HAMMAD Ahmed, Janvier 2015
Parallel Object-Based Load Balancing Strategy for Distributed State Space Construction: Application on Petri nets
RAHIM Messaoud, IOUALALEN Malika, BOUKALA Mohand Cherif, HAMMAD Ahmed, Juin 2014
Modular and distributed verification of SysML activity diagram
RAHIM Messaoud, HAMMAD A, IOUALALEN Malika, Février 2013
Using Processor Virtualization to Load Balancing Distributed State Space Construction
RAHIM Messaoud, BOUKALA Mohand Cherif, Avril 2011
Parallel Object-Based Load Balancing Strategy for Distributed Space State Construction
RAHIM Messaoud, IOUALALEN Malika, Juillet 2011