![](https://dblp.org/img/logo.ua.320x120.png)
![](https://dblp.org/img/dropdown.dark.16x16.png)
![](https://dblp.org/img/peace.dark.16x16.png)
Остановите войну!
for scientists:
![search dblp search dblp](https://dblp.org/img/search.dark.16x16.png)
![search dblp](https://dblp.org/img/search.dark.16x16.png)
default search action
Malika Ioualalen
Person information
- affiliation: University of Sciences and Technology Houari Boumediene, Algeria
Refine list
![note](https://dblp.org/img/note-mark.dark.12x12.png)
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
2020 – today
- 2023
- [c26]Djamel Mansouri, Malika Ioualalen:
A Defense Strategy for Securing Wireless Sensor Networks. CoDIT 2023: 531-536 - 2022
- [j10]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]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]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
- 2018
- [c23]Djamel Mansouri, Lynda Mokdad, Jalel Ben-Othman, Malika Ioualalen
:
Modeling Accordion Method Using SAN. ICC 2018: 1-6 - 2017
- [j9]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]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]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]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]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]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]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]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]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]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]Djamel Mansouri, Lynda Mokdad, Jalel Ben-Othman, Malika Ioualalen
:
Preventing Denial of Service attacks in Wireless Sensor Networks. ICC 2015: 3014-3019 - [c15]Mehdi Sliem, Nabila Salmi, Malika Ioualalen
:
Achieving Scalability of Self-optimizing Multi-tier Systems Performance Prediction. IPAC 2015: 36:1-36:5 - [c14]Mehdi Sliem, Nabila Salmi, Malika Ioualalen
:
Towards Modelling-Based Self-adaptive Resource Allocation in Multi-tiers Cloud Systems. IDCS 2015: 11-18 - 2014
- [c13]Mehdi Sliem, Nabila Salmi, Malika Ioualalen
:
An Approach for Performance Modelling and Analysis of Multi-tiers Autonomic Systems. AINA Workshops 2014: 352-357 - [c12]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]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]Mehdi Sliem, Nabila Salmi, Malika Ioualalen
:
Towards Reliability and Performance Prediction of Autonomic Systems with Self-Healing and Protection. ICCAC 2014: 35-43 - [c9]Ahmed Kheldoun, Malika Ioualalen:
Transformation BPEL Processes to RECATNet for Analysing Web Services Compositions. MODELSWARD 2014: 425-430 - 2013
- [c8]Said Fouchal, Djamel Mansouri, Lynda Mokdad, Jalel Ben-Othman, Malika Ioualalen
:
Clustering wireless sensors networks with FFUCA. ICC 2013: 6438-6443 - [c7]Messaoud Rahim, Ahmed Hammad, Malika Ioualalen:
Modular and Distributed Verification of SysML Activity Diagrams. MODELSWARD 2013: 202-205 - [c6]Djamel Mansouri, Lynda Mokdad, Jalel Ben-Othman, Malika Ioualalen
:
Detecting DoS attacks in WSN based on clustering technique. WCNC 2013: 2214-2219 - [c5]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]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]Said Fouchal, Quentin Monnet, Djamel Mansouri, Lynda Mokdad, Malika Ioualalen
:
A clustering method for wireless sensors networks. ISCC 2012: 888-892 - [c3]Nabila Salmi, Malika Ioualalen
:
Towards Efficient Component Performance Analysis in Component Based Architectures. SWQD 2012: 121-142 - 2010
- [j4]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
- 2009
- [j3]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]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]Nabila Salmi, Patrice Moreaux, Malika Ioualalen:
Formal models of Fractal Component Based Systems for performance analysis. ISoLA 2007: 49-60 - 2006
- [j1]Nawel Gharbi, Malika Ioualalen
:
GSPN analysis of retrial systems with servers breakdowns and repairs. Appl. Math. Comput. 174(2): 1151-1168 (2006) - 2002
- [c1]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
![](https://dblp.org/img/cog.dark.24x24.png)
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.
Unpaywalled article links
Add open access links from to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from ,
, and
to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and
to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from .
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2024-04-25 05:56 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint