Publications par année

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

Use of formal models in Computer Science Security: Modeling of dos Attack
OUROUA Nawel, IOUALALEN Malika, Avril 2013
Use of formal models in Computer Science Security: Modeling of SYN/TCP Attack and performances evaluation
OUROUA Nawel, IOUALALEN Malika, Mai 2013
A tool for Fractal Component based applications performance modelling using Stochastic Well formed Nets
SALMI Nabila, IOUALALEN Malika, lallali S, ZERGUINE H, Mars 2013
Modular and distributed verification of SysML activity diagram
RAHIM Messaoud, HAMMAD A, IOUALALEN Malika, Février 2013
Analyzing Negociation in E-commerce Multi Agents System based on FIPA Protocols
TAIBI Meriem, IOUALALEN Malika, Septembre 2013
Detecting DoS attacks in WSN based on Clustering Technique
MANSOURI Djamel, IOUALALEN Malika, Mokdad L, Benothman J, Avril 2013
Clustering Wireless Sensors Networks with FFUCA
Fouchal S, MANSOURI Djamel, Mokdad L, Benothman J, IOUALALEN Malika, Juin 2013
A Numerical Approach for Performance Evaluation of Cellular Mobile Networks with Channels Breakdowns
GHARBI Nawel, Janvier 2013
Modular Modeling and Analyzing of Multimedia Documents with Repetitive  Objects
DAHMANI Djaouida, MAZOUZ S, IOUALALEN Malika, Mars 2013
Towards Automatic Performance Modelling using GENERICA Component Model
SALMI Nabila, IOUALALEN Malika, SLIEM Mehdi, Octobre 2013
Ensuring Consistency Reconfiguration of Component Systems
ZERGUINE H, SALMI Nabila, IOUALALEN Malika, Novembre 2013
An Automatic Petri Net Generator for Modeling Multiagent Systems
TAIBI Meriem, IOUALALEN Malika, Novembre 2013
A Numerical Approach for Performance Evaluation of Cellular Mobile Networks with Channels Breakdowns
GHARBI Nawel, Janvier 2013
Performance and Reliability Analysis of Small Cell Networks with Retrials and Different Breakdowns Disciplines: A Computational Approach
GHARBI Nawel, MOKDAD J, Benothman J, Janvier 2013
Performance Evaluation of Telecommunication Systems with Repeated Attempts and Two Servers Classes
GHARBI Nawel, Mokdad L, Juillet 2013
« Modular Modeling and Analyzing of Multimedia Documents with Repetitive Objects »
DAHMANI Djaouida, Mazouz Samia, IOUALALEN Malika, Janvier 2013