Malika Ioualalen

According to our database, Malika Ioualalen authored at least 36 papers between 2002 and 2023.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2023

A Defense Strategy for Securing Wireless Sensor Networks.

Djamel Mansouri, Malika Ioualalen

Proceedings of the 9th International Conference on Control, 2023

2022

Designing a methodological framework for modeling and performance forecasting of self-adaptive cloud systems.

Mehdi Sliem, Nabila Salmi, Malika Ioualalen

Concurr. Comput. Pract. Exp., 2022

2021

Towards the Formal Modeling Methodology of WSN through the Transformation of SysML into DSPNs.

Amel Berrachedi, Malika Ioualalen, Ahmed Hammad

Proceedings of the 11th International Conference on Simulation and Modeling Methodologies, 2021

2020

Hierarchical Colored Petri Nets for the Verification of SysML Designs- Activity-Based Slicing Approach.

Messaoud Rahim, Malika Boukala-Ioualalen, Ahmed Hammad

Proceedings of the Advances in Computing Systems and Applications, 2020

2018

Modeling Accordion Method Using SAN.

Djamel Mansouri, Lynda Mokdad, Jalel Ben-Othman, Malika Ioualalen

Proceedings of the 2018 IEEE International Conference on Communications, 2018

2017

A methodology for verifying SysML requirements using activity diagrams.

Messaoud Rahim, Ahmed Hammad, Malika Ioualalen

Innov. Syst. Softw. Eng., 2017

Formal verification of complex business processes based on high-level Petri nets.

Ahmed Kheldoun, Kamel Barkaoui, Malika Ioualalen

Inf. Sci., 2017

Dynamic and adaptive detection method for flooding in wireless sensor networks.

Djamel Mansouri, Lynda Mokdad, Jalel Ben-Othman, Malika Ioualalen

Int. J. Commun. Syst., 2017

Formal Modeling and Performance Evaluation of Network's Server Under SYN/TCP Attack.

Naouel Ouroua, Wassila Bouzegza, Malika Ioualalen

Proceedings of the Mobile, Secure, and Programmable Networking, 2017

2016

Using Formal Model for Evaluation of Business Processes Elasticity in the Cloud.

Lydia Yataghene, Malika Ioualalen, Mourad Amziani, Samir Tata

Proceedings of the Service-Oriented Computing - ICSOC 2016 Workshops, 2016

Evaluation of the Energy Consumption and the Packet Loss in WSNs Using Deterministic Stochastic Petri Nets.

Amel Berrachedi, Malika Boukala-Ioualalen

Proceedings of the 30th International Conference on Advanced Information Networking and Applications Workshops, 2016

2015

Recursive ECATNets-based approach for formally verifying System Modelling Language activity diagrams.

Messaoud Rahim, Ahmed Kheldoun, Malika Boukala-Ioualalen, Ahmed Hammad

IET Softw., 2015

Towards Modelling-Based Self-adaptive Resource Allocation in Multi-tiers Cloud Systems.

Mehdi Sliem, Nabila Salmi, Malika Ioualalen

Proceedings of the Internet and Distributed Computing Systems, 2015

Achieving Scalability of Self-optimizing Multi-tier Systems Performance Prediction.

Mehdi Sliem, Nabila Salmi, Malika Ioualalen

Proceedings of the IPAC '15: International Conference on Intelligent Information Processing, 2015

Preventing Denial of Service attacks in Wireless Sensor Networks.

Djamel Mansouri, Lynda Mokdad, Jalel Ben-Othman, Malika Ioualalen

Proceedings of the 2015 IEEE International Conference on Communications, 2015

A High Level Net for Modeling and Analysis Reconfigurable Discrete Event Control Systems.

Ahmed Kheldoun, Kamel Barkaoui, Jiafeng Zhang, Malika Ioualalen

Proceedings of the Computer Science and Its Applications, 2015

Specification and Verification of Complex Business Processes - A High-Level Petri Net-Based Approach.

Ahmed Kheldoun, Kamel Barkaoui, Malika Ioualalen

Proceedings of the Business Process Management - 13th International Conference, 2015

Towards the Formal Verification of SysML Specifications: Translation of Activity Diagrams into Modular Petri Nets.

