Malika Ioualalen

Orcid: 0000-0002-8713-4997

Affiliations:
  • University of Sciences and Technology Houari Boumediene, Algeria


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

Collaborative distances:
  • Dijkstra number2 of four.
  • Erdős number3 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

Online presence:

On csauthors.net:

Bibliography

2023
A Defense Strategy for Securing Wireless Sensor Networks.
Proceedings of the 9th International Conference on Control, 2023

2022
Designing a methodological framework for modeling and performance forecasting of self-adaptive cloud systems.
Concurr. Comput. Pract. Exp., 2022

2021
Towards the Formal Modeling Methodology of WSN through the Transformation of SysML into DSPNs.
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.
Proceedings of the Advances in Computing Systems and Applications, 2020

2018
Modeling Accordion Method Using SAN.
Proceedings of the 2018 IEEE International Conference on Communications, 2018

2017
A methodology for verifying SysML requirements using activity diagrams.
Innov. Syst. Softw. Eng., 2017

Formal verification of complex business processes based on high-level Petri nets.
Inf. Sci., 2017

Dynamic and adaptive detection method for flooding in wireless sensor networks.
Int. J. Commun. Syst., 2017

Formal Modeling and Performance Evaluation of Network's Server Under SYN/TCP Attack.
Proceedings of the Mobile, Secure, and Programmable Networking, 2017

2016
Using Formal Model for Evaluation of Business Processes Elasticity in the Cloud.
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.
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.
IET Softw., 2015

Towards Modelling-Based Self-adaptive Resource Allocation in Multi-tiers Cloud Systems.
Proceedings of the Internet and Distributed Computing Systems, 2015

Achieving Scalability of Self-optimizing Multi-tier Systems Performance Prediction.
Proceedings of the IPAC '15: International Conference on Intelligent Information Processing, 2015

Preventing Denial of Service attacks in Wireless Sensor Networks.
Proceedings of the 2015 IEEE International Conference on Communications, 2015

A High Level Net for Modeling and Analysis Reconfigurable Discrete Event Control Systems.
Proceedings of the Computer Science and Its Applications, 2015

Specification and Verification of Complex Business Processes - A High-Level Petri Net-Based Approach.
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.
Proceedings of the 3rd International Conference on Applied Computing and Information Technology, 2015

2014
Transformation BPEL Processes to RECATNet for Analysing Web Services Compositions.
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.
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.
Proceedings of the International Workshop on Petri Nets and Software Engineering, 2014

A High-Level Nets based Approach for Reconfigurations of Distributed Control Systems.
Proceedings of the ADECS 2014, 2014

An Approach for Performance Modelling and Analysis of Multi-tiers Autonomic Systems.
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.
Proceedings of the Advances in Information Systems and Technologies [WorldCIST'13, 2013

Detecting DoS attacks in WSN based on clustering technique.
Proceedings of the 2013 IEEE Wireless Communications and Networking Conference (WCNC), 2013

Modular and Distributed Verification of SysML Activity Diagrams.
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.
Proceedings of IEEE International Conference on Communications, 2013

2012
Structured performance analysis for component-based systems.
Int. J. Crit. Comput. Based Syst., 2012

Towards Efficient Component Performance Analysis in Component Based Architectures.
Proceedings of the Software Quality. Process Automation in Software Development, 2012

A clustering method for wireless sensors networks.
Proceedings of the 2012 IEEE Symposium on Computers and Communications, 2012

2010
Numerical investigation of finite-source multiserver systems with different vacation policies.
J. Comput. Appl. Math., 2010

2009
Colored stochastic Petri nets for modelling and analysis of multiclass retrial systems.
Math. Comput. Model., 2009

Performance evaluation of Fractal component-based systems.
Ann. des Télécommunications, 2009

2007
Formal models of Fractal Component Based Systems for performance analysis.
Proceedings of the ISoLA 2007, 2007

2006
GSPN analysis of retrial systems with servers breakdowns and repairs.
Appl. Math. Comput., 2006

2002
Performance Analysis of Retrial Queueing Systems Using Generalized Stochastic Petri Nets.
Proceedings of the Theory and Practice of Timed Systems, 2002


  Loading...