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

Automatic Compositional Verification of Probabilistic Safety Properties for Interorganisational Workflow Processes
BOUCHEKIR Redouane, Boukhedouma Saida, BOUKALA Mohand Cherif, Juillet 2016
Symbolic Probabilistic Analysis and Verification of Interorganizational Workflow
BOUCHEKIR Redouane, Boukhedouma Saida, BOUKALA Mohand Cherif, Mars 2016
Reusing and Adapting Components using atomic and non-atomic Strong Synchronisations
DAHMANI Djaouida, BOUKALA Mohand Cherif, Mountassir Hassen, Juin 2014
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
Distributed CTL Model-Checking and counterexample search
BOUKALA Mohand Cherif, Petrucci Laure, Janvier 2012
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
Towards Distributed Verification of Petri Nets
BOUKALA Mohand Cherif, Petrucci Laure, Mai 2007