Messaoud Rahim, Ahmed Hammad, Malika Boukala-Ioualalen

Proceedings of the 3rd International Conference on Applied Computing and Information Technology, 2015

2014

Transformation BPEL Processes to RECATNet for Analysing Web Services Compositions.

Ahmed Kheldoun, Malika Ioualalen

Proceedings of the MODELSWARD 2014 - Proceedings of the 2nd International Conference on Model-Driven Engineering and Software Development, Lisbon, Portugal, 7, 2014

Towards Reliability and Performance Prediction of Autonomic Systems with Self-Healing and Protection.

Mehdi Sliem, Nabila Salmi, Malika Ioualalen

Proceedings of the 2014 International Conference on Cloud and Autonomic Computing, 2014

Petri Nets Based Approach for Modular Verification of SysML Requirements on Activity Diagrams.

Messaoud Rahim, Malika Boukala-Ioualalen, Ahmed Hammad

Proceedings of the International Workshop on Petri Nets and Software Engineering, 2014

A High-Level Nets based Approach for Reconfigurations of Distributed Control Systems.

Ahmed Kheldoun, Jiafeng Zhang, Kamel Barkaoui, Malika Ioualalen

Proceedings of the ADECS 2014, 2014

An Approach for Performance Modelling and Analysis of Multi-tiers Autonomic Systems.

Mehdi Sliem, Nabila Salmi, Malika Ioualalen

Proceedings of the 28th International Conference on Advanced Information Networking and Applications Workshops, 2014

2013

A Tool for Fractal Component Based Applications Performance Modelling Using Stochastic Well Formed Nets.

Nabila Salmi, Malika Ioualalen, Smail Lallali, Hamza Zerguine

Proceedings of the Advances in Information Systems and Technologies [WorldCIST'13, 2013

Detecting DoS attacks in WSN based on clustering technique.

Djamel Mansouri, Lynda Mokdad, Jalel Ben-Othman, Malika Ioualalen

Proceedings of the 2013 IEEE Wireless Communications and Networking Conference (WCNC), 2013

Modular and Distributed Verification of SysML Activity Diagrams.

Messaoud Rahim, Ahmed Hammad, Malika Ioualalen

Proceedings of the MODELSWARD 2013 - Proceedings of the 1st International Conference on Model-Driven Engineering and Software Development, Barcelona, Spain, 19, 2013

Clustering wireless sensors networks with FFUCA.

Said Fouchal, Djamel Mansouri, Lynda Mokdad, Jalel Ben-Othman, Malika Ioualalen

Proceedings of IEEE International Conference on Communications, 2013

2012

Structured performance analysis for component-based systems.

Nabila Salmi, Patrice Moreaux, Malika Ioualalen

Int. J. Crit. Comput. Based Syst., 2012

Towards Efficient Component Performance Analysis in Component Based Architectures.

Nabila Salmi, Malika Ioualalen

Proceedings of the Software Quality. Process Automation in Software Development, 2012

A clustering method for wireless sensors networks.

Said Fouchal, Quentin Monnet, Djamel Mansouri, Lynda Mokdad, Malika Ioualalen

Proceedings of the 2012 IEEE Symposium on Computers and Communications, 2012

2010

Numerical investigation of finite-source multiserver systems with different vacation policies.

Nawel Gharbi, Malika Ioualalen

J. Comput. Appl. Math., 2010

2009

Colored stochastic Petri nets for modelling and analysis of multiclass retrial systems.

Nawel Gharbi, Claude Dutheillet, Malika Ioualalen

Math. Comput. Model., 2009

Performance evaluation of Fractal component-based systems.

Nabila Salmi, Patrice Moreaux, Malika Ioualalen

Ann. des Télécommunications, 2009

2007

Formal models of Fractal Component Based Systems for performance analysis.

Nabila Salmi, Patrice Moreaux, Malika Ioualalen

Proceedings of the ISoLA 2007, 2007

2006

GSPN analysis of retrial systems with servers breakdowns and repairs.

Nawel Gharbi, Malika Ioualalen

Appl. Math. Comput., 2006

2002

Performance Analysis of Retrial Queueing Systems Using Generalized Stochastic Petri Nets.

Nawel Gharbi, Malika Ioualalen

Proceedings of the Theory and Practice of Timed Systems, 2002