default search action

combined dblp search
author search
venue search
publication search

ask others

Malika Ioualalen

Malika Boukala-Ioualalen

> Home > Persons

Person information

affiliation: University of Sciences and Technology Houari Boumediene, Algeria

Refine list

refinements active!

zoomed in on ?? of ?? records

view refined list in

export refined list as

showing all ?? records

2020 – today

see FAQ

What is the meaning of the colors in the publication lists?

2023
[c26]
- view
  authority control:
- export record
  dblp key:
  - conf/codit/MansouriI23
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/codit/MansouriI23
Djamel Mansouri, Malika Ioualalen:
A Defense Strategy for Securing Wireless Sensor Networks. CoDIT 2023: 531-536
2022
[j10]
- view
  authority control:
- export record
  dblp key:
  - journals/concurrency/SliemSI22
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/concurrency/SliemSI22
Mehdi Sliem, Nabila Salmi, Malika Ioualalen:
Designing a methodological framework for modeling and performance forecasting of self-adaptive cloud systems. Concurr. Comput. Pract. Exp. 34(3) (2022)
2021
[c25]
- view
  authority control:
- export record
  dblp key:
  - conf/simultech/BerrachediIH21
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/simultech/BerrachediIH21
Amel Berrachedi, Malika Ioualalen, Ahmed Hammad:
Towards the Formal Modeling Methodology of WSN through the Transformation of SysML into DSPNs. SIMULTECH 2021: 83-91
2020
[c24]
- view
  authority control:
- export record
  dblp key:
  - conf/csa3/RahimBH20
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/csa3/RahimBH20
Messaoud Rahim, Malika Boukala-Ioualalen, Ahmed Hammad:
Hierarchical Colored Petri Nets for the Verification of SysML Designs- Activity-Based Slicing Approach. CSA 2020: 131-142

2010 – 2019

see FAQ

What is the meaning of the colors in the publication lists?

2018
[c23]
- view
  authority control:
- export record
  dblp key:
  - conf/icc/MansouriMBI18
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/icc/MansouriMBI18
Djamel Mansouri, Lynda Mokdad, Jalel Ben-Othman, Malika Ioualalen:
Modeling Accordion Method Using SAN. ICC 2018: 1-6
2017
[j9]
- view
  authority control:
- export record
  dblp key:
  - journals/ijcomsys/MansouriMBI17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/ijcomsys/MansouriMBI17
Djamel Mansouri, Lynda Mokdad, Jalel Ben-Othman, Malika Ioualalen:
Dynamic and adaptive detection method for flooding in wireless sensor networks. Int. J. Commun. Syst. 30(12) (2017)
[j8]
- view
  authority control:
- export record
  dblp key:
  - journals/isci/KheldounBI17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/isci/KheldounBI17
Ahmed Kheldoun, Kamel Barkaoui, Malika Ioualalen:
Formal verification of complex business processes based on high-level Petri nets. Inf. Sci. 385: 39-54 (2017)
[j7]
- view
  authority control:
- export record
  dblp key:
  - journals/isse/RahimHI17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/isse/RahimHI17
Messaoud Rahim, Ahmed Hammad, Malika Ioualalen:
A methodology for verifying SysML requirements using activity diagrams. Innov. Syst. Softw. Eng. 13(1): 19-33 (2017)
[c22]
- view
  authority control:
- export record
  dblp key:
  - conf/mspn/OurouaBI17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/mspn/OurouaBI17
Naouel Ouroua, Wassila Bouzegza, Malika Ioualalen:
Formal Modeling and Performance Evaluation of Network's Server Under SYN/TCP Attack. MSPN 2017: 74-87
2016
[c21]
- view
  authority control:
- export record
  dblp key:
  - conf/aina/BerrachediB16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/aina/BerrachediB16
Amel Berrachedi, Malika Boukala-Ioualalen:
Evaluation of the Energy Consumption and the Packet Loss in WSNs Using Deterministic Stochastic Petri Nets. AINA Workshops 2016: 772-777
[c20]
- view
  authority control:
- export record
  dblp key:
  - conf/icsoc/YatagheneIAT16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/icsoc/YatagheneIAT16
