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

High level Petri net modelling and analysis of flexible Web Services Composition
KHELDOUN Ahmed, BARKAOUI Kamel, IOUALALEN Malika, KHELDOUN Ahmed, BARKAOUI Kamel, IOUALALEN Malika, Août 2015
Time High-level Recursive Petri Nets
DAHMANI Djaouida, Mazouz Samia, IOUALALEN Malika, BERRACHEDI Amel, Juin 2015
Evaluation of the packet loss in WSN using Deterministic Stochastic Petri Nets
BERRACHEDI Amel, IOUALALEN Malika, Janvier 2015
Achieving Scalability of Self-optimizing Multi-tier Systems Performance Prediction
SLIEM Mehdi, SALMI Nabila, IOUALALEN Malika, Novembre 2015
Recursive ECATNets-based approach for formally verifying System Modelling Language activity diagrams
RAHIM Messaoud, KHELDOUN Ahmed, IOUALALEN Malika, HAMMAD Ahmed, Janvier 2015
A high level net for modeling and analysis reconfigurable discrete event control systems
KHELDOUN Ahmed, BARKAOUI Kamel, ZHANG J, IOUALALEN Malika, Mai 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
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
Modular Modeling and Analyzing of Multimedia Documents with Repetitive  Objects
DAHMANI Djaouida, MAZOUZ S, IOUALALEN Malika, Mars 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
Use of formal models in Computer Science Security: Modeling of dos Attack
OUROUA Nawel, IOUALALEN Malika, Avril 2013
Towards Automatic Performance Modelling using GENERICA Component Model
SALMI Nabila, IOUALALEN Malika, SLIEM Mehdi, Octobre 2013
Modular and distributed verification of SysML activity diagram
RAHIM Messaoud, HAMMAD A, IOUALALEN Malika, Février 2013
Use of formal models in Computer Science Security: Modeling of SYN/TCP Attack and performances evaluation
OUROUA Nawel, IOUALALEN Malika, Mai 2013
Ensuring Consistency Reconfiguration of Component Systems
ZERGUINE H, SALMI Nabila, IOUALALEN Malika, Novembre 2013
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
Detecting DoS attacks in WSN based on Clustering Technique
MANSOURI Djamel, IOUALALEN Malika, Mokdad L, Benothman J, Avril 2013
« Modular Modeling and Analyzing of Multimedia Documents with Repetitive Objects »
DAHMANI Djaouida, Mazouz Samia, IOUALALEN Malika, Janvier 2013
Clustering Wireless Sensors Networks with FFUCA
Fouchal S, MANSOURI Djamel, Mokdad L, Benothman J, IOUALALEN Malika, Juin 2013
26. Analyzing E-commerce Multi-Agent systems using hierarchical Colored Petri nets
TAIBI Meriem, IOUALALEN Malika, SALMI Nabila, Janvier 2012
A clustering method for wireless sensors networks
Fouchal S, Monnet Q, MANSOURI Djamel, MOKDAD L, IOUALALEN Malika, Juillet 2012
Utilisation des modèles formels dans la sécurité informatique
OUROUA Nawel, IOUALALEN Malika, Mai 2012
Timed Abstract Mobile Synchronizing Petri Nets
Madi L, IOUALALEN Malika, 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
Detecting DoS attacks in WSN based on Clustering Technique
MANSOURI Djamel, Mokdad L, IOUALALEN Malika, Octobre 2012
Towards Efficient Component Performance Analysis in Component Based Architectures
SALMI Nabila, IOUALALEN Malika, Janvier 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
Parallel Object-Based Load Balancing Strategy for Distributed Space State Construction
RAHIM Messaoud, IOUALALEN Malika, Juillet 2011
Numerical investigation of finite-source multiserver systems with different vacation policies
GHARBI Nawel, IOUALALEN Malika, Janvier 2010
Recursive-clustering-basedapproach for Denial of Service (DoS) Attacks in Wireless Sensors Networks
Fouchal S, Mokdad L, MANSOURI Djamel, IOUALALEN Malika, Janvier 2010
Using Performance models for self-sizing purposes
SALMI Nabila, IOUALALEN Malika, Novembre 2010
Distributed Performance Evaluation
TAIBI Meriem, IOUALALEN Malika, BOUKALA Mohand Cherif, Novembre 2010