Malika Ioualalen

Publication Activity (10 Years)

Years Active: 2002-2023
Publications (10 Years): 9

Top Topics

Wireless Sensor

Activity Diagrams

Top Venues

ADECS @ Petri Nets

Innov. Syst. Softw. Eng.

Publications

Djamel Mansouri, Malika Ioualalen
A Defense Strategy for Securing Wireless Sensor Networks. CoDIT (2023)
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)
Amel Berrachedi, Malika Ioualalen, Ahmed Hammad
Towards the Formal Modeling Methodology of WSN through the Transformation of SysML into DSPNs. SIMULTECH (2021)
Djamel Mansouri, Lynda Mokdad, Jalel Ben-Othman, Malika Ioualalen
Modeling Accordion Method Using SAN. ICC (2018)
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)
Ahmed Kheldoun, Kamel Barkaoui, Malika Ioualalen
Formal verification of complex business processes based on high-level Petri nets. Inf. Sci. 385 (2017)
Naouel Ouroua, Wassila Bouzegza, Malika Ioualalen
Formal Modeling and Performance Evaluation of Network's Server Under SYN/TCP Attack. MSPN (2017)
Messaoud Rahim, Ahmed Hammad, Malika Ioualalen
A methodology for verifying SysML requirements using activity diagrams. Innov. Syst. Softw. Eng. 13 (1) (2017)
Lydia Yataghene, Malika Ioualalen, Mourad Amziani, Samir Tata
Using Formal Model for Evaluation of Business Processes Elasticity in the Cloud. ICSOC Workshops (2016)
Djamel Mansouri, Lynda Mokdad, Jalel Ben-Othman, Malika Ioualalen
Preventing Denial of Service attacks in Wireless Sensor Networks. ICC (2015)
Mehdi Sliem, Nabila Salmi, Malika Ioualalen
Achieving Scalability of Self-optimizing Multi-tier Systems Performance Prediction. IPAC (2015)
Mehdi Sliem, Nabila Salmi, Malika Ioualalen
Towards Modelling-Based Self-adaptive Resource Allocation in Multi-tiers Cloud Systems. IDCS (2015)
Ahmed Kheldoun, Kamel Barkaoui, Jiafeng Zhang, Malika Ioualalen
A High Level Net for Modeling and Analysis Reconfigurable Discrete Event Control Systems. CIIA (2015)
Ahmed Kheldoun, Kamel Barkaoui, Malika Ioualalen
Specification and Verification of Complex Business Processes - A High-Level Petri Net-Based Approach. BPM (2015)
Mehdi Sliem, Nabila Salmi, Malika Ioualalen
Towards Reliability and Performance Prediction of Autonomic Systems with Self-Healing and Protection. ICCAC (2014)
Ahmed Kheldoun, Jiafeng Zhang, Kamel Barkaoui, Malika Ioualalen
A High-Level Nets based Approach for Reconfigurations of Distributed Control Systems. ADECS @ Petri Nets (2014)
Ahmed Kheldoun, Malika Ioualalen
Transformation BPEL Processes to RECATNet for Analysing Web Services Compositions. MODELSWARD (2014)
Mehdi Sliem, Nabila Salmi, Malika Ioualalen
An Approach for Performance Modelling and Analysis of Multi-tiers Autonomic Systems. AINA Workshops (2014)
Djamel Mansouri, Lynda Mokdad, Jalel Ben-Othman, Malika Ioualalen
Detecting DoS attacks in WSN based on clustering technique. WCNC (2013)
Nabila Salmi, Malika Ioualalen, Smail Lallali, Hamza Zerguine
A Tool for Fractal Component Based Applications Performance Modelling Using Stochastic Well Formed Nets. WorldCIST (2013)
Said Fouchal, Djamel Mansouri, Lynda Mokdad, Jalel Ben-Othman, Malika Ioualalen
Clustering wireless sensors networks with FFUCA. ICC (2013)
Messaoud Rahim, Ahmed Hammad, Malika Ioualalen
Modular and Distributed Verification of SysML Activity Diagrams. MODELSWARD (2013)
Nabila Salmi, Patrice Moreaux, Malika Ioualalen
Structured performance analysis for component-based systems. Int. J. Crit. Comput. Based Syst. 3 (1/2) (2012)
Nabila Salmi, Malika Ioualalen
Towards Efficient Component Performance Analysis in Component Based Architectures. SWQD (2012)
Said Fouchal, Quentin Monnet, Djamel Mansouri, Lynda Mokdad, Malika Ioualalen
A clustering method for wireless sensors networks. ISCC (2012)
Nawel Gharbi, Malika Ioualalen
Numerical investigation of finite-source multiserver systems with different vacation policies. J. Comput. Appl. Math. 234 (3) (2010)
Nabila Salmi, Patrice Moreaux, Malika Ioualalen
Performance evaluation of Fractal component-based systems. Ann. des Télécommunications 64 (1-2) (2009)
Nawel Gharbi, Claude Dutheillet, Malika Ioualalen
Colored stochastic Petri nets for modelling and analysis of multiclass retrial systems. Math. Comput. Model. 49 (7-8) (2009)
Nabila Salmi, Patrice Moreaux, Malika Ioualalen
Formal models of Fractal Component Based Systems for performance analysis. ISoLA (2007)
Nawel Gharbi, Malika Ioualalen
GSPN analysis of retrial systems with servers breakdowns and repairs. Appl. Math. Comput. 174 (2) (2006)
Nawel Gharbi, Malika Ioualalen
Performance Analysis of Retrial Queueing Systems Using Generalized Stochastic Petri Nets. Electron. Notes Theor. Comput. Sci. 65 (6) (2002)