Publications par année

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

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
A Petri net Approach for Reusing and Adapting components with Atomic and non-atomic Synchronisation
DAHMANI Djaouida, BOUKALA Mohand Cherif, Mountassir Hassen, Juin 2014
Modular Modeling of SMIL Documents with Complex Termination Events.
DAHMANI Djaouida, Mazouz Samia, IOUALALEN Malika, Janvier 2014
Transformation BPEL Processes To RECATNet for AnalysingWeb Services Compositions
KHELDOUN Ahmed, IOUALALEN Malika, Janvier 2014
Reusing and Adapting Components using atomic and non-atomic Strong Synchronisations
DAHMANI Djaouida, BOUKALA Mohand Cherif, Mountassir Hassen, Juin 2014