Lydia Yataghene, Malika Ioualalen, Mourad Amziani, Samir Tata:
Using Formal Model for Evaluation of Business Processes Elasticity in the Cloud. ICSOC Workshops 2016: 33-44
2015
[j6]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/iee/RahimKBA15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/iee/RahimKBA15
Messaoud Rahim, Ahmed Kheldoun, Malika Boukala-Ioualalen, Ahmed Hammad:
Recursive ECATNets-based approach for formally verifying System Modelling Language activity diagrams. IET Softw. 9(5): 119-128 (2015)
[c19]
- view
  authority control:
- export record
  dblp key:
  - conf/acit2/RahimHB15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/acit2/RahimHB15
Messaoud Rahim, Ahmed Hammad, Malika Boukala-Ioualalen:
Towards the Formal Verification of SysML Specifications: Translation of Activity Diagrams into Modular Petri Nets. ACIT-CSI 2015: 509-516
[c18]
- view
  authority control:
- export record
  dblp key:
  - conf/bpm/KheldounBI15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/bpm/KheldounBI15
Ahmed Kheldoun, Kamel Barkaoui, Malika Ioualalen:
Specification and Verification of Complex Business Processes - A High-Level Petri Net-Based Approach. BPM 2015: 55-71
[c17]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - conf/ciia/KheldounBZI15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ciia/KheldounBZI15
Ahmed Kheldoun, Kamel Barkaoui, Jiafeng Zhang, Malika Ioualalen:
A High Level Net for Modeling and Analysis Reconfigurable Discrete Event Control Systems. CIIA 2015: 551-562
[c16]
- view
  authority control:
- export record
  dblp key:
  - conf/icc/MansouriMBI15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/icc/MansouriMBI15
Djamel Mansouri, Lynda Mokdad, Jalel Ben-Othman, Malika Ioualalen:
Preventing Denial of Service attacks in Wireless Sensor Networks. ICC 2015: 3014-3019
[c15]
- view
  authority control:
- export record
  dblp key:
  - conf/iciip/SliemSI15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/iciip/SliemSI15
Mehdi Sliem, Nabila Salmi, Malika Ioualalen:
Achieving Scalability of Self-optimizing Multi-tier Systems Performance Prediction. IPAC 2015: 36:1-36:5
[c14]
- view
  authority control:
- export record
  dblp key:
  - conf/idcs/SliemSI15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/idcs/SliemSI15
Mehdi Sliem, Nabila Salmi, Malika Ioualalen:
Towards Modelling-Based Self-adaptive Resource Allocation in Multi-tiers Cloud Systems. IDCS 2015: 11-18
2014
[c13]
- view
  authority control:
- export record
  dblp key:
  - conf/aina/SliemSI14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/aina/SliemSI14
Mehdi Sliem, Nabila Salmi, Malika Ioualalen:
An Approach for Performance Modelling and Analysis of Multi-tiers Autonomic Systems. AINA Workshops 2014: 352-357
[c12]
- view
  - electronic edition @ ceur-ws.org (open access)
  - no references & citations available
- export record
  dblp key:
  - conf/apn/KheldounZBI14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/apn/KheldounZBI14
Ahmed Kheldoun, Jiafeng Zhang, Kamel Barkaoui, Malika Ioualalen:
A High-Level Nets based Approach for Reconfigurations of Distributed Control Systems. ADECS @ Petri Nets 2014: 36-51
[c11]
- view
  - electronic edition @ ceur-ws.org (open access)
  - no references & citations available
- export record
  dblp key:
  - conf/apn/RahimBA14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/apn/RahimBA14
Messaoud Rahim, Malika Boukala-Ioualalen, Ahmed Hammad:
Petri Nets Based Approach for Modular Verification of SysML Requirements on Activity Diagrams. PNSE @ Petri Nets 2014: 233-248
[c10]
- view
  authority control:
- export record
  dblp key:
  - conf/iccac/SliemSI14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/iccac/SliemSI14
Mehdi Sliem, Nabila Salmi, Malika Ioualalen:
Towards Reliability and Performance Prediction of Autonomic Systems with Self-Healing and Protection. ICCAC 2014: 35-43
[c9]
- view
  authority control:
- export record
  dblp key:
  - conf/modelsward/KheldounI14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/modelsward/KheldounI14
Ahmed Kheldoun, Malika Ioualalen:
Transformation BPEL Processes to RECATNet for Analysing Web Services Compositions. MODELSWARD 2014: 425-430
2013
[c8]
- view
  authority control:
- export record
  dblp key:
  - conf/icc/FouchalMMBI13
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/icc/FouchalMMBI13
Said Fouchal, Djamel Mansouri, Lynda Mokdad, Jalel Ben-Othman, Malika Ioualalen:
Clustering wireless sensors networks with FFUCA. ICC 2013: 6438-6443
[c7]
- view
  authority control:
- export record
  dblp key:
  - conf/modelsward/RahimAM13
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/modelsward/RahimAM13
Messaoud Rahim, Ahmed Hammad, Malika Ioualalen:
Modular and Distributed Verification of SysML Activity Diagrams. MODELSWARD 2013: 202-205
[c6]
- view
  authority control:
- export record
  dblp key:
  - conf/wcnc/MansouriMBI13
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/wcnc/MansouriMBI13
Djamel Mansouri, Lynda Mokdad, Jalel Ben-Othman, Malika Ioualalen:
Detecting DoS attacks in WSN based on clustering technique. WCNC 2013: 2214-2219
[c5]
- view
  authority control:
- export record
  dblp key:
  - conf/worldcist/SalmiILZ13
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/worldcist/SalmiILZ13
Nabila Salmi, Malika Ioualalen, Smail Lallali, Hamza Zerguine:
A Tool for Fractal Component Based Applications Performance Modelling Using Stochastic Well Formed Nets. WorldCIST 2013: 773-784
2012
[j5]
- view
  authority control:
- export record
  dblp key:
  - journals/ijccbs/SalmiMI12
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/ijccbs/SalmiMI12
Nabila Salmi, Patrice Moreaux, Malika Ioualalen:
Structured performance analysis for component-based systems. Int. J. Crit. Comput. Based Syst. 3(1/2): 96-131 (2012)
[c4]
- view
  authority control:
- export record
  dblp key:
  - conf/iscc/FouchalMMMI12
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/iscc/FouchalMMMI12
Said Fouchal, Quentin Monnet, Djamel Mansouri, Lynda Mokdad, Malika Ioualalen:
A clustering method for wireless sensors networks. ISCC 2012: 888-892
[c3]
- view
  authority control:
- export record
  dblp key:
  - conf/swqd/SalmiI12
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/swqd/SalmiI12
Nabila Salmi, Malika Ioualalen:
Towards Efficient Component Performance Analysis in Component Based Architectures. SWQD 2012: 121-142
2010
[j4]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/jcam/GharbiI10
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jcam/GharbiI10
Nawel Gharbi, Malika Ioualalen:
Numerical investigation of finite-source multiserver systems with different vacation policies. J. Comput. Appl. Math. 234(3): 625-635 (2010)

2000 – 2009

see FAQ

What is the meaning of the colors in the publication lists?

2009
[j3]
- view
  authority control:
- export record
  dblp key:
  - journals/adt/SalmiMI09
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/adt/SalmiMI09
Nabila Salmi, Patrice Moreaux, Malika Ioualalen:
Performance evaluation of Fractal component-based systems. Ann. des Télécommunications 64(1-2): 81-100 (2009)
[j2]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/mcm/GharbiDI09
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/mcm/GharbiDI09
Nawel Gharbi, Claude Dutheillet, Malika Ioualalen:
Colored stochastic Petri nets for modelling and analysis of multiclass retrial systems. Math. Comput. Model. 49(7-8): 1436-1448 (2009)
2007
[c2]
- view
  - electronic edition @ editions-rnti.fr
  - no references & citations available
- export record
  dblp key:
  - conf/isola/SalmiMI07
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/isola/SalmiMI07
Nabila Salmi, Patrice Moreaux, Malika Ioualalen:
Formal models of Fractal Component Based Systems for performance analysis. ISoLA 2007: 49-60
2006
[j1]
- view
  authority control:
- export record
  dblp key:
  - journals/amc/GharbiI06
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/amc/GharbiI06
Nawel Gharbi, Malika Ioualalen:
GSPN analysis of retrial systems with servers breakdowns and repairs. Appl. Math. Comput. 174(2): 1151-1168 (2006)
2002
[c1]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/entcs/GharbiI02
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/entcs/GharbiI02
Nawel Gharbi, Malika Ioualalen:
Performance Analysis of Retrial Queueing Systems Using Generalized Stochastic Petri Nets. Theory and Practice of Timed Systems @ ETAPS 2002: 86-100

Coauthor Index

see FAQ

manage site settings

To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.