Publications par année

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

Distributed CTL Model-Checking and counterexample search
BOUKALA Mohand Cherif, Petrucci Laure, Janvier 2012
Utilisation des modèles formels dans la sécurité informatique
OUROUA Nawel, IOUALALEN Malika, Mai 2012
A clustering method for wireless sensors networks
Fouchal S, Monnet Q, MANSOURI Djamel, MOKDAD L, IOUALALEN Malika, Juillet 2012
Timed Abstract Mobile Synchronizing Petri Nets
Madi L, IOUALALEN Malika, Juin 2012
Detecting DoS attacks in WSN based on Clustering Technique
MANSOURI Djamel, Mokdad L, IOUALALEN Malika, Octobre 2012
Modélisation de la notion d'énergie dans les réseaux de capteurs à l'aide des réseaux de Petri
BERRACHEDI Amel, IOUALALEN Malika, Janvier 2012
16. Towards Efficient Component Performance Analysis in Component Based Architectures
SALMI Nabila, IOUALALEN Malika, Janvier 2012
Modeling and Performance Evaluation of Small Cell Wireless Networks with Base Station Channels Breakdowns
GHARBI Nawel, Janvier 2012
Using Stochastic Petri Nets for Performance and Reliability Analysis of Retrial Systems with Different Breakdowns Disciplines
GHARBI Nawel, Janvier 2012
26. Analyzing E-commerce Multi-Agent systems using hierarchical Colored Petri nets
TAIBI Meriem, IOUALALEN Malika, SALMI Nabila, Janvier 2012
Wireless Networks with Retrials and Heterogeneous Servers: Comparing Random Server and Fastest Free Server Disciplines
GHARBI Nawel, CHARABI L, Juin 2012
Structured Performance Analysis for Component Based Systems. International Journal of Critical Computer-Based Systems (IJCCBS)
SALMI Nabila, MOREAUX P, IOUALALEN Malika, Janvier 2012
Towards Efficient Component Performance Analysis in Component Based Architectures
SALMI Nabila, IOUALALEN Malika, Janvier 2012
Structured Performance Analysis for Component Based Systems
SALMI Nabila, MOREAUX P, Janvier 2012
“Towards Efficient Component Performance Analysis in Component Based Architectures”
SALMI Nabila, Janvier 2012
Wireless Networks with Base Station Channels Breakdowns,
GHARBI Nawel, Juin 2012
Modeling and Performance Evaluation of Small Cell Wireless Networks with Base Station Channels Breakdowns
GHARBI Nawel, Janvier 2012
Using Stochastic Petri Nets for Performance and Reliability Analysis of Retrial Systems with Different Breakdowns Disciplines
GHARBI Nawel, Janvier 2012
Analyzing E-commerce Multi-Agent systems using hierarchical Colored Petri nets
Taibi M, SALMI Nabila, Septembre 2012
Towards Efficient Component Performance Analysis in Component Based Architectures
SALMI Nabila, Janvier 2012
“Towards Efficient Component Performance Analysis in Component Based Architectures”.
SALMI Nabila, Janvier 2012