Production par équipe

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

Symbolic Probabilistic Analysis and Verification of Interorganizational Workflow
BOUCHEKIR Redouane, Boukhedouma Saida, BOUKALA Mohand Cherif, Mars 2016
Automatic Compositional Verification of Probabilistic Safety Properties for Interorganisational Workflow Processes
BOUCHEKIR Redouane, Boukhedouma Saida, BOUKALA Mohand Cherif, Juillet 2016
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
Reusing and Adapting Components using atomic and non-atomic Strong Synchronisations
DAHMANI Djaouida, BOUKALA Mohand Cherif, Mountassir Hassen, 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
Analyzing Negociation in E-commerce Multi Agents System based on FIPA Protocols
TAIBI Meriem, IOUALALEN Malika, Septembre 2013
An Automatic Petri Net Generator for Modeling Multiagent Systems
TAIBI Meriem, IOUALALEN Malika, Novembre 2013
Modular and distributed verification of SysML activity diagram
RAHIM Messaoud, HAMMAD A, IOUALALEN Malika, Février 2013
Distributed CTL Model-Checking and counterexample search
BOUKALA Mohand Cherif, Petrucci Laure, Janvier 2012
26. Analyzing E-commerce Multi-Agent systems using hierarchical Colored Petri nets
TAIBI Meriem, IOUALALEN Malika, SALMI Nabila, Janvier 2012
Formalisation des SMA par les RdP: Application à l'étude d'un système E-commerce
TAIBI Meriem, Janvier 2011
Parallel Object-Based Load Balancing Strategy for Distributed Space State Construction
RAHIM Messaoud, IOUALALEN Malika, Juillet 2011
Using Processor Virtualization to Load Balancing Distributed State Space Construction
RAHIM Messaoud, BOUKALA Mohand Cherif, Avril 2011
Distributed Verification of Modular Systems
BOUKALA Mohand Cherif, Petrucci Laure, Janvier 2011
Distributed Performance Evaluation
TAIBI Meriem, IOUALALEN Malika, BOUKALA Mohand Cherif, Novembre 2010
Distributed Performance Evaluation, Quatrièmes Journées Scientifiques du Laboratoire des Systèmes Informatiques
TAIBI Meriem, Janvier 2010
Towards Distributed Verification of Petri Nets
BOUKALA Mohand Cherif, Petrucci Laure, Mai 2007