Production Scientifique

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

BOUCHEKIR Redouane, Boukhedouma Saida, BOUKALA Mohand Cherif,
Symbolic Probabilistic Analysis and Verification of Interorganizational Workflow.
0 ; 0 ; publisher = 0 ; language = 0 ; institution = 0 ; Fez, Maroc ; Mars ; 2016 bibtex
BOUCHEKIR Redouane, Boukhedouma Saida, BOUKALA Mohand Cherif,
Automatic Compositional Verification of Probabilistic Safety Properties for Interorganisational Workflow Processes.
0 ; 0 ; publisher = 0 ; language = 0 ; institution = 0 ; Lisbone, Portugal ; Juillet ; 2016 bibtex
KHELDOUN Ahmed, BARKAOUI Kamel, IOUALALEN Malika, KHELDOUN Ahmed, BARKAOUI Kamel, IOUALALEN Malika,
High level Petri net modelling and analysis of flexible Web Services Composition.
BPM'2015 ; Août ; 2015 bibtex
DAHMANI Djaouida, Mazouz Samia, IOUALALEN Malika, BERRACHEDI Amel,
Time High-level Recursive Petri Nets.
0 ; PNSE'2015 ; Juin ; 2015 bibtex
KHELDOUN Ahmed, BARKAOUI Kamel, ZHANG J, IOUALALEN Malika,
A high level net for modeling and analysis reconfigurable discrete event control systems.
CIIA'2015 ; publisher = 0 ; Saida, Algérie ; Mai ; 2015 bibtex
SLIEM Mehdi,
Using Performance Modelling and Analysis for Self-adaptive Resources Allocation Systems: A case study.
ISPS'2015 ; Alger, Algérie ; 28-29 Avril ; 2015 bibtex
BERRACHEDI Amel, IOUALALEN Malika,
Evaluation of the packet loss in WSN using Deterministic Stochastic Petri Nets.
AIDD'2015 ; Alger, Algérie ; Janvier ; 2015 bibtex
SLIEM Mehdi, Salmi Nabi,
Using Performance Modelling and Analysis for Self-adaptive Resources Allocation Systems: A case study..
ISPS'15 ; Algiers, Algeria ; Avril ; 2015 bibtex
SLIEM Mehdi, SALMI Nabila, IOUALALEN Malika,
Achieving Scalability of Self-optimizing Multi-tier Systems Performance Prediction.
IPAC'2015 ; Batna, Algérie ; Novembre ; 2015 bibtex
RAHIM Messaoud, KHELDOUN Ahmed, IOUALALEN Malika, HAMMAD Ahmed,
Recursive ECATNets-based approach for formally verifying System Modelling Language activity diagrams.
IET, Software ; 0 ; vol 9 ; number = 5 ; publisher = 0 ; language = 0 ; institution = 0 ; 0, 0 ; Janvier ; 2015 bibtex
RAHIM Messaoud, IOUALALEN Malika, BOUKALA Mohand Cherif, HAMMAD Ahmed,
Parallel Object-Based Load Balancing Strategy for Distributed State Space Construction: Application on Petri nets.
INDS 2014, International Conference on Advanced Ne ; publisher = 0 ; Béjaia, Algerie ; Juin ; 2014 bibtex
DAHMANI Djaouida, BOUKALA Mohand Cherif, Mountassir Hassen,
A Petri net Approach for Reusing and Adapting components with Atomic and non-atomic Synchronisation.
0 ; International Workshop on Petri Nets and Software ; publisher = 0 ; Tunis, Tunisie ; Juin ; 2014 bibtex
DAHMANI Djaouida, Mazouz Samia, IOUALALEN Malika,
Modular Modeling of SMIL Documents with Complex Termination Events..
Janvier ; 2014 bibtex
KHELDOUN Ahmed, IOUALALEN Malika,
Transformation BPEL Processes To RECATNet for AnalysingWeb Services Compositions.
MODELSWARD ; Lisbon, Portugal ; Janvier ; 2014 bibtex
DAHMANI Djaouida, BOUKALA Mohand Cherif, Mountassir Hassen,
Reusing and Adapting Components using atomic and non-atomic Strong Synchronisations.
0 ; 0 ; publisher = 0 ; language = 0 ; institution = 0 ; Paris, France ; Juin ; 2014 Télécharger, abstract bibtex
OUROUA Nawel, IOUALALEN Malika,
Use of formal models in Computer Science Security: Modeling of dos Attack.
CGE’08,8ème conference sur le Génie Electrique ; publisher = EMP ; Alger, Algerie ; Avril ; 2013 bibtex
OUROUA Nawel, IOUALALEN Malika,
Use of formal models in Computer Science Security: Modeling of SYN/TCP Attack and performances evaluation.
Workshop International EPQoS’2013 ; Bejaia, Algerie ; Mai ; 2013 bibtex
SALMI Nabila, IOUALALEN Malika, lallali S, ZERGUINE H,
A tool for Fractal Component based applications performance modelling using Stochastic Well formed Nets.
WorldCIST'13 ; Algarve, Portugal ; Mars ; 2013 bibtex
RAHIM Messaoud, HAMMAD A, IOUALALEN Malika,
Modular and distributed verification of SysML activity diagram.
Modelsward ; Barcelone, Espagne ; Février ; 2013 bibtex
TAIBI Meriem, IOUALALEN Malika,
Analyzing Negociation in E-commerce Multi Agents System based on FIPA Protocols.
ICT Innovations ; Septembre ; 2013 bibtex
MANSOURI Djamel, IOUALALEN Malika, Mokdad L, Benothman J,
Detecting DoS attacks in WSN based on Clustering Technique.
WCNC'2013 ; Avril ; 2013 bibtex
Fouchal S, MANSOURI Djamel, Mokdad L, Benothman J, IOUALALEN Malika,
Clustering Wireless Sensors Networks with FFUCA.
ICC'2013 ; Budapest, Hongrie ; Juin ; 2013 bibtex
GHARBI Nawel,
A Numerical Approach for Performance Evaluation of Cellular Mobile Networks with Channels Breakdowns.
ICN’2013 ; Seville, Espagne ; Janvier ; 2013 bibtex
DAHMANI Djaouida, MAZOUZ S, IOUALALEN Malika,
Modular Modeling and Analyzing of Multimedia Documents with Repetitive  Objects.
CIST'2013 ; Amman, Jordanie ; Mars ; 2013 bibtex
SALMI Nabila, IOUALALEN Malika, SLIEM Mehdi,
Towards Automatic Performance Modelling using GENERICA Component Model.
ICSEA'2013 ; Venise, Italie ; Octobre ; 2013 bibtex
ZERGUINE H, SALMI Nabila, IOUALALEN Malika,
Ensuring Consistency Reconfiguration of Component Systems.
ICSEA'2013 ; Venise, Italie ; Novembre ; 2013 bibtex
TAIBI Meriem, IOUALALEN Malika,
An Automatic Petri Net Generator for Modeling Multiagent Systems.
ICSEA'2013 ; Venise, Italie ; Novembre ; 2013 bibtex
GHARBI Nawel,
A Numerical Approach for Performance Evaluation of Cellular Mobile Networks with Channels Breakdowns.
The Twelfth International Conference on Networks (ICN’2013) ; Seville, Espagne ; Janvier ; 2013 bibtex
GHARBI Nawel, MOKDAD J, Benothman J,
Performance and Reliability Analysis of Small Cell Networks with Retrials and Different Breakdowns Disciplines: A Computational Approach.
PEDISWESA’2013 ; Split, Croatia ; Janvier ; 2013 bibtex
GHARBI Nawel, Mokdad L,
Performance Evaluation of Telecommunication Systems with Repeated Attempts and Two Servers Classes.
SPECTS’2013 ; Toronto, Canada ; Juillet ; 2013 bibtex
DAHMANI Djaouida, Mazouz Samia, IOUALALEN Malika,
« Modular Modeling and Analyzing of Multimedia Documents with Repetitive Objects ».
Janvier ; 2013 bibtex
BOUKALA Mohand Cherif, Petrucci Laure,
Distributed CTL Model-Checking and counterexample search.
International Journal of Critical Computer-Based Systems (IJCCBS) ; vol 3 ; number = 1 ; Janvier ; 2012 bibtex
OUROUA Nawel, IOUALALEN Malika,
Utilisation des modèles formels dans la sécurité informatique.
AID'2012 ; BAB EZZOUAR USTHB, Algerie ; Mai ; 2012 bibtex
Fouchal S, Monnet Q, MANSOURI Djamel, MOKDAD L, IOUALALEN Malika,
A clustering method for wireless sensors networks.
PEDIS'WESA'2012 ; Cappadocia, Turquie ; Juillet ; 2012 bibtex
Madi L, IOUALALEN Malika,
Timed Abstract Mobile Synchronizing Petri Nets.
C3S2E'12 ; Montreal, Canada ; Juin ; 2012 bibtex
MANSOURI Djamel, Mokdad L, IOUALALEN Malika,
Detecting DoS attacks in WSN based on Clustering Technique.
META'2012 ; Kairaouan, Tunisi ; Octobre ; 2012 bibtex
BERRACHEDI Amel, IOUALALEN Malika,
Modélisation de la notion d'énergie dans les réseaux de capteurs à l'aide des réseaux de Petri.
ICASIS'2012 ; Batna, Algérie ; Janvier ; 2012 bibtex
SALMI Nabila, IOUALALEN Malika,
16. Towards Efficient Component Performance Analysis in Component Based Architectures.
SOFTWARE QUALITY DAYS (SWQD 2012) ; Vienna, Austria ; Janvier ; 2012 bibtex
GHARBI Nawel,
Modeling and Performance Evaluation of Small Cell Wireless Networks with Base Station Channels Breakdowns.
In Proceedings of The Eighth International Conference on Wireless and Mobile Communications ; Janvier ; 2012 bibtex
GHARBI Nawel,
Using Stochastic Petri Nets for Performance and Reliability Analysis of Retrial Systems with Different Breakdowns Disciplines.
9th International Workshop on Retrial Queues ; Janvier ; 2012 bibtex
TAIBI Meriem, IOUALALEN Malika, SALMI Nabila,
26. Analyzing E-commerce Multi-Agent systems using hierarchical Colored Petri nets.
CT Innovations ; Janvier ; 2012 bibtex
GHARBI Nawel, CHARABI L,
Wireless Networks with Retrials and Heterogeneous Servers: Comparing Random Server and Fastest Free Server Disciplines.
International Journal on Advances in Networks and Services ; vol 5 ; pages = 102--115 ; Juin ; 2012 bibtex
SALMI Nabila, MOREAUX P, IOUALALEN Malika,
Structured Performance Analysis for Component Based Systems. International Journal of Critical Computer-Based Systems (IJCCBS).
Special Issue on Verification and Evaluation of Computer and Communication Systems ; vol 3 ; number = 1 ;pages = 96--131 ; Janvier ; 2012 bibtex
SALMI Nabila, IOUALALEN Malika,
Towards Efficient Component Performance Analysis in Component Based Architectures.
SOFTWARE QUALITY DAYS (SWQD 2012) ; vol 94 ; pages = 121--142 ; Janvier ; 2012 bibtex
SALMI Nabila, MOREAUX P,
Structured Performance Analysis for Component Based Systems.
International Journal of Critical Computer-Based Systems (IJCCBS). ; vol 3 ; pages = 96--131 ; Janvier ; 2012 bibtex
SALMI Nabila,
“Towards Efficient Component Performance Analysis in Component Based Architectures”.
vol 94 ; pages = 121--142 ; Janvier ; 2012 abstract bibtex
GHARBI Nawel,
Wireless Networks with Base Station Channels Breakdowns,.
Juin ; 2012 bibtex
GHARBI Nawel,
Modeling and Performance Evaluation of Small Cell Wireless Networks with Base Station Channels Breakdowns.
pages = 42--48 ; Janvier ; 2012 bibtex
GHARBI Nawel,
Using Stochastic Petri Nets for Performance and Reliability Analysis of Retrial Systems with Different Breakdowns Disciplines.
Janvier ; 2012 bibtex
Taibi M, SALMI Nabila,
Analyzing E-commerce Multi-Agent systems using hierarchical Colored Petri nets.
Septembre ; 2012 bibtex
SALMI Nabila,
Towards Efficient Component Performance Analysis in Component Based Architectures.
pages = 121--142 ; Vienna, Autriche ; Janvier ; 2012 bibtex
SALMI Nabila,
“Towards Efficient Component Performance Analysis in Component Based Architectures”..
pages = 121--142 ; Vienna, Autriche ; Janvier ; 2012 bibtex
BOUKALA Mohand Cherif, Petrucci Laure,
Distributed Verification of Modular Systems.
In Proc. workshop on Petri Nets Compositions ; publisher = 0 ; Newcastle, UK ; Janvier ; 2011 bibtex
RAHIM Messaoud, BOUKALA Mohand Cherif,
Using Processor Virtualization to Load Balancing Distributed State Space Construction.
Tenth International Symposium on Programming and Systems, ISPS'2011 ; Algers, Algeria ; Avril ; 2011 bibtex
TAIBI Meriem,
Formalisation des SMA par les RdP: Application à l'étude d'un système E-commerce.
Cinquièmes Journées Scientifiques du Laboratoire des Systèmes Informatiques - L.S.I ; Alger, Algerie ; Janvier ; 2011 bibtex
GHARBI Nawel, CHARABI L,
2. An Algorithmic Approach for Analyzing Wireless Networks with Retrials and Heterogeneous Servers.
In Proc. of The 7th International Conference on Wireless and Mobile Communications ; publisher = Best award ; Janvier ; 2011 bibtex
RAHIM Messaoud, IOUALALEN Malika,
Parallel Object-Based Load Balancing Strategy for Distributed Space State Construction.
ICSOFT'2011 ; Seville, Espagne ; Juillet ; 2011 bibtex
GHARBI Nawel, DUTHEILET C,
An algorithmic approach for analysis of finite-source retrial systems with unreliable servers.
Computers and Mathematics with Applications ; vol 62 ; number = 6 ;pages = 2535--2546 ; Janvier ; 2011 bibtex
SALMI Nabila, MOREAUX P,
Structured Performance Analysis for Component Based Systems.
International Journal of Critical Computer-Based Systems (IJCCBS) ; Janvier ; 2011 bibtex
GHARBI Nawel,
Using Stochastic Models for Analysis of Retrial Systems with Servers and Station Breakdowns.
Rome, Italie ; Juin ; 2011 bibtex
GHARBI Nawel, CHARABI L,
An Algorithmic Approach for Analyzing Wireless Networks with Retrials and Heterogeneous Servers.
Juin ; 2011 bibtex
TAIBI Meriem, IOUALALEN Malika, BOUKALA Mohand Cherif,
Distributed Performance Evaluation.
SNIB'2010 ; Biskra, Algerie ; Novembre ; 2010 bibtex
TAIBI Meriem,
Distributed Performance Evaluation, Quatrièmes Journées Scientifiques du Laboratoire des Systèmes Informatiques.
L.S.I ; Alger, Algerie ; Janvier ; 2010 bibtex
SALMI Nabila, IOUALALEN Malika,
Using Performance models for self-sizing purposes.
1ères Journées Algéro-Japonaises ; Novembre ; 2010 bibtex
Harbaoui A, SALMI Nabila, Dillenseger B, Vincent J-M,
Introducing queuing network-based performance awareness in autonomic systems.
Sixth International Conference on Autonomic and Autonomous Systems ICAS 2010 ; Cancun, Mexique ; Mars ; 2010 bibtex
GHARBI Nawel, IOUALALEN Malika,
Numerical investigation of finite-source multiserver systems with different vacation policies.
Journal of Computational and Applied Mathematics ; vol 234 ; number = 3 ;pages = 625--635 ; Janvier ; 2010 bibtex
SALMI Nabila, DILLENSEGER B, Harbaoui A, Vincent J-M,
Model-based Performance Anticipation in Multi-tier Autonomic Systems: Methodology and Experiments.
International Journal On Advances in Networks and Services ; vol 3 ; number = 3 ; Janvier ; 2010 bibtex
Fouchal S, Mokdad L, MANSOURI Djamel, IOUALALEN Malika,
Recursive-clustering-basedapproach for Denial of Service (DoS) Attacks in Wireless Sensors Networks.
Wireless Communications and Mobile Computing ; pages = 1--13 ; Janvier ; 2010 bibtex
SALMI Nabila, Dillenseger B, Harbaoui A, Vincent J-M,
Model-based Performance Anticipation in Multi-tier Autonomic Systems: Methodology and Experiments.
International Journal On Advances in Networks and Services ; vol 3 ; Janvier ; 2010 bibtex
GHARBI Nawel,
, Numerical investigation of finite-source multiserver systems with different vacation policies.
Computational and Applied Mathematics ; vol 234 ; pages = 625--635 ; Janvier ; 2010 bibtex
Harbaoui A, SALMI Nabila, Dillenseger B, Vincent J-M,
"Introducing queuing network-based performance awareness in autonomic systems".
Mars ; 2010 abstract bibtex
SALMI Nabila,
Using performance models for self-sizing purposes.
Novembre ; 2010 bibtex
Harbaoui A, SALMI Nabila, Dillenseger B, Vincent J-M,
achieving automatic performance modelling of black boxes for self-sizing.
Fourth Workshop on Hot Topics in Autonomic Computing (HotAC IV) ; Barcelone, Espagne ; Juin ; 2009 bibtex
SALMI Nabila, MOREAUX P,
Performance evaluation of Fractal Component Based Systems..
Annals of Telecommunications Journal : The Fractal Initiative ; vol 64 ; pages = 81--100 ; Janvier ; 2009 abstract bibtex
GHARBI Nawel, Dutheillet C,
Colored Stochastic Petri Nets for Modelling and Analysis of Multiclass Retrial Systems.
Mathematical and Computer Modelling ; vol 49 ; pages = 1436--1448 ; Avril ; 2009 abstract bibtex
Harbaoui A, SALMI Nabila, Dillenseger B, Vincent J-M,
"Achieving automatic performance modelling of black boxes for self-sizing".
Barcelona, Espagne ; Juin ; 2009 bibtex
Harbaoui A, SALMI Nabila, Dillenseger B, Vincent J-M,
"Automatic performance modelling of black boxes targetting self-sizing".
Juillet ; 2009 bibtex
DAHMANI Djaouida, llié J.M,
“ Reachability Analysis for Recursive Petri Nets with shared places”.
Paris, France ; Juin ; 2009 bibtex
SALMI Nabila,
Les systèmes d’exploitation. Concepts de base. Cours et exercices corrigés.
publisher = Pages bleues ; Janvier ; 2008 bibtex
BOUKALA Mohand Cherif, Petrucci Laure,
Towards Distributed Verification of Petri Nets.
International Workshop on Verification and Evaluation of Computer and Communication Systems ; publisher = 0 ; Algiers, Algeria ; Mai ; 2007 bibtex
GHARBI Nawel,
Analysis of Multi-Server Queueing Systems with Station and Server Vacation.
Janvier ; 2006 Télécharger, abstract bibtex
SALMI Nabila,
Evaluation des performances des systèmes manufacturiers Kanban par modèles SWN.
Décembre ; 2005 Télécharger, abstract bibtex
SALMI Nabila,
Mixing Educational and UML modelling languages for the design and analysis of E-learning platforms.
Décembre ; 2005 Télécharger, abstract bibtex
SALMI Nabila,
From Educational modelling languages to Stochastic Petri Net modelling for E-learning technologies analysis.
Décembre ; 2005 Télécharger, abstract bibtex
SALMI Nabila,
Approche de décomposition multicouche de réseaux de Petri stochastiques et spécifications algébriques.
Octobre ; 2004 Télécharger, abstract bibtex
GHARBI Nawel, GHARBI Nawel, GHARBI Nawel,
PERFORMANCE ANALYSIS OF RETRIAL QUEUEING SYSTEMS USING GENERALIZED STOCHASTIC PETRI NETS.
Janvier ; 2003 abstract bibtex
SALMI Nabila,
Méthode conjointe de décomposition et de calcul des bornes pour l’évaluation des performances d’un réseau de Petri Stochastique non borné.
Janvier ; 2002 Télécharger, abstract bibtex